Method refreshGUI

src/com/chschmid/jdotxt/gui/JdotxtGUI.java:322–326

()

	}
	
	private void refreshGUI() {
		taskList.setCompactMode(Jdotxt.userPrefs.getBoolean("compactMode", false));
		taskList.setPrependMetadata(Jdotxt.userPrefs.getBoolean("prependMetadata", false));
		setTaskBag(taskBag);
	}
	
	private void archiveTasks() {
		reset();