mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Move delayed request to update a spotlight to more appropriate place
This commit is contained in:
+11
-15
@@ -248,21 +248,7 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
|
||||
}
|
||||
}
|
||||
myFilter.update(filter, false, true);
|
||||
myTreeView.select(configurable).doWhenProcessed(new Runnable() {
|
||||
@Override
|
||||
public void run() {
|
||||
if (!myDisposed) {
|
||||
new Alarm().addRequest(new Runnable() {
|
||||
@Override
|
||||
public void run() {
|
||||
if (!myDisposed) {
|
||||
mySpotlightPainter.updateNow();
|
||||
}
|
||||
}
|
||||
}, 300);
|
||||
}
|
||||
}
|
||||
});
|
||||
myTreeView.select(configurable);
|
||||
Disposer.register(this, myTreeView);
|
||||
}
|
||||
|
||||
@@ -330,6 +316,16 @@ final class SettingsEditor extends AbstractEditor implements DataProvider {
|
||||
myEditor.getResetAction().setEnabled(myFilter.myContext.isModified(configurable) || exception != null);
|
||||
myEditor.setError(exception);
|
||||
}
|
||||
if (configurable != null) {
|
||||
new Alarm().addRequest(new Runnable() {
|
||||
@Override
|
||||
public void run() {
|
||||
if (!myDisposed && mySpotlightPainter != null) {
|
||||
mySpotlightPainter.updateNow();
|
||||
}
|
||||
}
|
||||
}, 300);
|
||||
}
|
||||
}
|
||||
|
||||
void checkModified(Configurable configurable) {
|
||||
|
||||
Reference in New Issue
Block a user