<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le mer. 1 avr. 2020 à 18:24, Stéphane Rollandin <<a href="mailto:lecteur@zogotounga.net">lecteur@zogotounga.net</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> Hello,<br>
> <br>
> There is a minor but irritating bug in parentheses emphasing. To see it,<br>
> please load the attached morph (a workspace) in a 5.3 image.<br>
> <br>
> On the line indicated by the arrow, an opening parenthesis that gets<br>
> automatically highlighted in bold will stay so instead of reverting to<br>
> normal.<br>
> <br>
> To try it: erase that line, type anything, open a parenthesis (and if<br>
> you have auto-enclose on as it is by default, remove the closing one<br>
> that just appeared) then type a closing parenthesis. The first one is<br>
> now bold. Keep typing: it will stay bold.<br>
> <br>
> This rather annoying, because there is no simple way to revert to normal<br>
> emphasis: one needs to type another parenthesis and erase the bold one.<br>
> <br>
> This happens only on some lines, and it seems also only if bold text is<br>
> already present before and after these lines.<br>
> <br>
> Stef<br>
> <br>
<br>
<br>
Fixed - see attached changesets.<br>
<br>
The problem was that #stateArray in TextEditor did not reference the <br>
inst. var. lastParenLocation.<br>
<br>
Should I submit this to the inbox?<br></blockquote><div><br></div><div>yes :)</div><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Stef<br>
<br>
</blockquote></div></div>