<div dir="auto">Fantastic! Thanks! I’m away from home with only my iPad, I’ll be able to try it in about 10 days.</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 21 Oct 2022 at 21:35 Juan Vuletich via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st">cuis-dev@lists.cuis.st</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)">Hi Folks,<br>
<br>
I just pushed some updates to the mechanics of how we show arrows for <br>
assignment and return.<br>
<br>
Instead of hijacking the ASCII for _ and ^ I used Shout (the syntax <br>
highlight engine) to replace them by an arbitrary glyph. This gets <br>
changed back when contents are saved or evaluated. So, files don't <br>
change at all, at least not today. This step also let me clean up some <br>
code. If in the future we choose to use Unicode for them, even in files <br>
(something I'm still unsure about pros and cons), part of the work is <br>
already done.<br>
<br>
If you want to play with these, select 'Use Unicode in Text Editors' and <br>
edit #arrowStringForAssignment and #arrowStringForReturn at will.<br>
<br>
Thanks,<br>
<br>
-- <br>
Juan Vuletich<br>
<a href="http://cuis.st" rel="noreferrer" target="_blank">cuis.st</a><br>
<a href="http://github.com/jvuletich" rel="noreferrer" target="_blank">github.com/jvuletich</a><br>
<a href="http://researchgate.net/profile/Juan-Vuletich" rel="noreferrer" target="_blank">researchgate.net/profile/Juan-Vuletich</a><br>
<a href="http://independent.academia.edu/JuanVuletich" rel="noreferrer" target="_blank">independent.academia.edu/JuanVuletich</a><br>
<a href="http://patents.justia.com/inventor/juan-manuel-vuletich" rel="noreferrer" target="_blank">patents.justia.com/inventor/juan-manuel-vuletich</a><br>
<a href="http://linkedin.com/in/juan-vuletich-75611b3" rel="noreferrer" target="_blank">linkedin.com/in/juan-vuletich-75611b3</a><br>
<a href="http://twitter.com/JuanVuletich" rel="noreferrer" target="_blank">twitter.com/JuanVuletich</a><br>
<br>
-- <br>
Cuis-dev mailing list<br>
<a href="mailto:Cuis-dev@lists.cuis.st" target="_blank">Cuis-dev@lists.cuis.st</a><br>
<a href="https://lists.cuis.st/mailman/listinfo/cuis-dev" rel="noreferrer" target="_blank">https://lists.cuis.st/mailman/listinfo/cuis-dev</a><br>
</blockquote></div></div>