2022-05-31 22:34:14 +02:00
|
|
|
-- mod-version:3
|
2022-06-23 21:24:57 +02:00
|
|
|
local common = require "core.common"
|
|
|
|
local command = require "core.command"
|
2021-06-20 22:40:25 +02:00
|
|
|
local config = require "core.config"
|
|
|
|
local style = require "core.style"
|
|
|
|
local DocView = require "core.docview"
|
2021-11-24 04:35:11 +01:00
|
|
|
local CommandView = require "core.commandview"
|
2021-06-20 22:40:25 +02:00
|
|
|
|
2022-06-23 21:24:57 +02:00
|
|
|
config.plugins.lineguide = common.merge({
|
|
|
|
enabled = false,
|
|
|
|
width = 2,
|
|
|
|
rulers = {
|
|
|
|
-- 80,
|
|
|
|
-- 100,
|
|
|
|
-- 120,
|
|
|
|
config.line_limit
|
2022-06-24 00:07:09 +02:00
|
|
|
},
|
|
|
|
-- The config specification used by gui generators
|
|
|
|
config_spec = {
|
|
|
|
name = "Line Guide",
|
|
|
|
{
|
|
|
|
label = "Enabled",
|
|
|
|
description = "Disable or enable drawing of the line guide.",
|
|
|
|
path = "enabled",
|
|
|
|
type = "toggle",
|
|
|
|
default = true
|
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Width",
|
|
|
|
description = "Width in pixels of the line guide.",
|
|
|
|
path = "width",
|
|
|
|
type = "number",
|
|
|
|
default = 2,
|
|
|
|
min = 1
|
|
|
|
},
|
|
|
|
{
|
|
|
|
label = "Ruler Positions",
|
|
|
|
description = "The different column numbers for the line guides to draw.",
|
|
|
|
path = "rulers",
|
|
|
|
type = "list_strings",
|
|
|
|
default = { tostring(config.line_limit) or "80" },
|
|
|
|
get_value = function(rulers)
|
|
|
|
if type(rulers) == "table" then
|
|
|
|
local new_rulers = {}
|
|
|
|
for _, ruler in ipairs(rulers) do
|
|
|
|
table.insert(new_rulers, tostring(ruler))
|
|
|
|
end
|
|
|
|
return new_rulers
|
|
|
|
else
|
|
|
|
return { tostring(config.line_limit) }
|
|
|
|
end
|
|
|
|
end,
|
|
|
|
set_value = function(rulers)
|
|
|
|
local new_rulers = {}
|
|
|
|
for _, ruler in ipairs(rulers) do
|
|
|
|
local number = tonumber(ruler)
|
|
|
|
if number then
|
|
|
|
table.insert(new_rulers, number)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
if #new_rulers == 0 then
|
|
|
|
table.insert(new_rulers, config.line_limit)
|
|
|
|
end
|
|
|
|
return new_rulers
|
|
|
|
end
|
2024-02-11 18:51:12 +01:00
|
|
|
}
|
2022-06-23 21:24:57 +02:00
|
|
|
}
|
|
|
|
}, config.plugins.lineguide)
|
2021-06-20 22:40:25 +02:00
|
|
|
|
2022-06-23 21:24:57 +02:00
|
|
|
local function get_ruler(v)
|
|
|
|
local result = nil
|
|
|
|
if type(v) == 'number' then
|
|
|
|
result = { columns = v }
|
|
|
|
elseif type(v) == 'table' then
|
|
|
|
result = v
|
2021-11-24 04:35:11 +01:00
|
|
|
end
|
2022-06-23 21:24:57 +02:00
|
|
|
return result
|
|
|
|
end
|
|
|
|
|
|
|
|
local draw_overlay = DocView.draw_overlay
|
|
|
|
function DocView:draw_overlay(...)
|
2022-06-24 00:07:09 +02:00
|
|
|
if
|
|
|
|
type(config.plugins.lineguide) == "table"
|
|
|
|
and
|
|
|
|
config.plugins.lineguide.enabled
|
|
|
|
and
|
2022-10-16 03:56:34 +02:00
|
|
|
self:is(DocView)
|
2022-06-24 00:07:09 +02:00
|
|
|
then
|
2022-06-23 21:24:57 +02:00
|
|
|
local line_x = self:get_line_screen_position(1)
|
|
|
|
local character_width = self:get_font():get_width("n")
|
|
|
|
local ruler_width = config.plugins.lineguide.width
|
2024-02-11 18:51:12 +01:00
|
|
|
local ruler_color = style.guide or style.selection
|
2022-06-23 21:24:57 +02:00
|
|
|
|
|
|
|
for k,v in ipairs(config.plugins.lineguide.rulers) do
|
|
|
|
local ruler = get_ruler(v)
|
|
|
|
|
|
|
|
if ruler then
|
|
|
|
local x = line_x + (character_width * ruler.columns)
|
|
|
|
local y = self.position.y
|
|
|
|
local w = ruler_width
|
|
|
|
local h = self.size.y
|
|
|
|
|
|
|
|
renderer.draw_rect(x, y, w, h, ruler.color or ruler_color)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
2023-05-17 16:14:28 +02:00
|
|
|
-- everything else like the cursor above the line guides
|
|
|
|
draw_overlay(self, ...)
|
2021-06-20 22:40:25 +02:00
|
|
|
end
|
2022-06-23 21:24:57 +02:00
|
|
|
|
|
|
|
command.add(nil, {
|
|
|
|
["lineguide:toggle"] = function()
|
|
|
|
config.plugins.lineguide.enabled = not config.plugins.lineguide.enabled
|
|
|
|
end
|
|
|
|
})
|