src/vs/workbench/contrib/preferences/browser/preferencesRenderers.ts/EditSettingRenderer/onConfigurationChanged
class EditSettingRenderer:	private onConfigurationChanged(): void {
		if (!this.editor.getOption(EditorOption.glyphMargin)) {
			this.editPreferenceWidgetForCursorPosition.hide();
			this.editPreferenceWidgetForMouseMove.hide();
		}
	}