<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>