lean4web icon indicating copy to clipboard operation
lean4web copied to clipboard
verified publisher icon leanprover-community

Hamburger Menu opens when clicking on other menus

Open abentkamp opened this issue 2 years ago • 1 comments

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

abentkamp avatar Dec 01 '23 10:12 abentkamp

There is a fix for this on dev

joneugster avatar May 14 '24 10:05 joneugster