Author: dazarov
Date: 2008-06-27 11:45:24 -0400 (Fri, 27 Jun 2008)
New Revision: 8986
Modified:
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java
Log:
http://jira.jboss.com/jira/browse/JBIDE-2350
Modified:
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java
===================================================================
---
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java 2008-06-27
15:01:40 UTC (rev 8985)
+++
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java 2008-06-27
15:45:24 UTC (rev 8986)
@@ -244,7 +244,8 @@
public void notifyChanged(Notification notification) {
refresh();
refreshVisuals();
- ((PagesDiagramEditPart)getParent().getRoot().getViewer().getEditPartRegistry().get(getPageModel().getParent())).refresh();
+ PagesDiagramEditPart diagram =
(PagesDiagramEditPart)getParent().getRoot().getViewer().getEditPartRegistry().get(getPageModel().getParent());
+ if(diagram != null) diagram.refresh();
}
/**