plugins scale: also rescale style.expanded_scrollbar_size (#1380)
This commit is contained in:
parent
68108aeff2
commit
0e3b5935e6
|
@ -43,6 +43,7 @@ local function set_scale(scale)
|
||||||
style.padding.y = style.padding.y * s
|
style.padding.y = style.padding.y * s
|
||||||
style.divider_size = style.divider_size * s
|
style.divider_size = style.divider_size * s
|
||||||
style.scrollbar_size = style.scrollbar_size * s
|
style.scrollbar_size = style.scrollbar_size * s
|
||||||
|
style.expanded_scrollbar_size = style.expanded_scrollbar_size * s
|
||||||
style.caret_width = style.caret_width * s
|
style.caret_width = style.caret_width * s
|
||||||
style.tab_width = style.tab_width * s
|
style.tab_width = style.tab_width * s
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue