mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
EA-37161
This commit is contained in:
+5
-1
@@ -363,7 +363,7 @@ public abstract class DesignerEditorPanel extends JPanel implements DataProvider
|
||||
}
|
||||
|
||||
public final void showError(@NotNull String message, @NotNull Throwable e) {
|
||||
if (getProject().isDisposed()) {
|
||||
if (isProjectClosed()) {
|
||||
return;
|
||||
}
|
||||
|
||||
@@ -540,6 +540,10 @@ public abstract class DesignerEditorPanel extends JPanel implements DataProvider
|
||||
return myProject;
|
||||
}
|
||||
|
||||
public final boolean isProjectClosed() {
|
||||
return myProject.isDisposed() || !myProject.isOpen();
|
||||
}
|
||||
|
||||
public EditableArea getSurfaceArea() {
|
||||
return mySurfaceArea;
|
||||
}
|
||||
|
||||
+1
-1
@@ -102,7 +102,7 @@ public class ExternalPSIChangeListener extends PsiTreeChangeAdapter {
|
||||
myAlarm.addRequest(new Runnable() {
|
||||
@Override
|
||||
public void run() {
|
||||
if (myRunState && myInitialize && !myDesigner.getProject().isDisposed()) {
|
||||
if (myRunState && myInitialize && !myDesigner.isProjectClosed()) {
|
||||
runnable.run();
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user