(2020-09-29, 22:16)N. W. Perry Wrote: It might be just a matter of requiring a modifier key to un-dock as well as to re-dock, or perhaps a specific widget or handle in the panels for docking/undocking.
I think this is the best option, to require a downed ctrl key for both undocking and docking (depending on the current state).