<body><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000;text-align: left" dir="ltr">
                                        Fixed in <span style="font-family: Arial, Helvetica, sans-serif;font-size: 13px">System-mt.1241 :-) by using the #bindingsDo: interface.</span><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.08.2021 20:06:44 schrieb tim Rowledge <tim@rowledge.org>:</p><div style='font-family:Arial,Helvetica,sans-serif'><br><br>> On 2021-08-23, at 12:19 AM, Marcel Taeumel <marcel.taeumel@hpi.de> wrote:<br>> <br>> Hmm... *refactoring-core adds #keys to SharedPool class. And "enumerating" already shows #keysDo:, added by tpr in 2004. :-)<br><br>Well, that *was* 17 years ago as a small update to sometihng I think we did in '01 or thereabouts. The original intent was to make SharedPool be the only way to do  shared pools but we wimped out on TextConstants. And indeed that still needs solving, so a nice project for somebody to play with?<br><br>If we had completed the project then there would be no need to have any polymorphism to Dictionary and there would be no problem. <br><br>> <br>> I vote for adding #values to SharedPool class. The goal is to make it polymorphic with Dictionary. There is not only SpaceTally out there. ;-)<br>> <br><br>I'm perfectly ok with that if you prefer; this isn't a huge issue<br><br>tim<br>--<br>tim Rowledge; tim@rowledge.org; http://www.rowledge.org/tim<br>Cashew:  nut that makes you sneeze<br><br><br><br></marcel.taeumel@hpi.de></div></blockquote>
                                        </div></body>