Update settings from , profile « main »
parent
070b7ffa95
commit
e7811c1e54
|
@ -45,7 +45,7 @@ workbench.activity.placeholderViewlets: "[{\"id\":\"workbench.view.explorer\",\
|
||||||
rofiles\",\"isBuiltin\":false}]"
|
rofiles\",\"isBuiltin\":false}]"
|
||||||
workbench.activityBar.location: default
|
workbench.activityBar.location: default
|
||||||
workbench.auxiliaryBar.size: "188"
|
workbench.auxiliaryBar.size: "188"
|
||||||
workbench.editor.languageDetectionOpenedLanguages.global: '[["html",true],["jinja",true],["python",true],["ini",true],["lua",true],["dockercompose",true],["yaml",true],["properties",true],["dockerfile",true],["markdown",true],["plaintext",true],["shellscript",true]]'
|
workbench.editor.languageDetectionOpenedLanguages.global: '[["html",true],["jinja",true],["python",true],["ini",true],["lua",true],["dockercompose",true],["properties",true],["yaml",true],["shellscript",true],["markdown",true],["dockerfile",true],["plaintext",true]]'
|
||||||
workbench.explorer.views.state.hidden: '[{"id":"outline","isHidden":false},{"id":"timeline","isHidden":false},{"id":"workbench.explorer.openEditorsView","isHidden":true},{"id":"workbench.explorer.fileView","isHidden":false},{"id":"npm","isHidden":true},{"id":"workbench.explorer.emptyView","isHidden":true},{"id":"ansible.lightspeed.trainingMatchPanel","isHidden":false},{"id":"ansible-content-creator","isHidden":false},{"id":"lightspeed-explorer-webview","isHidden":false},{"id":"lightspeed-feedback-webview","isHidden":false}]'
|
workbench.explorer.views.state.hidden: '[{"id":"outline","isHidden":false},{"id":"timeline","isHidden":false},{"id":"workbench.explorer.openEditorsView","isHidden":true},{"id":"workbench.explorer.fileView","isHidden":false},{"id":"npm","isHidden":true},{"id":"workbench.explorer.emptyView","isHidden":true},{"id":"ansible.lightspeed.trainingMatchPanel","isHidden":false},{"id":"ansible-content-creator","isHidden":false},{"id":"lightspeed-explorer-webview","isHidden":false},{"id":"lightspeed-feedback-webview","isHidden":false}]'
|
||||||
workbench.grid.size: '{"height":754,"width":754}'
|
workbench.grid.size: '{"height":754,"width":754}'
|
||||||
workbench.panel.alignment: center
|
workbench.panel.alignment: center
|
||||||
|
|
Loading…
Reference in New Issue