mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Check for already disposed.
This commit is contained in:
@@ -131,6 +131,7 @@ public class IgnoredFileBean {
|
||||
|
||||
@Nullable
|
||||
private VirtualFile doResolve() {
|
||||
if (myProject == null || myProject.isDisposed()) { return null; }
|
||||
VirtualFile baseDir = myProject.getBaseDir();
|
||||
|
||||
String path = FileUtil.toSystemIndependentName(myPath);
|
||||
|
||||
@@ -210,6 +210,7 @@ public class ChangesViewManager implements ChangesViewI, JDOMExternalizable, Pro
|
||||
@Override
|
||||
public void scheduleRefresh() {
|
||||
if (ApplicationManager.getApplication().isHeadlessEnvironment()) return;
|
||||
if (myProject == null || myProject.isDisposed()) { return; }
|
||||
int was = myRepaintAlarm.cancelAllRequests();
|
||||
if (LOG.isDebugEnabled()) {
|
||||
LOG.debug("schedule refresh, was " + was);
|
||||
|
||||
Reference in New Issue
Block a user