/** * Invokes special keys. * * @param e key event * @return {@code true} if special key was processed */ private boolean specialKey(final KeyEvent e) { if (PREVTAB.is(e)) { gui.editor.tab(false); } else if (NEXTTAB.is(e)) { gui.editor.tab(true); } else if (CLOSETAB.is(e)) { gui.editor.close(null); } else if (search != null && ESCAPE.is(e)) { search.deactivate(true); } else { return false; } e.consume(); return true; }