<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>