When deleting a PanelDockWidget directly (i.e. not using the corresponding menu action), a dangling pointer was maintained (causing a crash e.g. on next Save) and the menu action wasn't removed.
Now, if the dock is removed, the cleanup happens as well.
When deleting a PanelDockWidget directly (i.e. not using the corresponding menu action), a dangling pointer was maintained (causing a crash e.g. on next Save) and the menu action wasn't removed. Now, if the dock is removed, the cleanup happens as well.