From 4eef838dbda3bbb01dd87128362025787d8934b3 Mon Sep 17 00:00:00 2001 From: Tom Willemse Date: Mon, 25 Nov 2024 23:17:02 -0800 Subject: [PATCH] Set font for title bars --- theme.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/theme.jl b/theme.jl index b11869e..d18d229 100644 --- a/theme.jl +++ b/theme.jl @@ -14,7 +14,7 @@ ((background . ("#111414")) (right-edge . 0) (width . 5) (height . 5) (bottom-edge . -5) (class . bottom-right-corner)) ((background . ("#111414")) (right-edge . ,(* 3 button-width)) (left-edge . ,button-width) (height . ,title-height) (top-edge . ,(- title-height)) - (foreground . ("#bfbfbf" "#ff9800")) (text . ,window-name) (x-justify . center) (y-justify . center) (class . title)))) + (foreground . ("#bfbfbf" "#ff9800")) (font . ,(get-font-typed "Pango" "Dosis 14")) (text . ,window-name) (x-justify . center) (y-justify . center) (class . title)))) (shaded-frame `(((background . ("#111414")) (foreground "#bfbfbf" "#ff9800") (right-edge . 0) (width . ,button-width) (height . ,title-height) (text . "×") (x-justify . center) (y-justify . center) (top-edge . ,(- title-height)) (class . close-button)) @@ -23,7 +23,7 @@ ((background . ("#111414")) (foreground "#bfbfbf" "#ff9800") (left-edge . 0) (width . ,button-width) (height . ,title-height) (top-edge . ,(- title-height)) (class . menu-button) (text . "⮝") (x-justify . center) (y-justify . center)) ((background . ("#111414")) (right-edge . ,(* 3 button-width)) (left-edge . ,button-width) (height . ,title-height) (top-edge . ,(- title-height)) - (foreground . ("#bfbfbf" "#ff9800")) (text . ,window-name) (x-justify . center) (y-justify . center) (class . title))))) + (foreground . ("#bfbfbf" "#ff9800")) (font . ,(get-font-typed "Pango" "Dosis 14")) (text . ,window-name) (x-justify . center) (y-justify . center) (class . title))))) (add-frame-style 'yoshi (lambda (w type) (case type