| commit | fd27e0ae263e6fc059d11a13f9ab53357008c144 | [log] [tgz] |
|---|---|---|
| author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri Jan 03 09:49:18 2020 -0500 |
| committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Fri Jan 03 09:49:18 2020 -0500 |
| tree | 907dc77915b62197bb1fefe344c8c4fe067907dc | |
| parent | 1e5289368bfe7847b05398fea9cf07bb9d3169d9 [diff] | |
| parent | 03e7d7aa38358bb61c659d3711ab1e0fe7e7cf0f [diff] |
Merge "Fix bug 482543."
diff --git a/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/EdgeActionEditPart.java b/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/EdgeActionEditPart.java index f051976..9dcb87c 100644 --- a/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/EdgeActionEditPart.java +++ b/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/EdgeActionEditPart.java
@@ -588,7 +588,7 @@ } /** - * @generated + * @generated NOT */ protected void handleNotificationEvent(Notification event) { Object feature = event.getFeature(); @@ -619,6 +619,10 @@ } } } + if (event.getEventType() == Notification.SET) { + getParent().refresh(); + refreshVisuals(); + } super.handleNotificationEvent(event); }
diff --git a/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeActionEditPart.java b/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeActionEditPart.java index 66f0986..7f2a7ac 100644 --- a/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeActionEditPart.java +++ b/plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeActionEditPart.java
@@ -588,7 +588,7 @@ } /** - * @generated + * @generated NOT */ protected void handleNotificationEvent(Notification event) { Object feature = event.getFeature(); @@ -619,6 +619,9 @@ } } } + if (event.getEventType() == Notification.SET) { + getParent().refresh(); + } super.handleNotificationEvent(event); }