commit 9e13bad6303c92f6ed67c4285bdac82ab6ad01a6
author Nick Edgar <nick> Tue Mar 23 19:51:42 2004 +0000
committer Nick Edgar <nick> Tue Mar 23 19:51:42 2004 +0000
tree 6adfcc4dc399aa8ac960cb7063cc858b98c87c9c
parent 273d6b675d9f5dd79ec5dbb3deb98c7521f36d6e

Added check for disposed image in setTitleImage

bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/part/WorkbenchPart.java

diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/part/WorkbenchPart.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/part/WorkbenchPart.java
index d46185b..597d6ff 100644
--- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/part/WorkbenchPart.java
+++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/part/WorkbenchPart.java
@@ -25,6 +25,7 @@
 import org.eclipse.ui.PlatformUI;
 import org.eclipse.ui.internal.ReferenceCounter;
 import org.eclipse.ui.internal.WorkbenchImages;
+import org.eclipse.ui.internal.misc.Assert;
 import org.eclipse.ui.plugin.AbstractUIPlugin;
 
 /**
@@ -255,6 +256,7 @@
  * @param titleImage the title image, or <code>null</code> to clear
  */
 protected void setTitleImage(Image titleImage) {
+    Assert.isTrue(titleImage == null || !titleImage.isDisposed());
 	this.titleImage = titleImage;
 	firePropertyChange(IWorkbenchPart.PROP_TITLE);
 }