/** * Returns the undo modification stamp. * * @return the undo modification stamp * @since 3.1 */ @Override protected long getUndoModificationStamp() { if (fStart > -1) return super.getUndoModificationStamp(); else if (fCommands.size() > 0) return fCommands.get(0).getUndoModificationStamp(); return fUndoModificationStamp; }
/** * Returns the undo modification stamp. * * @return the undo modification stamp * @since 3.1 */ @Override protected long getUndoModificationStamp() { if (fStart > -1) return super.getUndoModificationStamp(); else if (fCommands.size() > 0) return fCommands.get(0).getUndoModificationStamp(); return fUndoModificationStamp; }
@Override public boolean canRedo() { if (isConnected() && isValid()) { IDocument doc= fTextViewer.getDocument(); if (doc instanceof IDocumentExtension4) { long docStamp= ((IDocumentExtension4)doc).getModificationStamp(); return docStamp == IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP || docStamp == getUndoModificationStamp(); } // if there is no timestamp to check, simply return true per the 3.0.1 behavior return true; } return false; }
@Override public boolean canRedo() { if (isConnected() && isValid()) { IDocument doc= fTextViewer.getDocument(); if (doc instanceof IDocumentExtension4) { long docStamp= ((IDocumentExtension4)doc).getModificationStamp(); return docStamp == IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP || docStamp == getUndoModificationStamp(); } // if there is no timestamp to check, simply return true per the 3.0.1 behavior return true; } return false; }