Re: arrow head adjustment

[Daniel J S. <dan...@ie...>]

Hans-Bernhard Broeker wrote:

>>The question then is, will the terminal achieve the specified line
>>width, or will it only approximate it?  In the latter case, we are no
>>further along.
>>    
>>
>
>If the terminal doesn't do an accurate job, that's too bad.  I don't think
>it's worth bothering about such terminals in terms of how to manage nicely
>drawn arrows for them.  The risk of making already inaccurate outputs even
>worse are essentially negligible, I'd say.  If all else fails, they could
>still be fixed by reporting an effective linewidth of zero plot units, and
>thus reverting to the current behaviour.
>

That's a good idea.

Dan