Add resize corner to top title bar
This commit is contained in:
parent
88840ffc2b
commit
ab63e34311
1 changed files with 9 additions and 5 deletions
14
theme.jl
14
theme.jl
|
@ -8,15 +8,19 @@
|
|||
(fg (list 'foreground "#bfbfbf" "#ff9800"))
|
||||
(font (list 'font (get-font-typed "Pango" "Dosis 14")))
|
||||
(default-frame
|
||||
`((,bg ,fg (right-edge . 0) (width . ,button-width) (height . ,title-height) (text . "×") (x-justify . center) (y-justify . center) (top-edge . ,(- title-height)) (class . close-button))
|
||||
(,bg ,fg (right-edge . ,button-width) (width . ,button-width) (height . ,title-height) (text . "☐") (x-justify . center) (y-justify . center) (top-edge . ,(- title-height)) (class . maximize-button))
|
||||
(,bg ,fg (right-edge . ,(* 2 button-width)) (width . ,button-width) (height . ,button-width) (text . "_") (x-justify . center) (y-justify . center) (top-edge . ,(- title-height)) (class . iconify-button))
|
||||
(,bg ,fg (left-edge . 0) (width . ,button-width) (height . ,title-height) (top-edge . ,(- title-height)) (class . menu-button) (text . "⮟") (x-justify . center) (y-justify . center))
|
||||
`((,bg ,fg (right-edge . 5) (width . ,button-width) (height . ,title-height) (text . "×") (x-justify . center) (y-justify . center) (top-edge . ,(- title-height)) (class . close-button))
|
||||
(,bg ,fg (right-edge . ,(+ button-width 5)) (width . ,button-width) (height . ,title-height) (text . "☐") (x-justify . center) (y-justify . center) (top-edge . ,(- title-height)) (class . maximize-button))
|
||||
(,bg ,fg (right-edge . ,(+ (* 2 button-width) 5)) (width . ,button-width) (height . ,button-width) (text . "_") (x-justify . center) (y-justify . center) (top-edge . ,(- title-height)) (class . iconify-button))
|
||||
(,bg ,fg (left-edge . 5) (width . ,button-width) (height . ,title-height) (top-edge . ,(- title-height)) (class . menu-button) (text . "⮟") (x-justify . center) (y-justify . center))
|
||||
(,bg (right-edge . 5) (left-edge . 5) (height . 5) (bottom-edge . -5) (class . bottom-border))
|
||||
(,bg (left-edge . 0) (top-edge . ,(- title-height)) (width . 5) (height . 5) (class . top-left-corner))
|
||||
(,bg (left-edge . 0) (top-edge . ,(- (- title-height 5))) (width . 5) (height . ,(- title-height 5)))
|
||||
(,bg (right-edge . 0) (top-edge . ,(- title-height)) (width . 5) (height . 5) (class . top-right-corner))
|
||||
(,bg (right-edge . 0) (top-edge . ,(- (- title-height 5))) (width . 5) (height . ,(- title-height 5)))
|
||||
(,bg (left-edge . 0) (width . 5) (height . 5) (bottom-edge . -5) (class . bottom-left-corner))
|
||||
(,bg (right-edge . 0) (width . 5) (height . 5) (bottom-edge . -5) (class . bottom-right-corner))
|
||||
|
||||
(,bg ,fg ,font (right-edge . ,(* 3 button-width)) (left-edge . ,button-width) (height . ,title-height) (top-edge . ,(- title-height))
|
||||
(,bg ,fg ,font (right-edge . ,(+ (* 3 button-width) 5)) (left-edge . ,(+ button-width 5)) (height . ,title-height) (top-edge . ,(- title-height))
|
||||
(text . ,window-name) (x-justify . center) (y-justify . center) (class . title))))
|
||||
|
||||
(shaded-frame
|
||||
|
|
Loading…
Reference in a new issue