Top |
Functions
GtkWidget * | anjuta_property_get_widget () |
gboolean | (*AnjutaPreferencesCallback) () |
AnjutaPreferences * | anjuta_preferences_new () |
AnjutaPreferences * | anjuta_preferences_default () |
void | anjuta_preferences_add_from_builder () |
void | anjuta_preferences_remove_page () |
void | anjuta_preferences_register_all_properties_from_builder_xml () |
gboolean | anjuta_preferences_register_property () |
GtkWidget * | anjuta_preferences_get_dialog () |
gboolean | anjuta_preferences_is_dialog_created () |
Description
AnjutaPreferences is a way to let plugins register their preferences. There are mainly two ways a plugin could register its preferences in Anjuta.
First is to not use AnjutaPreferences at all. Simply register a
preferences page in AnjutaPreferencesDialog using the function
anjuta_preferences_dialog_add_page()
. The plugin should take
care of loading, saving and widgets synchronization of the
preferences values. This can be done using GSettings bindings
for example.
Second is to use anjuta_preferences_add_page()
, which will
automatically register the preferences keys and values from
a glade xml file. The glade xml file contains a preferences
page of the plugin. The widget names in the page are
given in a particular way (see anjuta_preferences_add_page()
) to
let it know property key details. The preference dialog will automatically
setup the bindings between GSettings and the widgets.
Functions
AnjutaPreferencesCallback ()
gboolean (*AnjutaPreferencesCallback) (AnjutaPreferences *pr
,const gchar *key
,gpointer data
);
anjuta_preferences_new ()
AnjutaPreferences * anjuta_preferences_new (AnjutaPluginManager *plugin_manager
,const gchar *common_schema_id
);
Creates a new AnjutaPreferences object
Parameters
plugin_manager |
AnjutaPluginManager to be used |
|
common_schema_id |
Common schema id used for key starting with . |
anjuta_preferences_add_from_builder ()
void anjuta_preferences_add_from_builder (AnjutaPreferences *pr
,GtkBuilder *builder
,GSettings *settings
,const gchar *glade_widget_name
,const gchar *stitle
,const gchar *icon_filename
);
anjuta_preferences_remove_page ()
void anjuta_preferences_remove_page (AnjutaPreferences *pr
,const gchar *page_name
);
anjuta_preferences_register_all_properties_from_builder_xml ()
void anjuta_preferences_register_all_properties_from_builder_xml (AnjutaPreferences *pr
,GtkBuilder *builder
,GSettings *settings
,GtkWidget *parent
);
This will register all the properties names of the format described above without considering the UI. Useful if you have the widgets shown elsewhere but you want them to be part of preferences system.
Parameters
pr |
a AnjutaPreferences Object |
|
builder |
GtkBuilder object containing the properties widgets. |
|
parent |
Parent widget in the builder object |
anjuta_preferences_register_property ()
gboolean anjuta_preferences_register_property (AnjutaPreferences *pr
,GSettings *settings
,GtkWidget *object
,const gchar *key
);
This registers only one widget. The widget could be shown elsewhere. The widget needs to fulfill the properties described in anjuta_preferences_add_page documentation.
Parameters
pr |
a AnjutaPreferences object |
|
settings |
the GSettings object associated with that property |
|
object |
Widget to register |
|
key |
Property key |
anjuta_preferences_is_dialog_created ()
gboolean
anjuta_preferences_is_dialog_created (AnjutaPreferences *pr
);