diff options
author | rxi <rxi@users.noreply.github.com> | 2020-06-07 08:48:37 +0100 |
---|---|---|
committer | rxi <rxi@users.noreply.github.com> | 2020-06-07 08:49:30 +0100 |
commit | af8949684146aeecde213873020fbe0618b40d4b (patch) | |
tree | 06546b45565eff8ea3e7d505bcaad09e22db3a6d /plugins | |
parent | 71f6766dc0566968a53ced4a34cf55702819050e (diff) | |
download | lite-xl-plugins-af8949684146aeecde213873020fbe0618b40d4b.tar.gz lite-xl-plugins-af8949684146aeecde213873020fbe0618b40d4b.zip |
Added mouse-wheel support and limits to `scale` plugin
Resolves #50
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/scale.lua | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/plugins/scale.lua b/plugins/scale.lua index 206b3a5..95c4009 100644 --- a/plugins/scale.lua +++ b/plugins/scale.lua @@ -1,10 +1,13 @@ local core = require "core" +local common = require "core.common" local command = require "core.command" local config = require "core.config" local keymap = require "core.keymap" local style = require "core.style" +local RootView = require "core.rootview" config.scale_mode = "code" +config.scale_use_mousewheel = true local font_cache = setmetatable({}, { __mode = "k" }) @@ -33,10 +36,14 @@ local current_scale = SCALE local default = current_scale local function set_scale(scale) + scale = common.clamp(scale, 0.2, 6) + local s = scale / current_scale current_scale = scale if config.scale_mode == "ui" then + SCALE = current_scale + style.padding.x = style.padding.x * s style.padding.y = style.padding.y * s style.divider_size = style.divider_size * s @@ -47,7 +54,6 @@ local function set_scale(scale) style.big_font = scale_font(style.big_font, s) style.icon_font = scale_font(style.icon_font, s) style.font = scale_font(style.font, s) - SCALE = current_scale end style.code_font = scale_font(style.code_font, s) @@ -56,6 +62,18 @@ local function set_scale(scale) end +local on_mouse_wheel = RootView.on_mouse_wheel + +function RootView:on_mouse_wheel(d, ...) + if keymap.modkeys["ctrl"] and config.scale_use_mousewheel then + if d < 0 then command.perform "scale:decrease" end + if d > 0 then command.perform "scale:increase" end + else + return on_mouse_wheel(self, d, ...) + end +end + + command.add(nil, { ["scale:reset" ] = function() set_scale(default) end, ["scale:decrease"] = function() set_scale(current_scale * 0.9) end, |