From 504be1445cd667686b9e52e8508b6dc97debdaad Mon Sep 17 00:00:00 2001 From: rxi Date: Wed, 3 Jun 2020 15:40:39 +0100 Subject: `scale` plugin fixes --- plugins/scale.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins') diff --git a/plugins/scale.lua b/plugins/scale.lua index 6b3444a..206b3a5 100644 --- a/plugins/scale.lua +++ b/plugins/scale.lua @@ -34,6 +34,7 @@ local default = current_scale local function set_scale(scale) local s = scale / current_scale + current_scale = scale if config.scale_mode == "ui" then style.padding.x = style.padding.x * s @@ -51,7 +52,6 @@ local function set_scale(scale) style.code_font = scale_font(style.code_font, s) - current_scale = scale core.redraw = true end -- cgit v1.2.3