![Owen W. Taylor](/assets/img/avatar_default.png)
Make calling workspace.setReservedSlot(null) do nothing if the slot was already null; this improves efficiency and more importantly chills out some weird reentrancy at the end of drag and drop that removes a window from a workspace.
Make calling workspace.setReservedSlot(null) do nothing if the slot was already null; this improves efficiency and more importantly chills out some weird reentrancy at the end of drag and drop that removes a window from a workspace.