List of transferUndoHistory() Examples

Examples of transferUndoHistory()

org.eclipse.text.undo.IDocumentUndoManager.transferUndoHistory()
Transfers the undo history from the specified document undo manager to this undo manager. This message should only be used when it is known that the content of the document of the original undo manager when the last undo operation was recorded is the same as this undo manager's current document content, since the undo history is based on document indexes. It is the responsibility of the caller to ensure that this call is used correctly. @param manager the document undo manger whose history is to be transferred to the receiver

Examples of org.eclipse.text.undo.IDocumentUndoManager.transferUndoHistory()

              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.transferUndoHistory()

              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.