Skip to content

Commit c5a31ae

Browse files
authored
Lean 3.1: Remove extension grid checkbox option
1 parent e7d3dc5 commit c5a31ae

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

themes/1e86cf37-a127-4f24-b919-d265b5ce29a0/preferences.json

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,4 @@
11
[
2-
{
3-
"property": "mod.extension.viewgrid",
4-
"label": "Apply grid view to extension menu",
5-
"type": "checkbox"
6-
},
72
{
83
"property": "mod.lean.hide-zoom",
94
"label": "Hide Zoom button in URL bar",
@@ -49,4 +44,4 @@
4944
"label": "Show workspace buttons that were hidden when 'Pinned Extensions' is enabled",
5045
"type": "checkbox"
5146
}
52-
]
47+
]

0 commit comments

Comments
 (0)