Set font for title bars
This commit is contained in:
parent
457bdcb676
commit
4eef838dbd
1 changed files with 2 additions and 2 deletions
4
theme.jl
4
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
|
||||
|
|
Loading…
Reference in a new issue