commit - 9577217796390876e45514f7bf9442c504c5fa9a
commit + dd01367cf36ebeb53ee46fbb06b46dd39f7b5082
blob - 4c4c687b2cbfcd1b6d31bb7a9e1c332b80a83dab
blob + 35dbb4ba3ff1ea66f8a156bf8a1e973a2589fa33
--- src/S3D/WebUI.idr
+++ src/S3D/WebUI.idr
addEventListener' canvas "touchmove" (Just !(callback (handleTouchMove state)))
Just hideFloorCheckbox <- htmlElementById Input "hide_floor"
| Nothing => throwError $ Caught "hide_floor not found, or isn't an input element"
+ -- Uncheck the "hide floor" checkbox. Firefox persists checkbox states,
+ -- which could cause confusion if someone accidentally checks that.
+ checked hideFloorCheckbox .= False
pure $
MkUIContext
{ canvas = canvas