()
| 314 | } |
| 315 | |
| 316 | private void reloadTasks() { |
| 317 | reset(); |
| 318 | Thread starter = new Thread(new TaskLoader(TaskLoader.RELOAD)); |
| 319 | starter.start(); |
| 320 | } |
| 321 | |
| 322 | private void refreshGUI() { |
| 323 | taskList.setCompactMode(Jdotxt.userPrefs.getBoolean("compactMode", false)); |
no test coverage detected