<body><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000">
Hi Stef,<div><br></div><div>as a quick workaround: select the text and hit [cmd]+[0] to remove the emphasis.</div><div><br></div><div>Best,</div><div>Marcel</div><div class="mb_sig"></div><blockquote class="history_container" type="cite" style="border-left-style:solid;border-width:1px; margin-top:20px; margin-left:0px;padding-left:10px;">
<p style="color: #AAAAAA; margin-top: 10px;">Am 26.03.2020 11:35:38 schrieb Stéphane Rollandin <lecteur@zogotounga.net>:</p><div style="font-family:Arial,Helvetica,sans-serif">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></div></blockquote>
</div></body>