diff options
Diffstat (limited to 'source/theme.c')
-rw-r--r-- | source/theme.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/source/theme.c b/source/theme.c index 50f20695..e8b2d97f 100644 --- a/source/theme.c +++ b/source/theme.c @@ -315,6 +315,12 @@ Padding rofi_theme_get_padding ( const char *wclass, const char *name, const ch Property *p = rofi_theme_find_property ( widget, P_PADDING, property ); if ( p ){ pad = p->value.padding; + }else { + p = rofi_theme_find_property ( widget, P_INTEGER, property ); + if ( p ){ + Distance d = (Distance){p->value.i, PW_PX}; + pad = (Padding){d,d,d,d}; + } } return pad; } |