199
199
theme_class->update_border_extents = gwd_theme_real_update_border_extents;
200
200
theme_class->get_event_window_position = gwd_theme_real_get_event_window_position;
201
201
theme_class->get_button_position = gwd_theme_real_get_button_position;
204
204
properties[PROP_SETTINGS] =
205
205
g_param_spec_object ("settings", "GWDSettings", "GWDSettings",