mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-10-06 18:02:52 +02:00
extra option "-default" that allows defaults to be set for any label property other than text or port-related properties. Subsequently, the command "label <text>" will apply the given defaults to the label. This allows a simpler way to create rendered labels from the command line without remembering all of the arguments to the extended "label" command.