Currently running draw((0, 0) -- (0, 0), arrow=Arrow(TeXHead))
triggers a runtime error, whereas draw((0, 0) -- (0, 0), arrow=Arrow)
succeeds. This is due to a degrees() call that doesn't suppress
warnings. Here, the warnings are suppressed so that the TeXHead
version works.
Note that the appearance of the TeXHead arrow on a degenerate path
with this change is different from the other arrowheads: the former shows
up as normal, pointing right, whereas the latter all show up as a dot. This
is due to the static sizing of the TeXHead arrowhead.
Currently running
draw((0, 0) -- (0, 0), arrow=Arrow(TeXHead))
triggers a runtime error, whereasdraw((0, 0) -- (0, 0), arrow=Arrow)
succeeds. This is due to adegrees()
call that doesn't suppress warnings. Here, the warnings are suppressed so that the TeXHead version works.Note that the appearance of the TeXHead arrow on a degenerate path with this change is different from the other arrowheads: the former shows up as normal, pointing right, whereas the latter all show up as a dot. This is due to the static sizing of the TeXHead arrowhead.