MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

IJPL-159836 Settings | Plugins: clicking on filter does not close the menu

Browse Source 
GitOrigin-RevId: a7d1bf951c6b493fabc2b6d1406e963f6b21130d
This commit is contained in:
Alexander Lobas
2024-08-08 13:27:46 +02:00
committed by intellij-monorepo-bot
parent d9d1f0fe08
commit a9950b4754
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platform/platform-impl/src/com/intellij/ide/plugins/PluginManagerConfigurable.java
View File

@@ -1695,6 +1695,7 @@ public final class PluginManagerConfigurable
private MarketplaceSortByAction(@NotNull SortBy option) {
super(option.getPresentableNameSupplier());
getTemplatePresentation().setKeepPopupOnPerform(KeepPopupOnPerform.IfRequested);
myOption = option;
}
@@ -1756,6 +1757,7 @@ public final class PluginManagerConfigurable
private InstalledSearchOptionAction(@NotNull InstalledSearchOption option) {
super(option.myPresentableNameSupplier);
getTemplatePresentation().setKeepPopupOnPerform(KeepPopupOnPerform.IfRequested);
myOption = option;
}