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 core = require "core"
local config = require "core.config"
local style = require "core.style"
local common = require "core.common"
local DocView = require "core.docview"
config.plugins.smoothcaret = common.merge({
enabled = true,
rate = 0.65,
-- The config specification used by the settings gui
config_spec = {
name = "Smooth Caret",
{
label = "Enabled",
description = "Disable or enable the smooth caret animation.",
path = "enabled",
type = "toggle",
default = true
},
{
label = "Rate",
description = "Speed of the animation.",
path = "rate",
type = "number",
default = 0.65,
min = 0.2,
max = 1.0,
step = 0.05
},
}
}, config.plugins.smoothcaret)
local docview_update = DocView.update
function DocView:update()
docview_update(self)
if not config.plugins.smoothcaret.enabled then return end
local minline, maxline = self:get_visible_line_range()
-- We need to keep track of all the carets
if not self.carets then
self.carets = { }
end
-- and we need the list of visible ones that `DocView:draw_caret` will use in succession
self.visible_carets = { }
local idx, v_idx = 1, 1
for _, line, col in self.doc:get_selections() do
local x, y = self:get_line_screen_position(line, col)
-- Keep the position relative to the whole View
-- This way scrolling won't animate the caret
x = x + self.scroll.x
y = y + self.scroll.y
if not self.carets[idx] then
self.carets[idx] = { current = { x = x, y = y }, target = { x = x, y = y } }
end
local c = self.carets[idx]
c.target.x = x
c.target.y = y
-- Chech if the number of carets changed
if self.last_n_selections ~= #self.doc.selections then
-- Don't animate when there are new carets
c.current.x = x
c.current.y = y
else
self:move_towards(c.current, "x", c.target.x, config.plugins.smoothcaret.rate)
self:move_towards(c.current, "y", c.target.y, config.plugins.smoothcaret.rate)
end
-- Keep track of visible carets
if line >= minline and line <= maxline then
self.visible_carets[v_idx] = self.carets[idx]
v_idx = v_idx + 1
end
idx = idx + 1
end
self.last_n_selections = #self.doc.selections
-- Remove unused carets to avoid animating new ones when they are added
for i = idx, #self.carets do
self.carets[i] = nil
end
if self.mouse_selecting ~= self.last_mouse_selecting then
self.last_mouse_selecting = self.mouse_selecting
-- Show the caret on click, so that it can be seen moving towards the new position
if self.mouse_selecting then
core.blink_timer = core.blink_timer + config.blink_period / 2
core.redraw = true
end
end
-- This is used by `DocView:draw_caret` to keep track of the current caret
self.caret_idx = 1
end
local docview_draw_caret = DocView.draw_caret
function DocView:draw_caret(x, y)
if not config.plugins.smoothcaret.enabled then
docview_draw_caret(self, x, y)
return
end
local c = self.visible_carets[self.caret_idx] or { current = { x = x, y = y } }
local lh = self:get_line_height()
-- We use the scroll position to move back to the position relative to the window
renderer.draw_rect(c.current.x - self.scroll.x, c.current.y - self.scroll.y, style.caret_width, lh, style.caret)
self.caret_idx = self.caret_idx + 1
end
|
