mirror of
https://github.com/enso-browser/theme-store.git
synced 2026-10-30 20:27:45 +00:00
32 lines
974 B
JSON
32 lines
974 B
JSON
[
|
|
{
|
|
"property": "theme.sidebar_expand_on_hover.hide_workspace_indicator",
|
|
"label": "Hide top workspace indicator",
|
|
"type": "checkbox",
|
|
"defaultValue": true
|
|
},
|
|
{
|
|
"property": "theme.sidebar_expand_on_hover.collapse_buttons",
|
|
"label": "Collapse the buttons to only show current workspace",
|
|
"type": "checkbox",
|
|
"defaultValue": true
|
|
},
|
|
{
|
|
"property": "theme.sidebar_expand_on_hover.inverted_tabs",
|
|
"label": "Inverted Tab Direction",
|
|
"type": "checkbox",
|
|
"defaultValue": false
|
|
},
|
|
{
|
|
"property": "theme.sidebar_expand_on_hover.expanded_width",
|
|
"label": "Width of the expanded sidebar",
|
|
"type": "string",
|
|
"defaultValue": "300px"
|
|
},
|
|
{
|
|
"property": "theme.sidebar_expand_on_hover.transition_speed",
|
|
"label": "Transition speed of the sidebar",
|
|
"type": "string",
|
|
"defaultValue": "120ms"
|
|
}
|
|
] |