Fix some widgets’ padding

This commit is contained in:
Tom Willemse 2016-06-17 01:34:29 +02:00
parent 4419b93f80
commit aedb8632ba

View file

@ -8,6 +8,11 @@
text text
(L " " text " "))) (L " " text " ")))
(define (text-maybe-pad-right text)
(if (not-text? text)
text
(L text " ")))
(define (add-fa-icon icon) (define (add-fa-icon icon)
(lambda (text) (lambda (text)
(if (not-text? text) (if (not-text? text)
@ -46,7 +51,7 @@
'margin-right 15 'margin-right 15
'background 'transparent 'background 'transparent
(widget:text 'name "taglist" 'format tag-list-formatter) (widget:text 'name "taglist" 'format tag-list-formatter)
(widget:active-window-title 'format text-maybe-pad-left) (widget:active-window-title 'format text-maybe-pad-right)
(widget:spacer 'flex 1) (widget:spacer 'flex 1)
(widget:text 'name "mpd" (widget:text 'name "mpd"
'format (add-fa-icon "")) 'format (add-fa-icon ""))
@ -62,4 +67,4 @@
'font "FontAwesome-10" 'font "FontAwesome-10"
'flags '(("Unlocked" color "#65a854" "") 'flags '(("Unlocked" color "#65a854" "")
("Locked" color "#a85454" ""))) ("Locked" color "#a85454" "")))
(widget:clock)) (widget:clock 'format text-maybe-pad-left))