()
| 20 | shortcutEditor: ShortcutEditor; |
| 21 | |
| 22 | constructor() { |
| 23 | super({pressEscToClose: true}); |
| 24 | |
| 25 | this.contentView.setStyle({padding: basicStyle.padding}); |
| 26 | |
| 27 | this.tab = gui.Tab.create(); |
| 28 | this.tab.setStyle({flex: 1}); |
| 29 | this.contentView.addChildView(this.tab); |
| 30 | |
| 31 | const settings = gui.Container.create(); |
| 32 | settings.setStyle({ |
| 33 | gap: basicStyle.padding / 2, |
| 34 | padding: basicStyle.padding, |
| 35 | }); |
| 36 | this.tab.addPage('Settings', settings); |
| 37 | settings.addChildView(this.#createAppTraySetting()); |
| 38 | if (process.platform == 'darwin') |
| 39 | settings.addChildView(this.#createDockIconSetting()); |
| 40 | settings.addChildView(this.#createDashboardSetting()); |
| 41 | |
| 42 | this.tab.addPage('APIs', this.#createAPISetting()); |
| 43 | this.tab.addPage('Extensions', this.#createExtensionSetting()); |
| 44 | |
| 45 | this.resizeToFitContentView({width: 500, height: 400}); |
| 46 | this.window.setTitle('Settings'); |
| 47 | } |
| 48 | |
| 49 | destructor() { |
| 50 | super.destructor(); |
nothing calls this directly
no test coverage detected