set_extra_widget


Description:

public void set_extra_widget (Widget extra_widget)

Sets an application-supplied widget to provide extra options to the user.

Parameters:

this

a FileChooser

extra_widget

widget for extra options