diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-10-31 19:29:27 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-10-31 19:29:27 +0100 |
commit | ba0acd625fecfb2aa823a748b295655e3a664ce0 (patch) | |
tree | 031ab1294008338aed07655ba5e593deb59405f9 /source | |
parent | 316de7ebeb1c9b810ba797a626d1d9364a47b4b6 (diff) |
Remove leading # from dump theme and add mesg about rofi dumping it
Diffstat (limited to 'source')
-rw-r--r-- | source/theme.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/source/theme.c b/source/theme.c index 42c5c270..a45e8ee2 100644 --- a/source/theme.c +++ b/source/theme.c @@ -286,11 +286,10 @@ static void rofi_theme_print_index ( ThemeWidget *widget ) index = 4; for ( GList *iter = g_list_first ( list ); iter != NULL; iter = g_list_next ( iter ) ) { char *name = (char *) iter->data; - if ( iter->prev == NULL ) { - putchar ( '#' ); - } fputs ( name, stdout ); - if ( iter->next ) { + if ( iter->prev == NULL && iter->next ) { + putchar ( ' ' ); + } else if ( iter->next ) { putchar ( '.' ); } } @@ -321,6 +320,7 @@ static void rofi_theme_print_index ( ThemeWidget *widget ) void rofi_theme_print ( ThemeWidget *widget ) { if ( widget != NULL ) { + printf("/**\n * rofi -dump-theme output.\n * Rofi version: %s\n **/\n", VERSION); rofi_theme_print_index ( widget ); } } |