in the window decorations.
Default is 3.
-*titlebar.height*
- Window title bar height.
- Default equals the vertical font extents of the title plus 2x
- padding.height.
-
*menu.items.padding.x*
Horizontal padding of menu text entries in pixels.
Default is 7.
padding.width: 0
padding.height: 3
-# The following options has no default, but fallbacks back to
-# font-height + 2x padding.height if not set.
-# titlebar.height:
-
# window border
window.active.border.color: #e1dedb
window.inactive.border.color: #f6f5f4
theme->padding_height = get_int_if_positive(
value, "padding.height");
}
- if (match_glob(key, "titlebar.height")) {
- theme->title_height = get_int_if_positive(
- value, "titlebar.height");
- }
if (match_glob(key, "menu.items.padding.x")) {
theme->menu_item_padding_x = get_int_if_positive(
value, "menu.items.padding.x");
post_processing(struct theme *theme)
{
int h = MAX(font_height(&rc.font_activewindow), font_height(&rc.font_inactivewindow));
- if (theme->title_height < h) {
- theme->title_height = h + 2 * theme->padding_height;
- }
+ theme->title_height = h + 2 * theme->padding_height;
theme->menu_item_height = font_height(&rc.font_menuitem)
+ 2 * theme->menu_item_padding_y;