(shortcut: string)
| 85 | } |
| 86 | |
| 87 | setDashboardShortcut(shortcut: string) { |
| 88 | if (this.dashboarShortcut) |
| 89 | gui.globalShortcut.unregister(this.shortcutId); |
| 90 | this.dashboarShortcut = shortcut; |
| 91 | if (shortcut) { |
| 92 | this.shortcutId = gui.globalShortcut.register(shortcut, () => windowManager.showNamedWindow('dashboard')); |
| 93 | } else { |
| 94 | this.shortcutId = null; |
| 95 | this.dashboarShortcut = null; |
| 96 | } |
| 97 | this.saveConfig(); |
| 98 | } |
| 99 | } |
| 100 | |
| 101 | export default new App(); |
no test coverage detected