Update preferences.json

This commit is contained in:
mr. m 2025-06-02 20:43:05 +02:00 committed by GitHub
parent 8c07e490c3
commit 62cb08c007
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -130,7 +130,8 @@
"property": "zen.workspaces.show-workspace-indicator", "property": "zen.workspaces.show-workspace-indicator",
"label": "Shows the workspace-indicator between Essentials and Pins", "label": "Shows the workspace-indicator between Essentials and Pins",
"type": "checkbox", "type": "checkbox",
"disabledOn": [] "disabledOn": [],
"defaultValue": false
}, },
{ {
"property": "browser.sessionstore.restore_pinned_tabs_on_demand", "property": "browser.sessionstore.restore_pinned_tabs_on_demand",
@ -314,4 +315,4 @@
"disabledOn": [], "disabledOn": [],
"defaultValue": "1" "defaultValue": "1"
} }
] ]