commit dd01367cf36ebeb53ee46fbb06b46dd39f7b5082
from: James Cook <falsifian@falsifian.org>
date: Mon Jan 17 23:11:30 2022 UTC

Uncheck "hide floor" on startup.

commit - 9577217796390876e45514f7bf9442c504c5fa9a
commit + dd01367cf36ebeb53ee46fbb06b46dd39f7b5082
blob - 4c4c687b2cbfcd1b6d31bb7a9e1c332b80a83dab
blob + 35dbb4ba3ff1ea66f8a156bf8a1e973a2589fa33
--- src/S3D/WebUI.idr
+++ src/S3D/WebUI.idr
@@ -133,6 +133,9 @@ init =
      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