2 Commits

Author	SHA1	Message	Date
Robin	de276b1fc3	Annotate the default device with a label	2024-12-13 15:22:44 -05:00
Robin	38085baab8	Replace device dropdowns with radio buttons ... This is closer to what the designs actually want device settings to look like, and it avoids the visual glitch in which the dropdown would render underneath the slider.	2024-11-20 09:44:32 -05:00