Option to remove dock from toolbar

Feature request

I believe currently there is no option to remove a dock using the toolbar. For instance, I could by accident add a dock to the GUI and then I would like to remove it. For the moment, I would simply hide it by resizing it relatively small.

From the CLI, this functionality is provided via

gui.remove_dock(name:str)

I would say to have this feature as a button would be very useful, but maybe rather with a dropdown menu with all currently added docks.