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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
-- mod-version:3
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,
-- The config specification used by the settings gui
config_spec = {
name = "Line Numbers",
{
label = "Show Numbers",
description = "Display or hide the line numbers.",
path = "show",
type = "toggle",
default = true
},
{
label = "Relative Line Numbers",
description = "Display relative line numbers starting from active line.",
path = "relative",
type = "toggle",
default = false
}
}
}, config.plugins.linenumbers)
local draw_line_gutter = DocView.draw_line_gutter
local get_gutter_width = DocView.get_gutter_width
function DocView:draw_line_gutter(line, x, y, width)
local lh = self:get_line_height()
if not config.plugins.linenumbers.show then
return lh
end
if config.plugins.linenumbers.relative then
local color = style.line_number
local local_idx = line
for _, line1, _, line2 in self.doc:get_selections(true) do
if line >= line1 and line <= line2 then
color = style.line_number2
break
end
end
local l1 = self.doc:get_selection(false)
if line == l1 then
color = style.line_number2
local_idx = 0
else
local_idx = math.abs(line - l1)
end
common.draw_text(
self:get_font(),
color, local_idx, "right",
x + style.padding.x,
y,
width, lh
)
else
return draw_line_gutter(self, line, x, y, width)
end
return lh
end
function DocView:get_gutter_width(...)
if
not config.plugins.linenumbers.show
then
local width = get_gutter_width(self, ...)
local correct_width = self:get_font():get_width(#self.doc.lines)
+ (style.padding.x * 2)
-- compatibility with center doc
if width <= correct_width then
width = style.padding.x
end
return width, 0
else
return get_gutter_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
})
|
