Fall back onto the default frame configuration
When we don't know the type of window that we're dealing with, just go with the default.
This commit is contained in:
parent
10ff4d93d6
commit
1c1d0149f3
1 changed files with 2 additions and 7 deletions
9
theme.jl
9
theme.jl
|
@ -24,14 +24,9 @@
|
||||||
|
|
||||||
((background . ("#111414")) (right-edge . 77) (left-edge . 17) (height . 26) (top-edge . -26)
|
((background . ("#111414")) (right-edge . 77) (left-edge . 17) (height . 26) (top-edge . -26)
|
||||||
(foreground . ("#bfbfbf" "#ff9800")) (text . ,window-name) (x-justify . center) (y-justify . center) (class . title)))))
|
(foreground . ("#bfbfbf" "#ff9800")) (text . ,window-name) (x-justify . center) (y-justify . center) (class . title)))))
|
||||||
|
|
||||||
|
|
||||||
(add-frame-style 'yoshi
|
(add-frame-style 'yoshi
|
||||||
(lambda (w type)
|
(lambda (w type)
|
||||||
(case type
|
(case type
|
||||||
((default) default-frame)
|
|
||||||
((shaped) shaded-frame)
|
((shaped) shaded-frame)
|
||||||
)
|
((shaped-transient) shaded-frame)
|
||||||
)
|
(t default-frame)))))
|
||||||
)
|
|
||||||
)
|
|
||||||
|
|
Loading…
Reference in a new issue