+ {descriptor.title && (
+
+ {descriptor.title}
+
+ )}
+
+ {/* Prominent select-all control at the head of the list. */}
+
+
+
+ {checked.size} / {options.length} selected
+
+
+
+ {options.map((o) => (
+
+ ))}
+
+
+
+
-
- {options.map((o) => (
-
- ))}
-
-
onRespond({ id: descriptor.id, control: c, ...(t !== undefined ? { text: t } : {}) })}
diff --git a/frontend/src/widgets/ReservedControls.tsx b/frontend/src/widgets/ReservedControls.tsx
index 821c1a31..83db7c8f 100644
--- a/frontend/src/widgets/ReservedControls.tsx
+++ b/frontend/src/widgets/ReservedControls.tsx
@@ -13,12 +13,12 @@ export function ReservedControls({
const [text, setText] = useState("");
if (!reserved?.length) return null;
return (
-
-
+
+
{reserved.map((c) => (
{otherOpen && (
-