We propose new form control element representing ‘toggle switch’. It’s similar to existing
<input type=checkbox>, but it should have different appearance, semantics, and customizability. It was initially requested in a whatwg/html issue.
We’d like to move the explainer in my GitHub repository to WICG.