diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-07-03 09:23:03 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-07-03 09:23:03 +0200 |
| commit | 7e1c02b04c364ed1e3638432eebabf2d6e50acec (patch) | |
| tree | 94c52861176ce7d25f66bbd3a64fa0b5488555df /source/theme.c | |
| parent | 5f21ab80a8f54e6133140582fe59a2992021c29a (diff) | |
[OldTheme] Re-add the padding/bw option.
Diffstat (limited to 'source/theme.c')
| -rw-r--r-- | source/theme.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/source/theme.c b/source/theme.c index b929a9ea..6e6e4cb3 100644 --- a/source/theme.c +++ b/source/theme.c @@ -691,6 +691,11 @@ static char * rofi_theme_convert_color ( char *col ) } void rofi_theme_convert_old ( void ) { + { + char *str = g_strdup_printf ( "#window { border: %d; padding: %d;}", config.menu_bw, config.padding ); + rofi_theme_parse_string ( str ); + g_free ( str ); + } if ( config.color_window ) { char **retv = g_strsplit ( config.color_window, ",", -1 ); const char * const conf[] = { |