941942943944945946947948949950951
AdvancedCALEditor.SymbolRenamerListener renameListener = new AdvancedCALEditor.SymbolRenamerListener() { public void renameCanceled(String oldName) { // Abort the state edit stateEdit.die(); // Enable recording edits after the next parse tick editEnableTimer.start(); }