<div><span style="border-color:rgb(0,0,0);color:rgb(0,0,0)">Hm. </span><span style="border-color:rgb(0,0,0);color:rgb(0,0,0)">I think the tools should be responsible of registering events for preference change notification, not the other way around. </span><span style="border-color:rgb(0,0,0);color:rgb(0,0,0)">If the preference doesn’t exist in the image, maybe we should assume the tool that was originally notified when the preference changed is not installed in the image.</span><br></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 6 May 2022 at 3:24 PM Hilaire Fernandes <<a href="mailto:hilaire@drgeo.eu">hilaire@drgeo.eu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)">
<div text="#000000" bgcolor="#FFFFFF">
<p><font size="4" style="color:rgb(0,0,0)">Indeed. <br>
</font></p>
<p><font size="4" style="color:rgb(0,0,0)">But works only when Preference instance with the
same symbol already exists in the image.</font><br>
</p></div><div text="#000000" bgcolor="#FFFFFF">
<div>Le 05/05/2022 à 22:07, Luciano
Notarfrancesco a écrit :<br>
</div>
<blockquote type="cite">
<div dir="auto">You can avoid replacing the existing instances by
iterating over the preferences you read from the file and
setting their values on the existing prefeences.</div>
<div><br>
</div>
</blockquote>
<pre cols="72" style="font-family:monospace">--
GNU Dr. Geo
<a href="http://drgeo.eu" target="_blank" style="font-family:monospace">http://drgeo.eu</a>
<a href="http://blog.drgeo.eu" target="_blank" style="font-family:monospace">http://blog.drgeo.eu</a></pre>
</div>
</blockquote></div></div>