mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
labels that are not connected to their declared layers. It's the latter type that need additional processing in ExtSubtree. Limiting this processing significantly cuts down on processing time when there are many labels in a layout, as happens with the "def read -labels" command option.