diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-06-21 08:19:47 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-06-21 08:19:47 +0200 |
| commit | 77a4d97262c3a1837d4b3752c2f222d7ea097703 (patch) | |
| tree | 5310f88fd6155cd6ea5586663fdaa6532eed8183 /source/theme.c | |
| parent | 9af191de26611ce5025e3363dafd0cdbf8ab38b9 (diff) | |
Add -dump-config option.
Diffstat (limited to 'source/theme.c')
| -rw-r--r-- | source/theme.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/source/theme.c b/source/theme.c index b929a9ea..c09f9c52 100644 --- a/source/theme.c +++ b/source/theme.c @@ -290,6 +290,14 @@ void rofi_theme_print ( ThemeWidget *widget ) } } +void rofi_dump_config ( ThemeWidget *widget ) +{ + config_parse_dump_config ( ); + if ( widget != NULL ) { + rofi_theme_print_index ( widget ); + } +} + /** * Main lex parser. */ |