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
|
-- 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"
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.line_numbers and not config.relative_line_numbers then
return
end
if config.relative_line_numbers 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.line_numbers and not config.relative_line_numbers then
return style.padding.x
else
return get_width(self, ...)
end
end
command.add(nil, {
["line-numbers:toggle"] = function()
config.line_numbers = not config.line_numbers
end,
["line-numbers:disable"] = function()
config.line_numbers = false
end,
["line-numbers:enable"] = function()
config.line_numbers = true
end,
["relative-line-numbers:toggle"] = function()
config.relative_line_numbers = not config.relative_line_numbers
end,
["relative-line-numbers:enable"] = function()
config.relative_line_numbers = true
end,
["relative-line-numbers:disable"] = function()
config.relative_line_numbers = false
end
})
|
