소스 검색

Widget disposed exception fixed

Andreas Mülder 13 년 전
부모
커밋
df768db2a1
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      plugins/org.yakindu.sct.ui.navigator/src/org/yakindu/sct/ui/navigator/StatechartNavigatorContentProvider.java

+ 1 - 1
plugins/org.yakindu.sct.ui.navigator/src/org/yakindu/sct/ui/navigator/StatechartNavigatorContentProvider.java

@@ -69,7 +69,7 @@ public class StatechartNavigatorContentProvider implements
 		});
 		myViewerRefreshRunnable = new Runnable() {
 			public void run() {
-				if (myViewer != null) {
+				if (myViewer != null && !myViewer.getControl().isDisposed()) {
 					myViewer.refresh();
 				}
 			}