mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-09-02 11:08:30 +02:00
attached to a label in a GDS input file; the scalefactor that was being used is reset at the beginning of a GDS read, and so becomes invalid after a database rescaling, resulting in improperly scaled label geometry if "gds read" is used more than once.