()
| 448 | } |
| 449 | |
| 450 | private addTextBoxes() { |
| 451 | this.add( |
| 452 | new Textbox(this.root.find('.editorsFFont'), 'editorsFFont'), |
| 453 | 'Consolas, "Liberation Mono", Courier, monospace', |
| 454 | ); |
| 455 | } |
| 456 | |
| 457 | private handleThemes() { |
| 458 | const themeSelect = this.root.find('.theme'); |
no test coverage detected