1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2025-02-03 15:34:54 -05:00

Fall back to old style padding (with int) if no metric specified.

This commit is contained in:
Dave Davenport 2016-12-31 23:34:48 +01:00
parent fb2d8b37a6
commit 05871703d5

View file

@ -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;
}