<body><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000">
                                        New day, new thoughts on this matter. I don't think that having extra #reset... messages for pragma preferences is necessary. The getter as "ifNil" and so should the setter support a 'nil' argument to reset. I will update those remaining 20% of setters to support 'nil' as argument.<div><br></div><div>Best,</div><div>Marcel</div><div class="mb_sig"></div><blockquote class='history_container' type='cite' style='border-left-style:solid;border-width:1px; margin-top:20px; margin-left:0px;padding-left:10px;'>
                        <p style='color: #AAAAAA; margin-top: 10px;'>Am 15.10.2020 12:59:57 schrieb Marcel Taeumel <marcel.taeumel@hpi.de>:</p><div style='font-family:Arial,Helvetica,sans-serif'><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000">
                                        Hmm... not sure how that happened. Maybe because I did that from a Vivide image. Well, no worries. I will use a fresh Trunk image as catalyst. :-)<div><br></div><div>Best,</div><div>Marcel</div><div class="mb_sig"></div><blockquote class='history_container' type='cite' style='border-left-style:solid;border-width:1px; margin-top:20px; margin-left:0px;padding-left:10px;'>
                        <p style='color: #AAAAAA; margin-top: 10px;'>Am 14.10.2020 20:32:49 schrieb Eliot Miranda <eliot.miranda@gmail.com>:</p><div style='font-family:Arial,Helvetica,sans-serif'>
<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size: 14pt"><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: 14pt">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: 14pt"><br></div></div><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><span style="font-size: 10pt;border-collapse: separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div></div>
</div></blockquote>
                                        </div></div></blockquote>
                                        </div></body>