Method run

src/com/chschmid/jdotxt/gui/JdotxtGUI.java:437–441

()

		}
		
		public void run() {
			if (mode == ARCHIVE) Jdotxt.archiveTodos();
			if (mode != REFRESH_GUI) Jdotxt.loadTodos();
			EventQueue.invokeLater(new Runnable() { public void run() { setTaskBag(Jdotxt.taskBag); } });
		}
	}
	
	// Custom KeyDispatcher for global shortcuts