merge commit
authortimkelly
Wed, 08 Sep 2010 18:06:51 -0500
changeset 1971 5906ae69a71e
parent 1970 10946e2735f8 (diff)
parent 1969 e807f63ea52a (current diff)
child 1972 74b4ef013f0f
merge commit
--- a/builder/com.nokia.carbide.cdt.builder/src/com/nokia/carbide/cdt/internal/builder/ui/PathsAndSymbolsTabComposite.java	Wed Sep 08 17:34:14 2010 -0500
+++ b/builder/com.nokia.carbide.cdt.builder/src/com/nokia/carbide/cdt/internal/builder/ui/PathsAndSymbolsTabComposite.java	Wed Sep 08 18:06:51 2010 -0500
@@ -283,7 +283,7 @@
 	}
 	
 	public static void refresh() {
-		if (treeViewer != null) {
+		if (treeViewer != null && !treeViewer.getTree().isDisposed()) {
 			treeViewer.refresh();
 		}
 	}