diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-11-03 12:48:35 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-11-03 12:48:49 -0400 |
| commit | d23ea77e1bca56cfb00a5fbf064a9501a00e1da9 (patch) | |
| tree | 2a913da5c9df13bd98825860f7c4294fda5554ed /plugins/settings.lua | |
| parent | 61b2070c2501a5ad0704440be7ca61d3913ebf0c (diff) | |
| download | lite-xl-plugins-d23ea77e1bca56cfb00a5fbf064a9501a00e1da9.tar.gz lite-xl-plugins-d23ea77e1bca56cfb00a5fbf064a9501a00e1da9.zip | |
settings: added new option keep_newline_whitespace
Diffstat (limited to 'plugins/settings.lua')
| -rw-r--r-- | plugins/settings.lua | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/plugins/settings.lua b/plugins/settings.lua index 62d1592..6d55c14 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -448,6 +448,13 @@ settings.add("Editor", max = 10 }, { + label = "Keep Newline Whitespace", + description = "Do not remove whitespace when pressing enter.", + path = "keep_newline_whitespace", + type = settings.type.TOGGLE, + default = false + }, + { label = "Line Limit", description = "Amount of characters at which the line breaking column will be drawn.", path = "line_limit", |