31 #ifndef PREFERENCES_MANAGER_H
33 #define PREFERENCES_MANAGER_H
40 gchar *get_configuration_directory();
47 void pm_register_spinner_int_preference(gchar *main_key, gchar *second_key,
48 gint default_value, GtkWidget *spinner,
49 void (*update_spinner_value_cb)(GtkWidget *spinner, gpointer data),
52 void pm_register_range_preference(gchar *main_key, gchar *second_key,
53 gint default_value, GtkWidget *range,
54 void (*update_adjustment_value)(GtkAdjustment *adjustment, gpointer data),
void load_preferences(ui_state *ui)
Read the preferences from the preferences file.
gchar * get_preferences_filename()
Get the name of the preferences file.