public void setHotKeys(Display display) {

		display.addFilter(SWT.KeyDown, new Listener() {

			public void handleEvent(Event e) {
				// Ctrl + a: display all task
				if ((e.stateMask == SWT.CTRL) && (e.keyCode == 97)) {
					addBoldTextInCommandHistory(commandHistory, "display all");
					displayFeedback(uiSwitch.executeCommand("display all"));
				}
				// Ctrl + z: undo
				else if ((e.stateMask == SWT.CTRL) && (e.keyCode == 122)) {
					addBoldTextInCommandHistory(commandHistory, "undo");
					displayFeedback(uiSwitch.executeCommand("undo"));
				}
				// Ctrl + p: display pending task
				else if ((e.stateMask == SWT.CTRL) && (e.keyCode == 112)) {
					addBoldTextInCommandHistory(commandHistory,
							"display pending");
					displayFeedback(uiSwitch.executeCommand("display pending"));
				}
				// Ctrl + u: display unfinished task
				else if ((e.stateMask == SWT.CTRL) && (e.keyCode == 117)) {
					addBoldTextInCommandHistory(commandHistory,
							"display unfinished");
					displayFeedback(uiSwitch
							.executeCommand("display unfinished"));
				}
				// Esc: quit
				else if (e.keyCode == 27) {
					System.exit(0);
				}
			}
		});
	}