Examples of IDocumentUndoManager

org.eclipse.text.undo.IDocumentUndoManager
Interface for a document undo manager. Tracks changes in a document and builds a history of text commands that describe the undoable changes to the document.
Clients must explicitly connect to the undo manager to express their interest in the undo history. Clients should disconnect from the undo manager when they are no longer interested in tracking the undo history. If there are no clients connected to the undo manager, it will not track the document's changes and will dispose of any history that was previously kept.

Clients may also listen to the undo manager for notifications before and after undo or redo events are performed. Clients must connect to the undo manager in addition to registering listeners.

Clients may implement this interface.
@see DocumentUndoManagerRegistry @see IDocumentUndoListener @see org.eclipse.jface.text.IDocument @since 3.2

Examples of org.eclipse.text.undo.IDocumentUndoManager

    TextEdit edit = saveActions.createSaveAction(document, changedRegions);
    if (edit == null) {
      return;
    }
    try {
      IDocumentUndoManager manager = getDocumentUndoManager(document);
      manager.beginCompoundChange();
      edit.apply(document);
      manager.endCompoundChange();
    } catch (Throwable t) {
      throw new CoreException(error(t));
    }
  }

View Full Code Here

Examples of org.eclipse.text.undo.IDocumentUndoManager

            if (movedElement == null || movedElement instanceof IEditorInput) {
              rememberSelection();


              final IDocumentProvider d= getDocumentProvider();
              final String previousContent;
              IDocumentUndoManager previousUndoManager=null;
              IDocument changed= null;
              boolean wasDirty= isDirty();
              changed= d.getDocument(getEditorInput());
              if (changed != null) {
                if (wasDirty)
                  previousContent= changed.get();
                else
                  previousContent= null;
                
                previousUndoManager= DocumentUndoManagerRegistry.getDocumentUndoManager(changed);
                if (previousUndoManager != null)
                  previousUndoManager.connect(this);
              }
              else
                previousContent= null;
              
              setInput((IEditorInput) movedElement);
              
              // The undo manager needs to be replaced with one for the new document.
              // Transfer the undo history and then disconnect from the old undo manager.
              if (previousUndoManager != null) {
                IDocument newDocument= getDocumentProvider().getDocument(movedElement); 
                if (newDocument != null) {
                  IDocumentUndoManager newUndoManager= DocumentUndoManagerRegistry.getDocumentUndoManager(newDocument);
                  if (newUndoManager != null)
                    newUndoManager.transferUndoHistory(previousUndoManager);
                }
                previousUndoManager.disconnect(this);
              }


              if (wasDirty && changed != null) {

View Full Code Here

Examples of org.eclipse.text.undo.IDocumentUndoManager

            if (movedElement == null || movedElement instanceof IEditorInput) {
              rememberSelection();


              final IDocumentProvider d= getDocumentProvider();
              final String previousContent;
              IDocumentUndoManager previousUndoManager=null;
              IDocument changed= null;
              boolean wasDirty= isDirty();
              changed= d.getDocument(getEditorInput());
              if (changed != null) {
                if (wasDirty)
                  previousContent= changed.get();
                else
                  previousContent= null;


                previousUndoManager= DocumentUndoManagerRegistry.getDocumentUndoManager(changed);
                if (previousUndoManager != null)
                  previousUndoManager.connect(this);
              }
              else
                previousContent= null;


              setInput((IEditorInput) movedElement);


              // The undo manager needs to be replaced with one for the new document.
              // Transfer the undo history and then disconnect from the old undo manager.
              if (previousUndoManager != null) {
                IDocument newDocument= getDocumentProvider().getDocument(movedElement);
                if (newDocument != null) {
                  IDocumentUndoManager newUndoManager= DocumentUndoManagerRegistry.getDocumentUndoManager(newDocument);
                  if (newUndoManager != null)
                    newUndoManager.transferUndoHistory(previousUndoManager);
                }
                previousUndoManager.disconnect(this);
              }


              if (wasDirty && changed != null) {

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.