src/vs/workbench/contrib/preferences/browser/preferencesEditor.ts/SideBySidePreferencesWidget/disposeEditors
class SideBySidePreferencesWidget:	private disposeEditors(): void {
		if (this.defaultPreferencesEditor) {
			this.defaultPreferencesEditor.dispose();
		}
		if (this.editablePreferencesEditor) {
			this.editablePreferencesEditor.dispose();
		}
	}