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
This commit is contained in:
Johan Malm 2024-09-29 18:32:51 +01:00
parent 3a61cd89dd
commit 383fb20bf4
3 changed files with 3 additions and 3 deletions

View file

@ -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.

View file

@ -8,7 +8,7 @@
# general
border.width: 1
padding.width: 0
padding.height: 3
padding.height: 0
# window border
window.active.border.color: #e1dedb

View file

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