New changes to menu complicates development using gitpod

Hey folks, those new changes to the menu makes it so it auto-hides the developer options when I code using gitpod (since I’m not developing on local, and there’s that auto-hide feature now). How do I work around that?

I’ll submit a bug report on github as well.