theme: change padding.height default to 0

...because now that window.button.height determines the height of button
hover effect the visible appearance of the titlebar will change unless
we reduce the padding to zero.

Backward compatibility notice: If a users theme sets padding.height to a
value greater than zero, the titlebar will be taller compared with
openbox. This can be fixed by either reducing window.button.height or
overriding padding.height

diff --git a/docs/labwc-theme.5.scd b/docs/labwc-theme.5.scd
index a7d4459e8a585731e19116296a071b4f2fe351d3..e892e4d72a0d6078eb340f975db133dfa76217b0 100644 (file)
--- a/docs/labwc-theme.5.scd
+++ b/docs/labwc-theme.5.scd
@@ -58,7 +58,7 @@ labwc-config(5).
 *padding.height*
        Vertical padding size, in pixels, used for spacing out elements
        in the window decorations.
-       Default is 3.
+       Default is 0.
 
 *menu.items.padding.x*
        Horizontal padding of menu text entries in pixels.

diff --git a/docs/themerc b/docs/themerc
index d6706c78cc9941c845aa5b9c9cf53b9f7a9af385..8fbf90e2de176195ab6f6f77d57c850e18791a72 100644 (file)
--- a/docs/themerc
+++ b/docs/themerc
@@ -8,7 +8,7 @@
 # general
 border.width: 1
 padding.width: 0
-padding.height: 3
+padding.height: 0
 
 # window border
 window.active.border.color: #e1dedb

diff --git a/src/theme.c b/src/theme.c
index 13bfe0aeb5e037ccbf57b6e1712d1b7e568cf32e..3b943f16b5cd844c2e669b10b98608ff6fe1b932 100644 (file)
--- a/src/theme.c
+++ b/src/theme.c
@@ -573,7 +573,7 @@ static void
 theme_builtin(struct theme *theme, struct server *server)
 {
        theme->border_width = 1;
-       theme->padding_height = 3;
+       theme->padding_height = 0;
        theme->title_height = INT_MIN;
        theme->menu_overlap_x = 0;
        theme->menu_overlap_y = 0;