Ha, so close. As a work around for now, pop out one of the menus (e.g. Settings or the Tool Picker or anything else) and it should give you a little more space in the menu bar. You'll need to detach two of them to get all the document panel visible as well, but you probably won't need that as often.