Method keyPressed

src/bsh/util/JConsole.java:160–163

(	KeyEvent e )

	}

	public void keyPressed(	KeyEvent e ) {
	    type( e );
	    gotUp=false;
	}

	public void keyTyped(KeyEvent e) {
	    type( e );