diff --git a/src/features/plugins/PluginsPage.module.css b/src/features/plugins/PluginsPage.module.css index 1f4b0e8d..a2764a19 100644 --- a/src/features/plugins/PluginsPage.module.css +++ b/src/features/plugins/PluginsPage.module.css @@ -380,6 +380,14 @@ min-width: 0; } +.categorySelect { + width: 100%; +} + +.detailsNotice { + margin: 0 0 12px; +} + .marketOverview { padding: 12px 16px; overflow: auto; diff --git a/src/features/plugins/PluginsPage.tsx b/src/features/plugins/PluginsPage.tsx index 1b0e9c01..2a469f51 100644 --- a/src/features/plugins/PluginsPage.tsx +++ b/src/features/plugins/PluginsPage.tsx @@ -635,7 +635,15 @@ function CategoryFilter({ detail: String(counts.get(c)), })), ]; - return + ); } /** The marketplace index URL, editable in place. */ @@ -722,7 +730,7 @@ function MarketDetails({ entry, onInstalled }: { entry: MarketPlugin; onInstalle
{!entry.compatible && ( -

+

{tx`Needs plugin API ${entry.engine}. Update OpenIDEA to install it.`}