diff options
author | jgmdev <jgmdev@gmail.com> | 2022-11-15 14:34:35 -0400 |
---|---|---|
committer | jgmdev <jgmdev@gmail.com> | 2022-11-15 14:35:44 -0400 |
commit | f3683031fbf4e249f8848490e6ffc5fa209a3aad (patch) | |
tree | 50f0a9999b4e461490992e99bad49dafb66815eb /plugins/settings.lua | |
parent | 03faad163d51bf3ffb5721e6a2a0c81439ad4435 (diff) | |
download | lite-xl-plugins-f3683031fbf4e249f8848490e6ffc5fa209a3aad.tar.gz lite-xl-plugins-f3683031fbf4e249f8848490e6ffc5fa209a3aad.zip |
settings: added force_scrollbar_status
Also adjusted ignore dirs default value to current from master.
Diffstat (limited to 'plugins/settings.lua')
-rw-r--r-- | plugins/settings.lua | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/plugins/settings.lua b/plugins/settings.lua index 6d55c14..9c7cd31 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -212,7 +212,16 @@ settings.add("General", description = "List of lua patterns matching files to be ignored by the editor.", path = "ignore_files", type = settings.type.LIST_STRINGS, - default = { "^%." }, + default = { + -- folders + "^%.svn/", "^%.git/", "^%.hg/", "^CVS/", "^%.Trash/", "^%.Trash%-.*/", + "^node_modules/", "^%.cache/", "^__pycache__/", + -- files + "%.pyc$", "%.pyo$", "%.exe$", "%.dll$", "%.obj$", "%.o$", + "%.a$", "%.lib$", "%.so$", "%.dylib$", "%.ncb$", "%.sdf$", + "%.suo$", "%.pdb$", "%.idb$", "%.class$", "%.psd$", "%.db$", + "^desktop%.ini$", "^%.DS_Store$", "^%.directory$", + }, on_apply = function() core.rescan_project_directories() end @@ -533,6 +542,18 @@ settings.add("Editor", path = "scroll_past_end", type = settings.type.TOGGLE, default = true + }, + { + label = "Force Scrollbar Status", + description = "Choose an fixed scrollbar state instead of resizing it on mouse hover.", + path = "force_scrollbar_status", + type = settings.type.SELECTION, + default = false, + values = { + {"Disabled", false}, + {"Expanded", "expanded"}, + {"Contracted", "contracted"} + } } } ) |