Ok, if that's the case then I would suggest not to add a user-facing font-metrics option.
+1
i'd also like to add, that we should not (ever) add an option with the
sole purpose of working around bugs.
Is it a bug?
if you consider the slightly different font sizes a bug (and i gather
you do), then we should find a solution to the bug itself (rather than provide an easy way to make everything worse).
Yes.
if you only consider them an annoyance, you might want to investigate in
creating a gui-plugin that fixes the problem.
We have a problem.
(it seems that currently, Pd-gui signals the font metrics back to
Pd-core, which will (among other things) trigger Pd-core to load it's libraries. it might be worth entangling *that*)
Yes, I cant override or change the variable “font_metrics” set @ line 127 from “pd-gui.tcl” using a gui-plugin.
Is it posible?
I still think that shipping dejavu and hard-code Pd-extended metrics is full of goodness.
Salutti, Lucarda
fgamdsr IOhannes
Mensaje telepatico asistido por maquinas.