From a7cd2e80ded9c8fd38dcff30631b175e4544355d Mon Sep 17 00:00:00 2001 From: l0ng-ai <24760907+l0ng-ai@users.noreply.github.com> Date: Wed, 4 Nov 2026 16:48:32 +0800 Subject: [PATCH] fix(plugins): full-width category filter and aligned incompatibility note --- src/features/plugins/PluginsPage.module.css | 8 ++++++++ src/features/plugins/PluginsPage.tsx | 12 ++++++++++-- 2 files changed, 18 insertions(+), 2 deletions(-) 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.`}