diff options
| author | vlorenzo | 2013-02-01 14:50:36 +0000 |
|---|---|---|
| committer | vlorenzo | 2013-02-01 14:50:36 +0000 |
| commit | fae109e4ddcfdf1613bd15fca93fe7ed1af8f3cc (patch) | |
| tree | c5415d0c248ddec6141c978d037d61b6204ea524 /extraplugins/uml | |
| parent | 6eee3d8f00efaf79ba2985adca37c6334235fb19 (diff) | |
| download | org.eclipse.papyrus-fae109e4ddcfdf1613bd15fca93fe7ed1af8f3cc.tar.gz org.eclipse.papyrus-fae109e4ddcfdf1613bd15fca93fe7ed1af8f3cc.tar.xz org.eclipse.papyrus-fae109e4ddcfdf1613bd15fca93fe7ed1af8f3cc.zip | |
399714: [EMF-Compare] Papyrus must provide an editor to compare 2 elements of 2 opened models
https://bugs.eclipse.org/bugs/show_bug.cgi?id=399714
Diffstat (limited to 'extraplugins/uml')
| -rw-r--r-- | extraplugins/uml/compare/org.eclipse.papyrus.infra.emf.compare.common/src/org/eclipse/papyrus/infra/emf/compare/common/editor/AbstractPapyrusCompareEditor.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extraplugins/uml/compare/org.eclipse.papyrus.infra.emf.compare.common/src/org/eclipse/papyrus/infra/emf/compare/common/editor/AbstractPapyrusCompareEditor.java b/extraplugins/uml/compare/org.eclipse.papyrus.infra.emf.compare.common/src/org/eclipse/papyrus/infra/emf/compare/common/editor/AbstractPapyrusCompareEditor.java index 3696ede992c..c6a4b893771 100644 --- a/extraplugins/uml/compare/org.eclipse.papyrus.infra.emf.compare.common/src/org/eclipse/papyrus/infra/emf/compare/common/editor/AbstractPapyrusCompareEditor.java +++ b/extraplugins/uml/compare/org.eclipse.papyrus.infra.emf.compare.common/src/org/eclipse/papyrus/infra/emf/compare/common/editor/AbstractPapyrusCompareEditor.java @@ -261,7 +261,7 @@ public abstract class AbstractPapyrusCompareEditor extends CompareEditor impleme */
public void historyNotification(final OperationHistoryEvent event) {
int eventType = event.getEventType();
- if(eventType == 10 || eventType == 9) {
+ if(eventType == OperationHistoryEvent.UNDONE || eventType == OperationHistoryEvent.REDONE) {
if(this.lastEvent != event) {
this.lastEvent = event;
if(!event.getOperation().getLabel().equals("Create CompareEditor")) {//TODO improve it!
@@ -269,6 +269,8 @@ public abstract class AbstractPapyrusCompareEditor extends CompareEditor impleme }
}
}
+ //after each action, the status could have change
+ firePropertyChange(PROP_DIRTY);
}
private void resetInput() {
|