mirror of
https://github.com/storytold/vectorcraft.git
synced 2026-11-11 02:19:56 -06:00
side: 5 (or true, or a list) docked Tools on the side it docked at last; it is now an error like any other side but left/right/Start/End, and leaves the panel where it is. null still means the last side.