From 536a0ce054319d2ea92c665510afe8a388b043ca Mon Sep 17 00:00:00 2001 From: Francesco Abbate Date: Thu, 8 Apr 2021 16:21:43 +0200 Subject: More validated plugins --- plugins/drawwhitespace.lua | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 plugins/drawwhitespace.lua (limited to 'plugins/drawwhitespace.lua') diff --git a/plugins/drawwhitespace.lua b/plugins/drawwhitespace.lua deleted file mode 100644 index 4e2e109..0000000 --- a/plugins/drawwhitespace.lua +++ /dev/null @@ -1,38 +0,0 @@ -local common = require "core.common" -local config = require "core.config" -local style = require "core.style" -local DocView = require "core.docview" -local command = require "core.command" - --- originally written by luveti - -config.whitespace_map = { [" "] = "·", ["\t"] = "»" } -config.draw_whitespace = true - -local draw_line_text = DocView.draw_line_text - -function DocView:draw_line_text(idx, x, y) - draw_line_text(self, idx, x, y) - if not config.draw_whitespace then return end - - local text = self.doc.lines[idx] - local font = self:get_font() - local ss = font:subpixel_scale() - local tx, ty = ss * x, y + self:get_line_text_y_offset() - local color = style.whitespace or style.syntax.comment - local map = config.whitespace_map - - for chr in common.utf8_chars(text) do - local rep = map[chr] - if rep then - renderer.draw_text_subpixel(font, rep, tx, ty, color) - end - tx = tx + font:get_width_subpixel(chr) - end -end - -command.add("core.docview", { - ["draw-whitespace:toggle"] = function() config.draw_whitespace = not config.draw_whitespace end, - ["draw-whitespace:disable"] = function() config.draw_whitespace = false end, - ["draw-whitespace:enable"] = function() config.draw_whitespace = true end, -}) -- cgit v1.2.3