<div dir="auto">At least a warning  to transcript stream that the preference is missing from current preferences would be helpful.</div><div dir="auto"><br></div><div dir="auto">A pop up warning would probably mess with a lot of file in code. </div><div dir="auto"><br></div><div dir="auto">Best,</div><div dir="auto">Karl</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 1 Jun 2022 at 00:14, Chris Muller <<a href="mailto:asqueaker@gmail.com">asqueaker@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Thank you Christoph!<div><br></div><div>I found some old configuration code of mine that was setting some preferences that no longer exist, and was shocked that it simply ignored my request instead of complaining!  This is a dreadful bug still present in trunk to this day, check it out!<div><br></div><div>    Preferences enable: #oogalaboogala  "works!"<br><div><div><br></div><div>Soo bad!  It not only makes it really hard to know there's a problem at all, but also how to find and fix it (e.g., what was the preference renamed to?)!  These kinds of silent failures are the 2nd-worst kinds of bugs one can have (the 1st-worst are silent corruptors of your data).</div><div><br></div><div>Anything to make this more defined and/or brittle is a welcome improvement.<br></div></div></div><div><br></div><div>Thanks,</div><div>  Chris</div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, May 21, 2022 at 11:59 AM Thiede, Christoph <<a href="mailto:Christoph.Thiede@student.hpi.uni-potsdam.de" target="_blank">Christoph.Thiede@student.hpi.uni-potsdam.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">



<div>

<div id="m_-6221720038496363449gmail-m_-7696400891919495578gmail-m_-8262331279898850036divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif" dir="ltr">
<p>Hi Marcel,</p>
<p><br>
</p>
<p>but this would still leave a chance that we miss any historic states. My proposal is a bit more radical in this regard, but it makes sure that we have a consistent and deterministic set of preference values ... What problems would you concretely see with
 that? The only visible effect should be that in a freshly generated image, the default button in the preference browser does not change any preferences to ancient defaults. :-)</p>
<p><br>
</p>
<p>Best,</p>
<p>Christoph</p>
</div>
<hr style="display:inline-block;width:98%">
<div id="m_-6221720038496363449gmail-m_-7696400891919495578gmail-m_-8262331279898850036divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>Von:</b> Squeak-dev <<a href="mailto:squeak-dev-bounces@lists.squeakfoundation.org" target="_blank">squeak-dev-bounces@lists.squeakfoundation.org</a>> im Auftrag von Taeumel, Marcel<br>
<b>Gesendet:</b> Samstag, 21. Mai 2022 04:07:30<br>
<b>An:</b> squeak-dev<br>
<b>Betreff:</b> Re: [squeak-dev] Default preferences</font>
<div> </div>
</div>
<div>
<div id="m_-6221720038496363449gmail-m_-7696400891919495578gmail-m_-8262331279898850036__MailbirdStyleContent" style="font-size:10pt;font-family:Arial;color:rgb(0,0,0);text-align:left" dir="ltr">
<span style="font-family:Calibri,sans-serif;font-size:14.6667px">> </span><span style="font-family:Calibri,sans-serif;font-size:12pt">my proposal would be that we set all Preferences' defaultValues to their value during the release building</span><br>
<div><span style="font-family:Calibri,sans-serif;font-size:12pt"><br>
</span></div>
<div><span style="font-family:Calibri,sans-serif;font-size:12pt">This would be kind of dangerous and difficult to manage regarding a proper base image for the CI (i.e., the bundles). I think we should rather uncover what is not yet set in ReleaseBuilder
 class >> #setPreferences and fill in the gaps. That's makes it explicit. For those values, we can surely set the defaults for old-style preferences.</span></div>
<div><span style="font-family:Calibri,sans-serif;font-size:12pt"><br>
</span></div>
<div><span style="font-family:Calibri,sans-serif;font-size:12pt">Best,</span></div>
<div><span style="font-family:Calibri,sans-serif;font-size:12pt">Marcel</span></div>
<div></div>
<blockquote type="cite" style="border-left-style:solid;border-width:1px;margin-top:20px;margin-left:0px;padding-left:10px">
<p style="color:rgb(170,170,170);margin-top:10px">Am 20.05.2022 06:55:47 schrieb Thiede, Christoph <<a href="mailto:christoph.thiede@student.hpi.uni-potsdam.de" target="_blank">christoph.thiede@student.hpi.uni-potsdam.de</a>>:</p>
<div style="font-family:Arial,Helvetica,sans-serif">
<div id="m_-6221720038496363449gmail-m_-7696400891919495578gmail-m_-8262331279898850036divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols" dir="ltr">
<p>Hi Jaromir, hi all,</p>
<p><br>
</p>
<p>thanks for finding this! This is insane. I suppose that no one in the last years has ever pressed this "default" button and thus this inconsistency was never found.</p>
<p><br>
</p>
<p>We seem to have two sources of truth here:</p>
<p>1. The default value of each preference:</p>
<p>  1a. For pragma preferences, this is encoded in the getter of the preference (i.e., <span>Model class>>#useColorfulWindows falls back to true).</span></p>
<p><span>  1b. For old-style preferences, this is the defaultValue variable of the preference instance (this is not encoded anywhere, just historic instances that have been handed down since years or decades via the release images like the Olympic torch). See
<span>Preferences preferenceAt: #fastDragWindowForMorphic for example.</span><span></span></span></p>
<p><span><span>2. The default values encoded in the <span>ReleaseBuilder (or actually, the ReleaseBuilders, since this thing is even subclassed), see #setPreferences. For instance, here #useColorfulWindows is set to false.</span></span></span></p>
<p><span><span><span><br>
</span></span></span></p>
<p><span><span><span>This is really crazy. I feel like traveling ten years back in time after clicking that button. I don't know how we should solve the two sources of truth problem, but my proposal would be that we set all Preferences' defaultValues to their
 value during the release building - how do you think about that? Would some others agree with that? If yes, I can implement & upload that.</span></span></span></p>
<p><span><span><span><br>
</span></span></span></p>
<p><span><span><span>> <span>A theme is not a 'preference', despite the Preference Wizard sets it, right? (slightly confusing but ok)</span></span></span></span></p>
<p><span><span><span><span><br>
</span></span></span></span></p>
<p><span><span><span><span>Yes. The Preference Wizard does not display all preferences, but it also provides access to some other options. For instance, the preference browser also does not have logic for installing recommended packages. :-)</span></span></span></span></p>
<p><span><span><span><span><br>
</span></span></span></span></p>
<p>Best,</p>
<p>Christoph</p>
<p></p>
</div>
<hr style="display:inline-block;width:98%">
<div id="m_-6221720038496363449gmail-m_-7696400891919495578gmail-m_-8262331279898850036divRplyFwdMsg" dir="ltr"><span style="font-family:Calibri,sans-serif;color:rgb(0,0,0)"><b>Von:</b> Squeak-dev <<a href="mailto:squeak-dev-bounces@lists.squeakfoundation.org" target="_blank">squeak-dev-bounces@lists.squeakfoundation.org</a>> im Auftrag von Jaromir Matas <<a href="mailto:mail@jaromir.net" target="_blank">mail@jaromir.net</a>><br>
<b>Gesendet:</b> Freitag, 20. Mai 2022 10:03:23<br>
<b>An:</b> Squeak Dev<br>
<b>Betreff:</b> [squeak-dev] Default preferences</span>
<div> </div>
</div>
<div>
<div>
<p class="MsoNormal">Hi All,</p>
<p class="MsoNormal">A quick question: What are the 'default preferences'? </p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">I thought they were the ones the fresh image comes with but when you open a Preference Browser and hit the 'default' button you get another set of preferences (round buttons, colorful windows etc.) – is this a bug? Is there a way to get
 back to the preferences the image comes with?</p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">A theme is not a 'preference', despite the Preference Wizard sets it, right? (slightly confusing but ok) (BTW the Community Dark theme is awesome! Even italic comments :) Using it all the time)</p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Also, if I check the 'English' tick-box in Extras -> Language, the flaps show (that must be a bug).</p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Best,</p>
<p><span lang="CS">--</span></p>
<p><strong><span style="font-family:"Calibri Light",sans-serif;color:rgb(51,51,51);font-weight:normal">Jaromír Matas</span></strong><span style="font-family:"Calibri Light",sans-serif;color:rgb(85,85,85)"><u></u><u></u></span></p>
<p><span style="font-family:"Calibri Light",sans-serif;color:rgb(46,117,182)"><a href="mailto:mail@jaromir.net" target="_blank">mail@jaromir.net</a></span></p>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>

<br>
</blockquote></div>
<br>
</blockquote></div></div>