public void keyReleased(KeyEvent e) {
        if (e.getKeyCode() == KeyEvent.VK_ENTER) {
            evaluateRegex();
        } else if (e.getKeyCode() == KeyEvent.VK_F3) {
            if (!e.isShiftDown()) jumpToNextMatch();
            else jumpToPrevMatch();
        }
    }