More validated plugins

1 files changed, 0 insertions, 38 deletions

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,
-})