diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-01-01 01:06:38 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-01-01 01:06:38 +0100 |
commit | d35e70d817d172c62de2ad486bdadaa8f55ecf60 (patch) | |
tree | 5948543ea796f2155d67dfac30a2ed12074b0ec6 /include | |
parent | 05871703d510554ff8d41de4c099e4621b56de59 (diff) |
Support converting old theme internally, add first option to dump theme
Diffstat (limited to 'include')
-rw-r--r-- | include/theme.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/theme.h b/include/theme.h index 043cf6f8..2c9e95d0 100644 --- a/include/theme.h +++ b/include/theme.h @@ -95,4 +95,5 @@ void rofi_theme_get_color ( const char *wclass, const char *name, const char *s Padding rofi_theme_get_padding ( const char *wclass, const char *name, const char *state, const char *property, Padding pad ); int distance_get_pixel ( Distance d ); +void rofi_theme_convert_old_theme ( void ); #endif |