<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"><br></div><div dir="ltr"><br><blockquote type="cite">On Oct 15, 2020, at 4:27 AM, Marcel Taeumel <marcel.taeumel@hpi.de> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><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></div></blockquote><div><br></div>+1; very nice.<div><br><blockquote type="cite"><div dir="ltr"><div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000"><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><span></span><br></div></blockquote></div></body></html>