![]() | ![]() | ![]() | Anjuta Developers Reference Manual | ![]() |
---|
AnjutaPreferencesDialogAnjutaPreferencesDialog — Preferences dialog |
AnjutaPreferencesDialog; GtkWidget* anjuta_preferences_dialog_new (void); void anjuta_preferences_dialog_add_page (AnjutaPreferencesDialog *dlg, const char *name, GdkPixbuf *icon, GtkWidget *page); void anjuta_preferences_dialog_remove_page (AnjutaPreferencesDialog *dlg, const char *name);
GObject +----GtkObject +----GtkWidget +----GtkContainer +----GtkBin +----GtkWindow +----GtkDialog +----AnjutaPreferencesDialog +----AnjutaPreferences
Plugins can added preferences page with
anjuta_preferences_dialog_add_page()
. However, read AnjutaPreferences
for adding proper preferences pages.
GtkWidget* anjuta_preferences_dialog_new (void);
Creates a new AnjutaPreferencesDialog object.
Returns : | a new AnjutaPreferencesDialog object. |
void anjuta_preferences_dialog_add_page (AnjutaPreferencesDialog *dlg, const char *name, GdkPixbuf *icon, GtkWidget *page);
Adds a widget page in preferences dialog. Name and icon appears on the left icon list where differnt pages are selected.
dlg : | A AnjutaPreferencesDialog object. |
name : | Name of the preferences page. |
icon : | Icon file name. |
page : | page widget. |
void anjuta_preferences_dialog_remove_page (AnjutaPreferencesDialog *dlg, const char *name);
Removes a preferences page.
dlg : | A AnjutaPreferencesDialog object. |
name : | Name of the preferences page. |
<< AnjutaPreferences | AnjutaUI >> |