public void keyPressed(KeyEvent evt)
	{
		int modifiers = evt.getModifiersEx();
		int keyCode = evt.getKeyCode();
		
		// Ctrl + <key>
		int onmask = KeyEvent.CTRL_DOWN_MASK;
		int offmask = KeyEvent.SHIFT_DOWN_MASK | KeyEvent.ALT_DOWN_MASK;
		
		if ((modifiers & (onmask | offmask)) == onmask)
		{
			switch(keyCode)
			{
				case KeyEvent.VK_S:
					save();
					break;
					
				case KeyEvent.VK_A:
					selectAll();
					break;
					
				case KeyEvent.VK_Q:
					quit();
					break;
					
				case KeyEvent.VK_N:
					createNewTab(null);
					break;
					
				case KeyEvent.VK_O:
					open();
					break;
					
				case KeyEvent.VK_W:
					closeCurrentTab();
					break;
			}
		}
		
		// Ctrl + Shift + <key>
		onmask = KeyEvent.CTRL_DOWN_MASK | KeyEvent.SHIFT_DOWN_MASK;
		offmask = KeyEvent.ALT_DOWN_MASK;
		
		if ((modifiers & (onmask | offmask)) == onmask)
		{
			if (keyCode == KeyEvent.VK_S)
				saveAs();
		}
		
		updateGui();
	}