diff options
Diffstat (limited to 'platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java')
-rw-r--r-- | platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java index 49b20d27a585..20a41e3a886a 100644 --- a/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java +++ b/platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerMain.java @@ -49,6 +49,7 @@ import com.intellij.openapi.util.text.StringUtil; import com.intellij.ui.*; import com.intellij.ui.border.CustomLineBorder; import com.intellij.ui.components.JBLabel; +import com.intellij.ui.speedSearch.SpeedSearchSupply; import com.intellij.util.concurrency.SwingWorker; import com.intellij.util.ui.UIUtil; import com.intellij.util.ui.update.UiNotifyConnector; @@ -663,7 +664,7 @@ public abstract class PluginManagerMain implements Disposable { app.restart(true); } else { - app.exit(true); + app.exit(false, true); } } }).notify(project); @@ -676,6 +677,7 @@ public abstract class PluginManagerMain implements Disposable { } public void filter() { + getPluginTable().putClientProperty(SpeedSearchSupply.SEARCH_QUERY_KEY, getFilter()); pluginsModel.filter(getFilter().toLowerCase()); TableUtil.ensureSelectionExists(getPluginTable()); } |