public void focusGained(FocusEvent e) {
		hasFocus = true;
		if (menuBar != null) {
			if (actionListener == null) {
				actionListener = new ConsoleActionListener(console);
			}
			menuBar.setFocusedListener(actionListener);
			console.updateMenuBar(menuBar);
		}
	}