project panel: Add vertical scrollbar (#13358)

Fixes #4865 Release Notes: - Added vertical scrollbar to project panel
2024-06-23 14:04:19 +02:00
parent 5c93506e9f
commit d272e402ea
6 changed files with 357 additions and 37 deletions
@@ -312,7 +312,14 @@
    "auto_reveal_entries": true,
    /// Whether to fold directories automatically
    /// when a directory has only one directory inside.
-    "auto_fold_dirs": false
+    "auto_fold_dirs": false,
+    /// Scrollbar-related settings
+    "scrollbar": {
+      /// When to show the scrollbar in the project panel.
+      ///
+      /// Default: always
+      "show": "always"
+    }
  },
  "outline_panel": {
    // Whether to show the outline panel button in the status bar