Adding bar_height patch

2020-06-21 20:04:56 +02:00
parent 92a63debe5
commit c3d368f193
4 changed files with 16 additions and 1 deletions
--- a/config.def.h
+++ b/config.def.h
@ -21,6 +21,9 @@ static const int showbar                 = 0;   /* 0 means no bar */
 static const int showbar                 = 1;   /* 0 means no bar */
 #endif // HOLDBAR_PATCH
 static const int topbar                  = 1;   /* 0 means bottom bar */
+#if BAR_HEIGHT_PATCH
+static const int bar_height              = 0;   /* 0 means derive from font, >= 1 explicit height */
+#endif // BAR_HEIGHT_PATCH
 #if BARPADDING_PATCH
 static const int vertpad                 = 10;  /* vertical padding of bar */
 static const int sidepad                 = 10;  /* horizontal padding of bar */