()
| 66 | } |
| 67 | |
| 68 | #createDockIconSetting() { |
| 69 | const checkbox = gui.Button.create({ |
| 70 | type: 'checkbox', |
| 71 | title: 'Show Dock Icon', |
| 72 | }); |
| 73 | checkbox.setChecked(app.isDockIconVisible()); |
| 74 | checkbox.onClick = () => { |
| 75 | checkbox.setEnabled(false); |
| 76 | app.setDockIconVisible(!app.isDockIconVisible()); |
| 77 | // Showing/hiding dock is an async operation, prevent short clicks. |
| 78 | setTimeout(() => checkbox.setEnabled(true), 300); |
| 79 | }; |
| 80 | return checkbox; |
| 81 | } |
| 82 | |
| 83 | #createDashboardSetting() { |
| 84 | const view = gui.Container.create(); |
no test coverage detected