mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Disable PSI listener for unselected designer
This commit is contained in:
+3
@@ -130,6 +130,9 @@ public final class AndroidDesignerEditorPanel extends DesignerEditorPanel {
|
||||
return;
|
||||
}
|
||||
myPSIChangeListener.setInitialize();
|
||||
if (!myPSIChangeListener.isActive()) {
|
||||
return;
|
||||
}
|
||||
myActionPanel.update();
|
||||
if (myRootComponent == null || !Comparing.equal(myProfileAction.getProfileManager().getSelectedTarget(), myLastTarget)) {
|
||||
myPSIChangeListener.activate();
|
||||
|
||||
+4
@@ -93,6 +93,10 @@ public class ExternalPSIChangeListener extends PsiTreeChangeAdapter {
|
||||
addRequest(myRunnable);
|
||||
}
|
||||
|
||||
public boolean isActive() {
|
||||
return myRunState;
|
||||
}
|
||||
|
||||
public boolean isUpdateRenderer() {
|
||||
return myUpdateRenderer;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user