diff options
author | rxi <rxi@users.noreply.github.com> | 2020-05-12 13:42:09 +0100 |
---|---|---|
committer | rxi <rxi@users.noreply.github.com> | 2020-05-12 13:42:09 +0100 |
commit | 647c0715ade9bac371668fe3fb046ec9e15c570b (patch) | |
tree | fbd684cc72e61387327a2d901a22f71697164215 /plugins | |
parent | 3a19b1791a6a143aaad789adc18a2801875e37bb (diff) | |
download | lite-xl-plugins-647c0715ade9bac371668fe3fb046ec9e15c570b.tar.gz lite-xl-plugins-647c0715ade9bac371668fe3fb046ec9e15c570b.zip |
Added `hidelinenumbers` plugin
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/hidelinenumbers.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/plugins/hidelinenumbers.lua b/plugins/hidelinenumbers.lua new file mode 100644 index 0000000..206bd23 --- /dev/null +++ b/plugins/hidelinenumbers.lua @@ -0,0 +1,5 @@ +local style = require "core.style" +local DocView = require "core.docview" + +DocView.draw_line_gutter = function() end +DocView.get_gutter_width = function() return style.padding.x end |