set_extra_widget


Description:

[ Version ( since = "2.4" ) ]
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




2022 vala-language.org