The select (list, popup) UI in prompts is implemented as a checkbox list, which is contrary to the semantics of the control (in single-selection mode, at least). In that context, the UI should be a set of radio buttons, or on iOS by convention it would be a popup (roller) list. It would also take up much less vertical space that way. Checkboxes aren’t the right control for single-selection option pickers. Any chance we’ll see a change there?