Autohide the options bar, or have a larger menu button?

What do y’all think about an option to have the left hand bar open when you hover your mouse over the left side of the window and auto-hide when you move it away? Or maybe have a few pixels along the entire left hand side that open and close the menu, instead of just a tiny button at the top?


That might work pretty well, i’ll play around with it after some of these bugs are squashed :slight_smile: