nicer cleanup of main window
use the fact that toolviews deregister themself ensure the id mapping is clean afterwards, too
parent
f9a2e475
Please register or sign in to comment
use the fact that toolviews deregister themself ensure the id mapping is clean afterwards, too