Dock: avoid ID collisions in drag/drop; never delete dock root in unsplit_tabs (#1089)
* Dock: avoid ID collisions in drag/drop; never delete dock root in unsplit_tabs * Clean up and further harden dock logic around splitting/dragging
K
Kevin Boos committed
877234c6cff641fbf660ea4b1238e34e0874485f
Parent: 8447f56
Committed by GitHub <noreply@github.com>
on 5/21/2026, 11:40:15 PM