From 20f9a152407e7e146681237b127d5b594d854e88 Mon Sep 17 00:00:00 2001 From: peter Date: Wed, 11 Mar 2015 15:56:43 +0100 Subject: [PATCH] don't refresh ui designer in dumb mode (EA-66193 - INRE) --- .../src/com/intellij/uiDesigner/designSurface/GuiEditor.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/plugins/ui-designer/src/com/intellij/uiDesigner/designSurface/GuiEditor.java b/plugins/ui-designer/src/com/intellij/uiDesigner/designSurface/GuiEditor.java index 7459a05a33c3..ae01999fcdc3 100644 --- a/plugins/ui-designer/src/com/intellij/uiDesigner/designSurface/GuiEditor.java +++ b/plugins/ui-designer/src/com/intellij/uiDesigner/designSurface/GuiEditor.java @@ -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(); } }