diff options
author | jgmdev <jgmdev@gmail.com> | 2022-05-24 19:29:50 -0400 |
---|---|---|
committer | jgmdev <jgmdev@gmail.com> | 2022-05-24 19:29:50 -0400 |
commit | 35e947d1933613bb0b5a1488bf0fa4587f98ef7d (patch) | |
tree | 07d2515f44db03b1e865f6aef6adfd12b118890b /plugins/indent_convert.lua | |
parent | c1f3671e2a8defbc67d1e77c72d5866f2825cdb5 (diff) | |
download | lite-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.lua | 14 |
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" |