1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
-- mod-version:3 --lite-xl 2.1
local config = require "core.config"
local style = require "core.style"
local DocView = require "core.docview"
local common = require "core.common"
local command = require "core.command"
config.plugins.linenumbers = common.merge({
show = true,
relative = false
}, config.plugins.linenumbers)
local draw = DocView.draw_line_gutter
local get_width = DocView.get_gutter_width
function DocView:draw_line_gutter(idx, x, y, width)
if
not config.plugins.linenumbers.show
and
not config.plugins.linenumbers.relative
then
return
end
if config.plugins.linenumbers.relative then
local color = style.line_number
local local_idx = idx
local align = "right"
local l1 = self.doc:get_selection(false)
if idx == l1 then
color = style.line_number2
if config.line_numbers then
align = "center"
else
local_idx = 0
end
else
local_idx = math.abs(idx - l1)
end
-- Fix for old version (<=1.16)
if width == nil then
local gpad = style.padding.x * 2
local gw = self:get_font():get_width(#self.doc.lines) + gpad
width = gpad and gw - gpad or gw
end
common.draw_text(
self:get_font(),
color, local_idx, align,
x + style.padding.x,
y + self:get_line_text_y_offset(),
width, self:get_line_height()
)
else
draw(self, idx, x, y, width)
end
end
function DocView:get_gutter_width(...)
if
not config.plugins.linenumbers.show
and
not config.plugins.linenumbers.relative
then
return style.padding.x
else
return get_width(self, ...)
end
end
command.add(nil, {
["line-numbers:toggle"] = function()
config.plugins.linenumbers.show = not config.plugins.linenumbers.show
end,
["line-numbers:disable"] = function()
config.plugins.linenumbers.show = false
end,
["line-numbers:enable"] = function()
config.plugins.linenumbers.show = true
end,
["relative-line-numbers:toggle"] = function()
config.plugins.linenumbers.relative = not config.plugins.linenumbers.relative
end,
["relative-line-numbers:enable"] = function()
config.plugins.linenumbers.relative = true
end,
["relative-line-numbers:disable"] = function()
config.plugins.linenumbers.relative = false
end
})
|
