<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:large"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Oct 14, 2020 at 8:03 AM Marcel Taeumel <<a href="mailto:marcel.taeumel@hpi.de">marcel.taeumel@hpi.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div id="gmail-m_5518701905920970450__MailbirdStyleContent" style="font-size:10pt;font-family:Arial;color:rgb(0,0,0)">Hi all!<div><br><div></div><div>Please find attached a change set that will implement #restoreDefaultValue on PragmaPreference looking for an optional #reset... message or just setting the preference to 'nil' and hoping for the best.</div></div><div><br></div><div>I added #reset... methods for all pragma preferences that do either (a) not support 'nil' or (b) do costly update stuff.</div><div><br></div><div>In the ReleaseBuilder, I opted for resetting all preferences as early as possible.</div><div><br></div><div>Can I put this in the Trunk? :-)</div></div></blockquote><div><br></div><div class="gmail_default" style="font-size:large">Yes, but only if you remove all those stylings ;-)  I don't want y changes file filling up with junk that will be auto-styled over :-)</div><div class="gmail_default" style="font-size:large"><br></div></div><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div></div>