Allow text selection on checkbox labels

web_src/css/modules/checkbox.css

@@ -101,7 +101,6 @@ input[type="checkbox"]:indeterminate::before {
   cursor: auto;
   position: relative;
   display: block;
-  user-select: none;
 }
 
 .ui.checkbox label,

web_src/js/modules/fomantic/checkbox.ts

@@ -8,6 +8,10 @@ export function initAriaCheckboxPatch() {
     const input = el.querySelector('input');
     if (!label || !input) continue;
     linkLabelAndInput(label, input);
+    // prevent accidental text selection on double-click while allowing normal text selection
+    label.addEventListener('mousedown', (e: MouseEvent) => {
+      if (e.detail === 2) e.preventDefault();
+    });
     el.setAttribute('data-checkbox-patched', 'true');
   }
 }