Description Kit Lo 2004-04-13 18:39:16 EDT

Inner class of AbstractTextEditor, ElementStateListener, tries to restore the 
selection in the editor after elementContentReplaced (Revert File action). See 
the following method:

public void elementContentReplaced(Object element) {
  if (element != null && element.equals(getEditorInput())) {
    Runnable r= new Runnable() {
      public void run() {
        enableSanityChecking(true);
        firePropertyChange(PROP_DIRTY);
        restoreSelection();
      }
    };
    execute(r);
  }
}

====================
However, the selection after Revert File is very unpredictable. If the bottom 
half of file was changed, the restoreSelection may work okay. If lines were 
deleted from the top half of the file, the restored selection is very 
uppredicatable.

Usually, Revert is used to start the edit session all over again (because the 
changes in the editor are all messed up). I think it's very reasonable to reset 
the curor to the beginning of the file, instead of trying restore the cursor to 
the last selection in the editor.