public void keyPressed(KeyEvent e) {
		switch (e.getKeyCode()) {
		  case KeyEvent.VK_LEFT:
			buffer.enqueue('\002');
			break;
		  case KeyEvent.VK_RIGHT:
			buffer.enqueue('\006');
			break;
		}
		e.consume();
	}