public void KeyPressed (KeyEvent e) {
		int mod = e.getModifiersEx();
		int keycode = e.getKeyCode();
		if ((mod == KeyEvent.VK_CONTROL) && (keycode == KeyEvent.VK_W)) {