I think the idea was that some terminals (particularly
metapost.trm) might want to offer fancier arrowhead styles
in the future. But you are right, none of the current
terminals use values higher than 2.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
One character patch to term.c
Logged In: YES
user_id=235620
I think the idea was that some terminals (particularly
metapost.trm) might want to offer fancier arrowhead styles
in the future. But you are right, none of the current
terminals use values higher than 2.