Small cleanup of `scale` plugin

This commit is contained in:
Guldoman 2021-10-02 03:24:35 +02:00 committed by Francesco Abbate
parent f6b9d9ab67
commit 468229e4d0
1 changed files with 3 additions and 12 deletions

View File

@ -13,9 +13,6 @@ config.plugins.scale = {
use_mousewheel = true
}
local MINIMUM_SCALE = 0.25;
local scale_level = 0
local scale_steps = 0.05
local current_scale = SCALE
@ -36,9 +33,6 @@ local function set_scale(scale)
local s = scale / current_scale
current_scale = scale
-- we set scale_level in case this was called by user
scale_level = (scale - default_scale) / scale_steps
if config.plugins.scale.mode == "ui" then
SCALE = scale
@ -85,18 +79,15 @@ function RootView:on_mouse_wheel(d, ...)
end
local function res_scale()
scale_level = 0
set_scale(default_scale)
end
local function inc_scale()
scale_level = scale_level + 1
set_scale(default_scale + scale_level * scale_steps)
set_scale(current_scale + scale_steps)
end
local function dec_scale()
scale_level = scale_level - 1
set_scale(math.max(default_scale + scale_level * scale_steps), MINIMUM_SCALE)
set_scale(current_scale - scale_steps)
end