mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-02 02:58:01 +02:00
Tim Edwards
076ee09e2e
bounding box of the selection (somewhat unuseful, especially as the result gets absorbed by the tag callback), and "box select", which sets the cursor box to the bounding box of the selection (much more useful). Also corrected the "port" command so that the command "port make" will search only for non-port labels.
2 lines
7 B
Plaintext
2 lines
7 B
Plaintext
8.3.63
|