- Avoid "SWT Widget is disposed" error if view is closed while some background...

- Avoid "SWT Widget is disposed" error if view is closed while some background activity is going on that modifies the displayed content

org.fortiss.tooling.base.ui/trunk/src/org/fortiss/tooling/base/ui/editor/TreeViewerEditorBase.java

@@ -40,7 +40,7 @@ import org.fortiss.tooling.kernel.ui.extension.base.EditorBase;
  * @author hoelzl
  * @author $Author$
  * @version $Rev$
- * @ConQAT.Rating YELLOW Hash: C9AE2970436C1B319E0CDB08EA9A0428
+ * @ConQAT.Rating YELLOW Hash: F4153D437B33DC11F883171B1C53D548
  */
 public abstract class TreeViewerEditorBase<T extends EObject> extends EditorBase<T> {
 
@@ -122,9 +122,12 @@ public abstract class TreeViewerEditorBase<T extends EObject> extends EditorBase
 	/** Sets {@link #redraw}. */
 	public void setRedraw(boolean redraw) {
 		this.redraw = redraw;
+		if(treeViewer.getTree().isDisposed()) {
+			return;
+		}
 		treeViewer.getTree().setRedraw(redraw);
 		if(redraw) {
-			treeViewer.refresh();
+			treeViewer.refresh(true);
 		}
 	}