<div class="gmail_quote">On Mon, Nov 30, 2009 at 3:41 PM, Jakob Leben <span dir="ltr"><<a href="mailto:jakob.leben@gmail.com">jakob.leben@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="gmail_quote"><br><div>Maybe I could simply append the version number to that specific settings entry name, so it makes a different entry saved besides the other one. Then even going from newer version back to older will load correct older setting.<br>

</div></div>
</blockquote></div><br>I am weighing the two options of setting version number for a specific setting entry or the whole settings and I incline towards the latter, so that other entries are preserved if only one changes. It seems a pity to throw away all the settings in that case.<br>