()
| 282 | } |
| 283 | |
| 284 | private addCheckboxes() { |
| 285 | // Known checkbox options in order [selector, key, defaultValue] |
| 286 | const checkboxes: [string, keyof SiteSettings, boolean][] = [ |
| 287 | ['.allowStoreCodeDebug', 'allowStoreCodeDebug', true], |
| 288 | ['.alwaysEnableAllSchemes', 'alwaysEnableAllSchemes', false], |
| 289 | ['.autoCloseBrackets', 'autoCloseBrackets', true], |
| 290 | ['.autoCloseQuotes', 'autoCloseQuotes', true], |
| 291 | ['.autoSurround', 'autoSurround', true], |
| 292 | ['.autoIndent', 'autoIndent', true], |
| 293 | ['.colourise', 'colouriseAsm', true], |
| 294 | ['.colouriseBrackets', 'colouriseBrackets', true], |
| 295 | ['.compileOnChange', 'compileOnChange', true], |
| 296 | ['.autoDelayBeforeCompile', 'autoDelayBeforeCompile', true], |
| 297 | ['.editorsFLigatures', 'editorsFLigatures', false], |
| 298 | ['.enableCodeLens', 'enableCodeLens', true], |
| 299 | ['.enableCommunityAds', 'enableCommunityAds', true], |
| 300 | ['.enableCtrlStree', 'enableCtrlStree', true], |
| 301 | ['.enableSharingPopover', 'enableSharingPopover', true], |
| 302 | ['.executorCompileOnChange', 'executorCompileOnChange', true], |
| 303 | ['.shakeStatusIconOnWarnings', 'shakeStatusIconOnWarnings', true], |
| 304 | ['.formatOnCompile', 'formatOnCompile', false], |
| 305 | ['.hoverShowAsmDoc', 'hoverShowAsmDoc', true], |
| 306 | ['.hoverShowSource', 'hoverShowSource', true], |
| 307 | ['.indefiniteLineHighlight', 'indefiniteLineHighlight', false], |
| 308 | ['.keepMultipleTabs', 'keepMultipleTabs', false], |
| 309 | ['.keepSourcesOnLangChange', 'keepSourcesOnLangChange', false], |
| 310 | ['.newEditorLastLang', 'newEditorLastLang', true], |
| 311 | ['.showMinimap', 'showMinimap', true], |
| 312 | ['.showQuickSuggestions', 'showQuickSuggestions', false], |
| 313 | ['.useCustomContextMenu', 'useCustomContextMenu', true], |
| 314 | ['.useSpaces', 'useSpaces', true], |
| 315 | ['.useVim', 'useVim', false], |
| 316 | ['.wordWrap', 'wordWrap', false], |
| 317 | ['.relativeLineNumbers', 'relativeLineNumbers', false], |
| 318 | ]; |
| 319 | |
| 320 | for (const [selector, name, defaultValue] of checkboxes) { |
| 321 | this.add(new Checkbox(this.root.find(selector), name), defaultValue); |
| 322 | } |
| 323 | } |
| 324 | |
| 325 | private addSelectors() { |
| 326 | const addSelector = <Name extends keyof SiteSettings>( |
no test coverage detected