diff options
| author | Adam <adamdharrison@gmail.com> | 2023-03-28 19:57:24 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-29 01:57:24 +0200 |
| commit | dc2ae6dd9cb4fe044c0fd9f2f8a4ed1298b5a51e (patch) | |
| tree | 7ab4353215b9d8b11d9d20a7a5a2c3632aa17012 /data/core/commands | |
| parent | e8c317494a24db068fde9cd6d0a29d447e3d11b8 (diff) | |
| download | lite-xl-dc2ae6dd9cb4fe044c0fd9f2f8a4ed1298b5a51e.tar.gz lite-xl-dc2ae6dd9cb4fe044c0fd9f2f8a4ed1298b5a51e.zip | |
Disable `trimwhitespace` and `drawwhitespace` via their configs (#1446)
Instead of completely disabling them, we now use their internal toggle.
Also moved `drawwhitespace` commands inside the plugin.
---
* Fixed bug where commands would show even when plugin was disbled. Also removed antiquated way of disabling.
* Fixed typos.
* Also moved trimwhitespace out of config, if it already has a default enabled value of false.
* Changed documentation.
* Clarified comments.
Diffstat (limited to 'data/core/commands')
| -rw-r--r-- | data/core/commands/drawwhitespace.lua | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/data/core/commands/drawwhitespace.lua b/data/core/commands/drawwhitespace.lua deleted file mode 100644 index 9372c55d..00000000 --- a/data/core/commands/drawwhitespace.lua +++ /dev/null @@ -1,16 +0,0 @@ -local command = require "core.command" -local config = require "core.config" - -command.add(nil, { - ["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, -}) |