I’m hunting for a checkbox component for use in my interface. Is there not a standard juce version? What’s the best way to make one out of currently available options? An ungrouped round radio button? I didn’t see anything similar in the juce demo.

OK, I see. Checkboxes are really ToggleButtons.
I had my GUI blinders on, and expected that the title of a button would always appear inside the colored background of a button, so they wouldn’t end up looking like checkboxes.