From f3683031fbf4e249f8848490e6ffc5fa209a3aad Mon Sep 17 00:00:00 2001
From: jgmdev <jgmdev@gmail.com>
Date: Tue, 15 Nov 2022 14:34:35 -0400
Subject: settings: added force_scrollbar_status

Also adjusted ignore dirs default value to current from master.
---
 plugins/settings.lua | 23 ++++++++++++++++++++++-
 1 file changed, 22 insertions(+), 1 deletion(-)

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"}
+      }
     }
   }
 )
-- 
cgit v1.2.3