From 2d2fd65a8c18525d92d86f4690dad5cbcdb74f05 Mon Sep 17 00:00:00 2001 From: Adam Harrison Date: Thu, 19 Aug 2021 09:25:25 -0400 Subject: Also fixed markers to add width. --- plugins/markers.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'plugins/markers.lua') 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 -- cgit v1.2.3