>> 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.
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
