/**
* 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;
}
