@Override
	public void keyPressed(KeyEvent k) {
		//System.out.println("Key pressed: " + k.getKeyCode());
		if (k.getKeyCode() != 17 && !this.ctrl) {
			this.saved = false;
		}
		else if (k.getKeyCode() == 17)
			this.ctrl = true;
	}