Add toggle in the menu bar for dock widgets #487
Hmm okay, very strange :(
So then I agree to add these menu items. But actually I would expect them in the "View" menu, not in "Tools" (tools is virtually coupled to the corresponding toolbar on the left side, it's not meant to contain other menu items). Could you update the PR accordingly?