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

don't refresh ui designer in dumb mode (EA-66193 - INRE)

Browse Source
This commit is contained in:
peter
2015-03-11 17:19:15 +01:00
parent 8ccfed3ef9
commit 20f9a15240
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/ui-designer/src/com/intellij/uiDesigner/designSurface/GuiEditor.java
+2 -1
View File
@@ -40,6 +40,7 @@ import com.intellij.openapi.fileEditor.FileDocumentManager;
import com.intellij.openapi.fileTypes.StdFileTypes;
import com.intellij.openapi.module.Module;
import com.intellij.openapi.module.ModuleUtil;
import com.intellij.openapi.project.DumbService;
import com.intellij.openapi.project.Project;
import com.intellij.openapi.ui.DialogBuilder;
import com.intellij.openapi.ui.ThreeComponentsSplitter;
@@ -1235,7 +1236,7 @@ public final class GuiEditor extends JPanel implements DesignerEditorPanelFacade
private class MyRefreshPropertiesRequest implements Runnable {
public void run() {
if (!getModule().isDisposed() && !getProject().isDisposed()) {
if (!getModule().isDisposed() && !getProject().isDisposed() && !DumbService.isDumb(getProject())) {
refreshProperties();
}
}