Method keyPressed

src/bsh/util/AWTConsole.java:121–124

( KeyEvent e )

	}

	public void keyPressed( KeyEvent e ) {
		type( e.getKeyCode(), e.getKeyChar(), e.getModifiers() );
		e.consume();
	}

	public AWTConsole() {
		this(12, 80, null, null);