Andreas L. Delmelle wrote:
Problem 2: The better solution is to eliminate the font-metrics file
completely, have the config point to the font file itself, and
read the font
file on-the-fly to get the metric information.
...
I like this idea even better... I always wondered why you first had to
generate the metrics file
This is in the archives. The point is that you can edit the metrics
files, and there are fonts out there which actually need this.
Of course, we could have both.
J.Pietschmann
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
