<body><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000;text-align: left" dir="ltr">
                                        Hi Tim --<div><br></div><div>> <span style="font-family: Arial, Helvetica, sans-serif;font-size: 13px">I've never noticed any confusion with the general case of Workspace and 'accept'; all it has ever done (we're talking around 40 years practice here) is save the content to a string as a backup.</span></div><div><span style="font-family: Arial, Helvetica, sans-serif;font-size: 13px"><br></span></div><div><span style="font-family: Arial, Helvetica, sans-serif;font-size: 13px">What kind of intransparent, fragile "backup" would that be? You hit the window's close button and that "backup" is gone. In my opinion, that's not a "backup".</span></div><div><span style="font-family: Arial, Helvetica, sans-serif;font-size: 13px"><br></span></div><div><span style="font-family: Arial, Helvetica, sans-serif;font-size: 13px">Best,</span></div><div><span style="font-family: Arial, Helvetica, sans-serif;font-size: 13px">Marcel</span></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 23.01.2022 19:47:48 schrieb tim Rowledge <tim@rowledge.org>:</p><div style='font-family:Arial,Helvetica,sans-serif'>We might reduce some confusion be (re)labelling workspaces editing files as 'FileWorkspace'. I've never noticed any confusion with the general case of Workspace and 'accept'; all it has ever done (we're talking around 40 years practice here) is save the content to a string as a backup. I*like* being able to save to a file as an option but it isn't the only use case.<br><br><br>tim<br>--<br>tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim<br>Strange OpCodes: PIC: Permute Instruction Codes<br><br><br><br></div></blockquote>
                                        </div></body>