private void editorKeyTyped(java.awt.event.KeyEvent evt) {//GEN-FIRST:event_editorKeyTyped

    if ((evt.isControlDown() && (evt.getKeyChar() == (char) 24 || evt.getKeyChar() == (char) 22)) || (!evt.isActionKey() && !evt.isControlDown() && !evt.isAltDown())) {
        updateLineNum();
        if (saved) {
            saved = false;
            updateTab();
        }
        updateUndoRedo();
    }
}//GEN-LAST:event_editorKeyTyped