<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Le 06/05/2022 à 11:05, Hilaire
Fernandes a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:28e74a54-1a33-d49b-2bdb-74561d2360ca@drgeo.eu">
<p>I will do as your suggested, it will cover the current needs.
We will see if future evolution is necessary.</p>
</blockquote>
Of course this scenario does not work if one remove a preference,
for example <font size="4"><font face="monospace" color="#97082d">#guiElementsSize</font></font>
in my previous example, and load back the preference from file. But
it is unlikely to happen...<br>
<blockquote type="cite"
cite="mid:28e74a54-1a33-d49b-2bdb-74561d2360ca@drgeo.eu">
<p>My idea was to save along the preferences, the registered
action map, but it is likely overkill.<br>
</p>
<p>Thanks for the tips</p>
</blockquote>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</body>
</html>