| commit | 6df452ce1ae0477930c545a7f4b2887ff2e04fd8 | [log] [tgz] |
|---|---|---|
| author | cbrand <cbrand> | Tue Jul 20 08:16:08 2010 +0000 |
| committer | cbrand <cbrand> | Tue Jul 20 08:16:08 2010 +0000 |
| tree | 16600c213514021c03d84194ca8afe07cf0a3c69 | |
| parent | 4a47780211ba8115786e881fa378bf87fc20c6b6 [diff] |
make protected
diff --git a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/DiagramEditor.java b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/DiagramEditor.java index 4d001e6..5f76a48 100644 --- a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/DiagramEditor.java +++ b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/DiagramEditor.java
@@ -1513,7 +1513,7 @@ } } - private void unregisterBOListener() { + protected void unregisterBOListener() { if (domainModelListener != null) { TransactionalEditingDomain eDomain = getTransactionalEditingDomain(); eDomain.removeResourceSetListener(domainModelListener);