diff options
| author | Adam Harrison <adamdharrison@gmail.com> | 2021-08-19 09:25:25 -0400 |
|---|---|---|
| committer | Adam Harrison <adamdharrison@gmail.com> | 2021-08-19 09:25:25 -0400 |
| commit | 2d2fd65a8c18525d92d86f4690dad5cbcdb74f05 (patch) | |
| tree | 2fed25511af1d5ea5d52a7b0a5f449b57a846567 /plugins | |
| parent | 7286e2e11836802e31973b379e363f97e9b778a2 (diff) | |
| download | lite-xl-plugins-2d2fd65a8c18525d92d86f4690dad5cbcdb74f05.tar.gz lite-xl-plugins-2d2fd65a8c18525d92d86f4690dad5cbcdb74f05.zip | |
Also fixed markers to add width.
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/markers.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/markers.lua b/plugins/markers.lua index e09fa3d..ad89fad 100644 --- a/plugins/markers.lua +++ b/plugins/markers.lua @@ -52,12 +52,12 @@ end local draw_line_gutter = DocView.draw_line_gutter
-function DocView:draw_line_gutter(idx, x, y)
+function DocView:draw_line_gutter(idx, x, y, width)
if cache[self.doc] and cache[self.doc][idx] then
local h = self:get_line_height()
renderer.draw_rect(x, y, style.padding.x * 0.4, h, style.selection)
end
- draw_line_gutter(self, idx, x, y)
+ draw_line_gutter(self, idx, x, y, width)
end
|