2022-03-24 16:57:26 +01:00
|
|
|
-- mod-version:3 -- lite-xl 2.1
|
2021-06-03 22:49:37 +02:00
|
|
|
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"
|
|
|
|
local CommandView = require "core.commandview"
|
|
|
|
|
2021-12-06 00:32:20 +01:00
|
|
|
config.plugins.scale = common.merge({
|
2021-07-13 16:14:00 +02:00
|
|
|
mode = "code",
|
|
|
|
use_mousewheel = true
|
2021-12-06 00:32:20 +01:00
|
|
|
}, config.plugins.scale)
|
2021-06-03 22:49:37 +02:00
|
|
|
|
|
|
|
local scale_steps = 0.05
|
|
|
|
|
|
|
|
local current_scale = SCALE
|
|
|
|
local default_scale = SCALE
|
|
|
|
|
|
|
|
local function set_scale(scale)
|
|
|
|
scale = common.clamp(scale, 0.2, 6)
|
|
|
|
|
|
|
|
-- save scroll positions
|
|
|
|
local scrolls = {}
|
|
|
|
for _, view in ipairs(core.root_view.root_node:get_children()) do
|
|
|
|
local n = view:get_scrollable_size()
|
|
|
|
if n ~= math.huge and not view:is(CommandView) and n > view.size.y then
|
|
|
|
scrolls[view] = view.scroll.y / (n - view.size.y)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
local s = scale / current_scale
|
|
|
|
current_scale = scale
|
|
|
|
|
2021-07-13 16:14:00 +02:00
|
|
|
if config.plugins.scale.mode == "ui" then
|
2021-06-03 22:49:37 +02:00
|
|
|
SCALE = scale
|
|
|
|
|
|
|
|
style.padding.x = style.padding.x * s
|
|
|
|
style.padding.y = style.padding.y * s
|
|
|
|
style.divider_size = style.divider_size * s
|
|
|
|
style.scrollbar_size = style.scrollbar_size * s
|
|
|
|
style.caret_width = style.caret_width * s
|
|
|
|
style.tab_width = style.tab_width * s
|
|
|
|
|
|
|
|
for _, name in ipairs {"font", "big_font", "icon_font", "icon_big_font", "code_font"} do
|
2021-09-11 05:52:36 +02:00
|
|
|
style[name] = renderer.font.copy(style[name], s * style[name]:get_size())
|
2021-06-03 22:49:37 +02:00
|
|
|
end
|
|
|
|
else
|
2021-09-11 05:52:36 +02:00
|
|
|
style.code_font = renderer.font.copy(style.code_font, s * style.code_font:get_size())
|
2021-06-03 22:49:37 +02:00
|
|
|
end
|
|
|
|
|
2022-03-06 00:03:33 +01:00
|
|
|
for name, font in pairs(style.syntax_fonts) do
|
|
|
|
style.syntax_fonts[name] = renderer.font.copy(font, s * font:get_size())
|
2021-09-19 18:51:44 +02:00
|
|
|
end
|
|
|
|
|
2021-06-03 22:49:37 +02:00
|
|
|
-- restore scroll positions
|
|
|
|
for view, n in pairs(scrolls) do
|
|
|
|
view.scroll.y = n * (view:get_scrollable_size() - view.size.y)
|
|
|
|
view.scroll.to.y = view.scroll.y
|
|
|
|
end
|
|
|
|
|
|
|
|
core.redraw = true
|
|
|
|
end
|
|
|
|
|
2021-06-18 02:58:22 +02:00
|
|
|
local function get_scale()
|
2021-06-15 02:33:15 +02:00
|
|
|
return current_scale
|
|
|
|
end
|
2021-06-03 22:49:37 +02:00
|
|
|
|
|
|
|
local function res_scale()
|
2021-08-28 01:12:09 +02:00
|
|
|
set_scale(default_scale)
|
2021-06-03 22:49:37 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
local function inc_scale()
|
2021-10-02 03:24:35 +02:00
|
|
|
set_scale(current_scale + scale_steps)
|
2021-06-03 22:49:37 +02:00
|
|
|
end
|
|
|
|
|
2021-10-02 03:24:35 +02:00
|
|
|
local function dec_scale()
|
|
|
|
set_scale(current_scale - scale_steps)
|
2021-06-03 22:49:37 +02:00
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
command.add(nil, {
|
|
|
|
["scale:reset" ] = function() res_scale() end,
|
|
|
|
["scale:decrease"] = function() dec_scale() end,
|
|
|
|
["scale:increase"] = function() inc_scale() end,
|
|
|
|
})
|
|
|
|
|
|
|
|
keymap.add {
|
|
|
|
["ctrl+0"] = "scale:reset",
|
|
|
|
["ctrl+-"] = "scale:decrease",
|
|
|
|
["ctrl+="] = "scale:increase",
|
2021-11-07 20:31:15 +01:00
|
|
|
["ctrl+wheelup"] = "scale:increase",
|
|
|
|
["ctrl+wheeldown"] = "scale:decrease"
|
2021-06-03 22:49:37 +02:00
|
|
|
}
|
|
|
|
|
2021-06-18 02:58:22 +02:00
|
|
|
return {
|
|
|
|
["set"] = set_scale,
|
|
|
|
["get"] = get_scale,
|
2021-06-15 02:33:15 +02:00
|
|
|
["increase"] = inc_scale,
|
|
|
|
["decrease"] = dec_scale,
|
|
|
|
["reset"] = res_scale
|
|
|
|
}
|