public void keyPressed(final KeyEvent e) { if (!TerminalAction.processEvent(TerminalPanel.this, e)) { processTerminalKeyPressed(e); } }
public void keyPressed(final KeyEvent e) { if (!TerminalAction.processEvent(TerminalPanel.this, e)) { processTerminalKeyPressed(e); } }