fix: Improve labeling of line segments

This commit is contained in:
Glen Whitney 2024-01-17 15:12:50 -08:00
parent b1e480a4be
commit 50a489ebb9

View File

@ -378,7 +378,8 @@ function jToG(
when 'line' when 'line'
(`Midpoint(${name})` (`Midpoint(${name})`
+ ` + Rotate(Direction(${name})` + ` + Rotate(Direction(${name})`
+ `*Length(${name})*0.02, pi/2)`) + `*Length(${name})*0.025/Length(Direction(${name})),`
+ `pi/2)`)
when 'circle' when 'circle'
(`Center(${name})` (`Center(${name})`
+ ` + Radius(${name})*Vector((12/13,5/13))*1.03`) + ` + Radius(${name})*Vector((12/13,5/13))*1.03`)