![]() |
![]() |
![]() |
Anjuta Developers Reference Manual | ![]() |
---|---|---|---|---|
AnjutaPreferencesDialogPrivate; GtkWidget* anjuta_preferences_dialog_new (void); void anjuta_preferences_dialog_add_page (AnjutaPreferencesDialog *dlg, const gchar *name, const gchar *title, GdkPixbuf *icon, GtkWidget *page); void anjuta_preferences_dialog_remove_page (AnjutaPreferencesDialog *dlg, const char *title);
Plugins can added preferences page with
anjuta_preferences_dialog_add_page()
. However, read AnjutaPreferences
for adding proper preferences pages.
typedef struct _AnjutaPreferencesDialogPrivate AnjutaPreferencesDialogPrivate;
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 gchar *name, const gchar *title, 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. |
title : |
|
icon : |
Icon file name. |
page : |
page widget. |