<div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000">
                                        
                                        
                                            
                                        
                                        
                                        Hi Eliot,<div><br></div><div>not sure what happened. The preferences change will not update already opened workspaces:</div><div><br></div><div><img id="03cc5782-018d-4c5c-85c8-08a2d5e413cb" src="cid:2829a2ba-a787-4169-812c-58361b862dc0" width="510" height="209"></img><br></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;min-width: 500px">
                        <p style="color: #AAAAAA; margin-top: 10px;">Am 09.10.2020 10:06:50 schrieb Stéphane Rollandin <lecteur@zogotounga.net>:</p><div style="font-family:Arial,Helvetica,sans-serif">>   (why on earth did it get turned off?). <br>Dunno but I do have it off, as my use of workspaces is rather <br>free-style, with nothing remotely ressembling syntactically correct code <br>from start to finish, and so in my use case shout makes the code/text a <br>real mess.<br><br>Stef<br><br></div></blockquote></div>