commit b87bfea06c090fe0402f3e38c5d2c35c81e25ff8
author cbateman <cbateman> Sat Apr 18 00:00:43 2009 +0000
committer cbateman <cbateman> Sat Apr 18 00:00:43 2009 +0000
tree 7cd0bd39c8f70df3ca282f72a156a81c9f1c2b0d
parent 6154c121811bb1290f485c67bcfd462bd0ab30ff

Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=272780.

jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java

diff --git a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java b/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
index d696e50..35d84d8 100644
--- a/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
+++ b/jsf/plugins/org.eclipse.jst.pagedesigner/src/org/eclipse/jst/pagedesigner/editors/HTMLEditor.java
@@ -901,7 +901,8 @@
 
 	private IPropertySheetPage getPropertySheetPage()
     {
-        if (_tabbedPropSheet == null)
+        if (_tabbedPropSheet == null || _tabbedPropSheet.getControl() == null 
+                || _tabbedPropSheet.getControl().isDisposed())
         {
             IPropertySheetPageFactory factory = getPageFactory();
             if (factory != null)