MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

check disposed

Browse Source
This commit is contained in:
Vladimir Krivosheev
2013-10-24 20:03:22 +02:00
parent 994720779b
commit ec1a863029
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/compiler/impl/src/com/intellij/compiler/impl/ProblemsViewImpl.java
+3 -2
View File
@@ -21,6 +21,7 @@ import com.intellij.ide.errorTreeView.ErrorTreeElement;
import com.intellij.ide.errorTreeView.ErrorViewStructure;
import com.intellij.ide.errorTreeView.GroupingElement;
import com.intellij.openapi.Disposable;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.compiler.CompileScope;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.util.Disposer;
@@ -153,12 +154,12 @@ public class ProblemsViewImpl extends ProblemsView{
}
private void updateIcon(final boolean active) {
UIUtil.invokeLaterIfNeeded(new Runnable() {
ApplicationManager.getApplication().invokeLater(new Runnable() {
@Override
public void run() {
ToolWindowManager.getInstance(myProject).getToolWindow(PROBLEMS_TOOLWINDOW_ID).setIcon(active ? myActiveIcon : myPassiveIcon);
}
});
}, myProject.getDisposed());
}
@Override