From ab63e34311de608634c93d58e2acec3a05ce58da Mon Sep 17 00:00:00 2001 From: Tom Willemse Date: Sat, 14 Dec 2024 23:35:13 -0800 Subject: [PATCH] Add resize corner to top title bar --- theme.jl | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/theme.jl b/theme.jl index 60f5415..b9981dd 100644 --- a/theme.jl +++ b/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