| 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 >> |