development/vscode
development/vscode
1
0
Fork 0
mirror of https://github.com/Microsoft/vscode synced 2024-10-03 09:54:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove 'workbench.settings.tocVisible' setting

Browse source
This commit is contained in:
Rob Lourens 2018-08-10 07:39:14 -07:00
parent 97ed476233
commit 9a7e4ed8b6
3 changed files with 0 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/vs/workbench/electron-browser/main.contribution.ts
View file

@ -644,12 +644,6 @@ configurationRegistry.registerConfiguration({
'default': 'filter',
'scope': ConfigurationScope.WINDOW
},
'workbench.settings.tocVisible': {
'type': 'boolean',
'description': nls.localize('settingsTocVisible', "Controls whether the settings editor Table of Contents is visible."),
'default': true,
'scope': ConfigurationScope.WINDOW
},
'workbench.enableExperiments': {
'type': 'boolean',
'description': nls.localize('workbench.enableExperiments', "Fetches experiments to run from a Microsoft online service."),

4
src/vs/workbench/parts/preferences/browser/media/settingsEditor2.css
View file

@ -155,10 +155,6 @@
padding-left: 5px;
}
.settings-editor > .settings-body .settings-toc-container.hidden {
display: none;
}
.settings-editor.search-mode .settings-toc-container {
display: none;
}

11
src/vs/workbench/parts/preferences/browser/settingsEditor2.ts
View file

@ -112,10 +112,6 @@ export class SettingsEditor2 extends BaseEditor {
this._register(configurationService.onDidChangeConfiguration(e => {
this.onConfigUpdate();
if (e.affectsConfiguration('workbench.settings.tocVisible')) {
this.updateTOCVisible();
}
}));
}
@ -360,13 +356,6 @@ export class SettingsEditor2 extends BaseEditor {
this._register(this.tocTree.onDidBlur(() => {
this.tocRowFocused.set(false);
}));
this.updateTOCVisible();
}
private updateTOCVisible(): void {
const visible = !!this.configurationService.getValue('workbench.settings.tocVisible');
DOM.toggleClass(this.tocTreeContainer, 'hidden', !visible);
}
private createSettingsTree(parent: HTMLElement): void {