v20200331-nightly
93f6f1a2 · Make the hamburger button in the toolbelt open on mouse-down ·