Hamburger Menu opens when clicking on other menus

leanprover-community / lean4web

The Lean 4 web editor

https://live.lean-lang.org/

Apache License 2.0

52 stars 14 forks source link

Open abentkamp opened 7 months ago

abentkamp commented 7 months ago

When clicking on the Examples / Load menus, the hamburger menu opens as well.

joneugster commented 1 month ago

There is a fix for this on dev