diff options
| author | rxi <rxi@users.noreply.github.com> | 2020-06-03 15:40:39 +0100 |
|---|---|---|
| committer | rxi <rxi@users.noreply.github.com> | 2020-06-03 15:40:39 +0100 |
| commit | 504be1445cd667686b9e52e8508b6dc97debdaad (patch) | |
| tree | 284fe4cdda45fe870c114eb3754422a515153492 /plugins | |
| parent | 4b2d93ca195650b1b6f8a0f95b0e3cc5c9c5e52c (diff) | |
| download | lite-xl-plugins-504be1445cd667686b9e52e8508b6dc97debdaad.tar.gz lite-xl-plugins-504be1445cd667686b9e52e8508b6dc97debdaad.zip | |
`scale` plugin fixes
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/scale.lua | 2 |
1 files changed, 1 insertions, 1 deletions
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 |