()
| 292 | } |
| 293 | |
| 294 | public static void closeStartMenu() { |
| 295 | if (!(Desktop.startMenuClose == null)) { |
| 296 | if (Desktop.startMenuIsOpen) { |
| 297 | Desktop.startMenuClose.run(); |
| 298 | Desktop.startMenuIsOpen = false; |
| 299 | } |
| 300 | } |
| 301 | } |
| 302 | |
| 303 | public static void setDefaultStartMenu() { |
| 304 | BorderPane window = new BorderPane(); |
no test coverage detected