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

IDEA-142615 Configure link in Git "Push Commits" dialog does not jump to Force Push configuration

Browse Source 
Update filter *after* showing the specified configurable to filter out it correctly
This commit is contained in:
Sergey Malenkov
2015-07-16 19:33:13 +03:00
parent 0e340425b7
commit b53292e650
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsEditor.java
+7 -3
View File
@@ -63,7 +63,7 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
private final SpotlightPainter mySpotlightPainter;
private final Banner myBanner;
SettingsEditor(Disposable parent, Project project, ConfigurableGroup[] groups, Configurable configurable, String filter) {
SettingsEditor(Disposable parent, Project project, ConfigurableGroup[] groups, Configurable configurable, final String filter) {
super(parent);
myProperties = PropertiesComponent.getInstance(project);
@@ -248,8 +248,12 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
configurable = ConfigurableVisitor.ALL.find(groups);
}
}
myFilter.update(filter, false, true);
myTreeView.select(configurable);
myTreeView.select(configurable).doWhenDone(new Runnable() {
@Override
public void run() {
myFilter.update(filter, false, true);
}
});
Disposer.register(this, myTreeView);
installSpotlightRemover();
}