ui: add some padding in tooltips
This commit is contained in:
parent
971cd9226a
commit
390ffb2253
@ -1058,6 +1058,8 @@ style "tooltip" = "medium_text"
|
|||||||
fg[NORMAL] = @fg_tooltip
|
fg[NORMAL] = @fg_tooltip
|
||||||
bg[NORMAL] = @bg_tooltip
|
bg[NORMAL] = @bg_tooltip
|
||||||
bg[SELECTED] = @bg_tooltip
|
bg[SELECTED] = @bg_tooltip
|
||||||
|
xthickness = 4
|
||||||
|
ythickness = 4
|
||||||
}
|
}
|
||||||
|
|
||||||
style "default_toggle_button"
|
style "default_toggle_button"
|
||||||
|
Loading…
Reference in New Issue
Block a user