private void closeWin()
    {
       if (!editedOK && newElement)
       {
            dFAMainWin.getDfaSim().getDfaEditor().deleteState(state, false);
       }
       dFAMainWin.handleCloseEditWindow();
    }