1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
use *;
/// One entry of the [`euv_checkbox_group`] option list.
///
/// Carries the machine value stored in the checked-values signal, the label
/// the user reads, and whether the option can be toggled at all.
/// Props for the [`euv_checkbox_group`] component.
///
/// The checked values live in a caller-owned `Signal<Vec<String>>` so the
/// group takes part in two-way binding with the rest of the page; the
/// group reads that vector once per render to decide which markers are
/// ticked.