public void keyPressed(KeyEvent keyevent) {
}
public void keyReleased(KeyEvent arg0) {
FindReplace findReplace = fbedit.getFindReplace();
int key = arg0.getKeyCode();
/* Insert Mode */
if (key == 155) {
fbedit.toggleInsertMode();
fbedit.selectCaret(pane2);
}
/* F3 - Weitersuchen */
if (key == KeyEvent.VK_F3) {
if (findReplace != null)
findReplace.searchon();
}
}
});
}