<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Martin Frb via lazarus <<a href="mailto:lazarus@lists.lazarus-ide.org">lazarus@lists.lazarus-ide.org</a>> schrieb am So., 4. Okt. 2020, 18:05:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div>
<div>On 04/10/2020 10:14, Mr Bee wrote:<br>
</div>
<blockquote type="cite">
<div style="font-family:Helvetica Neue,Helvetica,Arial,sans-serif;font-size:16px">
<div>
<div dir="ltr">If it does work, would you
please submit it as a patch for the next release? At least,
add a note that the font ligatures feature only supports
monospaced fonts and only works on Windows. It's better than
nothing.</div>
<br>
</div>
</div>
</blockquote>
revision 63951<br>
<br>
Windows only, compile with -dWINDOWS_LIGATURE<br>
Tested with Cascadia.<br>
<br>
If someone wants to add an option "show ligatures" ($IFDEF WINDOWS}
to the IDE options (Editor > Display / like the anti aliasing
option), then the feature can depend on that, and no longer needs
the define.<br></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Thank you! Will test when I find the time. :) </div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>
<br>
<br>
<div>On 02/10/2020 22:48, Sven Barth via
lazarus wrote:<br>
</div>
<blockquote type="cite"> I'm
using Microsoft's Cascadia Code<br>
</blockquote>
<br>
According to my tests (libre office) Cascadia Mono does not do
ligatures, but normal Cascadia works.</div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Yes, Cascadia Mono is without ligatures, Cascadia Code is with them. </div><div dir="auto"><br></div><div dir="auto">Regards, </div><div dir="auto">Sven </div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>