aboutsummaryrefslogtreecommitdiff
path: root/plugins/indent_convert.lua
diff options
context:
space:
mode:
authorjgmdev <jgmdev@gmail.com>2022-05-24 19:29:50 -0400
committerjgmdev <jgmdev@gmail.com>2022-05-24 19:29:50 -0400
commit35e947d1933613bb0b5a1488bf0fa4587f98ef7d (patch)
tree07d2515f44db03b1e865f6aef6adfd12b118890b /plugins/indent_convert.lua
parentc1f3671e2a8defbc67d1e77c72d5866f2825cdb5 (diff)
downloadlite-xl-plugins-35e947d1933613bb0b5a1488bf0fa4587f98ef7d.tar.gz
lite-xl-plugins-35e947d1933613bb0b5a1488bf0fa4587f98ef7d.zip
added config_spec and other plugin compatibility fixes.
Diffstat (limited to 'plugins/indent_convert.lua')
-rw-r--r--plugins/indent_convert.lua14
1 files changed, 13 insertions, 1 deletions
diff --git a/plugins/indent_convert.lua b/plugins/indent_convert.lua
index 2442b39..af241a7 100644
--- a/plugins/indent_convert.lua
+++ b/plugins/indent_convert.lua
@@ -5,7 +5,19 @@ local config = require "core.config"
local command = require "core.command"
config.plugins.indent_convert = common.merge({
- update_indent_type = true -- set to false to avoid updating the document indent type
+ -- set to false to avoid updating the document indent type
+ update_indent_type = true,
+ -- The config specification used by the settings gui
+ config_spec = {
+ name = "Indent Convert",
+ {
+ label = "Update Indent Type",
+ description = "Disable to avoid updating the document indent type.",
+ path = "update_indent_type",
+ type = "toggle",
+ default = true
+ }
+ }
}, config.plugins.indent_convert)
local zero_pattern = _VERSION == "Lua 5.1" and "%z" or "\0"