int load_state ();
int save_state ();
int load_defaults ();
+ int load_color_theme (bool allow_own=true);
int set_state (const XMLNode&, int version);
XMLNode& get_state (void);
void map_parameters (boost::function<void (std::string)>&);
void parameter_changed (std::string);
+
+ /** called before initializing any part of the GUI. Sets up
+ * any runtime environment required to make the GUI work
+ * in specific ways.
+ */
+ int pre_gui_init ();
+
+ /** called after the GUI toolkit has been initialized.
+ */
+ UIConfiguration* post_gui_init ();
#undef UI_CONFIG_VARIABLE
#define UI_CONFIG_VARIABLE(Type,var,name,value) \
void load_modifiers (XMLNode const &);
void reset_gtk_theme ();
void colors_changed ();
- int load_color_theme (bool allow_own=true);
uint32_t block_save;
};