From 05871703d510554ff8d41de4c099e4621b56de59 Mon Sep 17 00:00:00 2001
From: Dave Davenport <qball@gmpclient.org>
Date: Sat, 31 Dec 2016 23:34:48 +0100
Subject: Fall back to old style padding (with int) if no metric specified.

---
 source/theme.c | 6 ++++++
 1 file changed, 6 insertions(+)

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;
 }
-- 
cgit v1.2.3