Replace integer offsets with explicit values #28

Merged

zyxw59 merged 4 commits from explicit-offsets into main

2025-06-16 04:46:08 +00:00

zyxw59 commented

2025-06-16 04:38:53 +00:00

(Migrated from github.com)

Offsets specified as integer values limit the placement of routes, which can be necessary when (e.g.) lines of different width are to combine to form a single line. (This particular case coming up for a frequency map.)
Integer offsets also can cause unexpected behavior where a route's offset will shift due to the introduction of another route with a non-default width.

Instead, allowing offsets to be arbitrary floats, provides full granularity for spacing of routes, and avoids that unexpected behavior.

Offsets specified as integer values limit the placement of routes, which can be necessary when (e.g.) lines of different width are to combine to form a single line. (This particular case coming up for a frequency map.) Integer offsets also can cause unexpected behavior where a route's offset will shift due to the introduction of another route with a non-default width. Instead, allowing offsets to be arbitrary floats, provides full granularity for spacing of routes, and avoids that unexpected behavior.