Remove tool windows from bar, when they are destroyed.

Authored by tfry on Jan 29 2020, 4:24 PM.

Description

Remove tool windows from bar, when they are destroyed.

This will be important once we allow loading / unloading kate plugins.
With some luck it also fixes current (non-determinate) crash on exit issues.

Details

Committed
tfryJan 29 2020, 4:24 PM
Parents
R5:f3a9c4152c20: Close any active view in toolbar, before adding a new tool view.
Branches
Unknown
Tags
Unknown