<div dir="auto">I don’t mean to change the current behavior. I just would like that the user could easily choose the code points of the glyphs to be used for those characters. Right now they are hardcoded in TTFFontReader and VectorEngine. As a preference they would be more flexible, but I can just change those methods in my image for now. I’m using all DejaVu Sans and the thick arrows look nice.</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 17 Oct 2022 at 03:38 Gerald Klix <<a href="mailto:cuis.01@klix.ch">cuis.01@klix.ch</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">Luciano,<br>
<br>
I see your problem,<br>
but these Characters only have glyphs in the<br>
DejaVu, JetBrainsMono, KiwiMaru and KurintoSans fonts.<br>
<br>
To make this work properly, we need some means<br>
to discover the aforementioned situation<br>
and switch back to the current behavior.<br>
<br>
<br>
Sorry and HTH,<br>
<br>
Gerald<br>
<br>
<br>
On 06.10.22 12:55, Luciano Notarfrancesco via Cuis-dev wrote:<br>
> What do you think about adding two preferences to set the unicode<br>
> characters to be used for displaying ^ and _? The problem I’m having is<br>
> that the arrows that we currently use are the same that are commonly used<br>
> in mathematics for morphisms, and the code gets a bit confusing in my<br>
> system, so I’d like to use the thick arrow 16r2B05 for _ and 16r2B06 for ^,<br>
> and to avoid annoying people who like the current arrows I think we could<br>
> make this a preference. Is this reasonable?<br>
> <br>
> <br>
</blockquote></div></div>