<div dir="auto">Perhaps instead of the useST80Glyphs boolean in Tahoe displayUtf32: method we could pass a translation table, a WordArray with pairs of code points to replace when displaying. Juan, what do you think?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 17 Oct 2022 at 13:06 Luciano Notarfrancesco <<a href="mailto:luchiano@gmail.com">luchiano@gmail.com</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)"><div dir="auto">I changed those methods but still couldn’t get it to work. Now I see this is hardcoded in the VectorEngine plugin. Juan, could we make this configurable?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 17 Oct 2022 at 04:23 Gerald Klix <<a href="mailto:cuis.01@klix.ch" target="_blank">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)">On 16.10.22 22:54, Luciano Notarfrancesco wrote:<br>
> I don’t mean to change the current behavior. I just would like that the<br>
> user could easily choose the code points of the glyphs to be used for those<br>
> characters. Right now they are hardcoded in TTFFontReader and VectorEngine.<br>
> As a preference they would be more flexible, but I can just change those<br>
> methods in my image for now. I’m using all DejaVu Sans and the thick arrows<br>
> look nice.<br>
Yes, that was my initial impression; I even started<br>
to write an encouraging E-mail.<br>
Then I tried some other fonts and discovered that the fonts<br>
mentioned below do not have the necessary glyphs.<br>
<br>
Perhaps a dictionary that maps the font-name to code-point<br>
substitution mapping, would be a general solution.<br>
Actually we also have to look at the syntactic context ...<br>
<br>
Anyway, I like the thicker arrows that DejaVu provides<br>
and I am willing to help to find a solution.<br>
> <br>
> On Mon, 17 Oct 2022 at 03:38 Gerald Klix <<a href="mailto:cuis.01@klix.ch" target="_blank">cuis.01@klix.ch</a>> wrote:<br>
> <br>
>> 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>
>> ^,<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>
>><br>
> <br>
<br>
</blockquote></div></div>
</blockquote></div></div>