Re: arrow head adjustment

[Hans-Bernhard B. <br...@ph...>]

On Fri, 5 Dec 2003, Daniel J Sebald wrote:

> Did anyone have any ideas for getting the
> width of a line in terms of plot units from the
> terminal?

I don't think there is any generic way of doing that.  There's an
awful lot of copy-pasted code in the terminal drivers which just has
different variable names, and no generic data structure for internal 
variables even for cases like this that could use common basic routines
like "do_linewidth_by_saving_value()" as their term->linewidth() API
implementation. 

It may not even be the case that all relevant drivers _have_ the linewidth
stored in any variable in the first place.  PostScript-like ones could
just have written out a postscript command that sets the linewidth and
forgot about it...

This may need a re-design of at least the arrow-drawing part of the 
terminal API to work it out.