Alexander Semke requested to merge work/separate-default-and-content-dock-managers into master Jul 06, 2024

Description

Use two different dock manager to separate the handling of the default dock widgets and the content dock widgets created by the user.

Conformity

~~Changelog entry~~
~~Unit tests~~
~~Update INSTALL~~
~~Downport~~
Fixes:

When external dependencies are removed

~~Reporting to ...~~