swarm-ui: the permissions box lists every permission instead of a narrow scroll area

The checkbox list was capped at 12em and scrolled, and the box shrinks the
list to its widest label, so the scrollbar sat in the middle of the popover
with the lower permissions hidden. The permissions are a short fixed list:
MultiselectFilterOptions takes scrollable={false} and the permissions box
uses it. Filter lists that can grow long keep the scroll area.

frontend/packages/swarm-ui/src/agent/detail/AgentPermissions.tsx

@@ -224,6 +224,7 @@ export function AgentPermissions({
               filter={{ values: ticked, negate: false }}
               onToggle={(v) => void toggle(v)}
               disabled={busy}
+              scrollable={false}
             />
           </div>
         ) : (

frontend/packages/swarm-ui/src/ui/multiselect-filter/MultiselectFilter.css

@@ -10,6 +10,10 @@
   max-height: 12em;
   overflow-y: auto;
 }
+.ui-multiselect-filter-options-all {
+  max-height: none;
+  overflow-y: visible;
+}
 .ui-multiselect-filter-checkbox {
   display: flex;
   align-items: center;

frontend/packages/swarm-ui/src/ui/multiselect-filter/MultiselectFilter.tsx

@@ -31,15 +31,24 @@ export function MultiselectFilterOptions({
   filter,
   onToggle,
   disabled = false,
+  scrollable = true,
 }: {
   options: string[];
   filter: MultiselectFilterState;
   onToggle: (value: string) => void;
   /** Greys the boxes out, e.g. while a change is being saved. */
   disabled?: boolean;
+  /** A long list scrolls inside its box. Off: every option shows, for a short
+   * fixed list that a scroll area would only hide part of. */
+  scrollable?: boolean;
 }) {
   return (
-    <div class="ui-multiselect-filter-options">
+    <div
+      class={
+        "ui-multiselect-filter-options" +
+        (scrollable ? "" : " ui-multiselect-filter-options-all")
+      }
+    >
       {options.map((v) => (
         <label key={v} class="ui-multiselect-filter-checkbox">
           <input