diff options
Diffstat (limited to 'src/ui/ui.h')
| -rw-r--r-- | src/ui/ui.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/ui/ui.h b/src/ui/ui.h index 2ea3ca12c..e397c43d0 100644 --- a/src/ui/ui.h +++ b/src/ui/ui.h @@ -154,8 +154,7 @@ gboolean meta_ui_window_should_not_cause_focus (Display *xdisplay, char* meta_text_property_to_utf8 (Display *xdisplay, const XTextProperty *prop); -void meta_ui_set_current_theme (const char *name, - gboolean force_reload); +void meta_ui_set_current_theme (const char *name); gboolean meta_ui_have_a_theme (void); /* Not a real key symbol but means "key above the tab key"; this is |