Hi Stef,
as a quick workaround: select the text and hit [cmd]+[0] to remove the emphasis.
Best, Marcel Am 26.03.2020 11:35:38 schrieb Stéphane Rollandin lecteur@zogotounga.net: Hello,
There is a minor but irritating bug in parentheses emphasing. To see it, please load the attached morph (a workspace) in a 5.3 image.
On the line indicated by the arrow, an opening parenthesis that gets automatically highlighted in bold will stay so instead of reverting to normal.
To try it: erase that line, type anything, open a parenthesis (and if you have auto-enclose on as it is by default, remove the closing one that just appeared) then type a closing parenthesis. The first one is now bold. Keep typing: it will stay bold.
This rather annoying, because there is no simple way to revert to normal emphasis: one needs to type another parenthesis and erase the bold one.
This happens only on some lines, and it seems also only if bold text is already present before and after these lines.
Stef