@Override
      public void stateChanged(ChangeEvent e) {
        saveSelectedEditor();
        if (myHistory != null) {
          myHistory.pushQueryPlace();
        }
      }
@Override
      public void stateChanged(ChangeEvent e)