mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
are handled. Properties were previously only character strings, which had become cumbersome because properties were being used for mask hints and bounding boxes, with the necessity of constantly converting values from string to integer and back, which can cause a performance impact as well as just being messy. The main difference to the command is the addition of an optional first keyword argument for the property type, which can be "string", "integer", "dimension", or "double". All types except "string" can consist of multiple values. Multiple values can be specified as separate arguments on the command line, so that, for example, values of FIXED_BBOX or MASKHINTS_* no longer need to be quoted. In addition, this completes the handling of "units" implemented recently, as all properties of the type "dimension" can be entered in the current units, will display in the current units, and will scale with the database.