<div dir="ltr">Preferences>>enable: and Preferences>>disable: considered harmful.<div><br><div>Both methods have side effects that are not desirable. </div><div>The naming scheme of PragmaPreferences and old Preferences do not match.<div><br></div><div>PragmaPreference key #'Browser>>showMessageIcons' <br></div><div><div>Preference key #alwaysHideHScrollbar<br></div><div><br></div><div>Both methods enable: and disable: automatically create a new preference in the dictionary if the key searched for is not found. This can easily lead to duplicate entries in the DictionaryOfPreferences.<br></div><div><br></div><div><div>Karl</div></div><div><br></div></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 5, 2015 at 4:14 AM, karl ramberg <span dir="ltr"><<a href="mailto:karlramberg@gmail.com" target="_blank">karlramberg@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">So you must access with<div>Preferences disable: #'Browser>>showMessageIcons'<br></div><div><br></div><div>Otherwise a new preference is added :-(</div><div><br></div><div>Unrelated, in a ObjectExplorer you can't click to get a menu on all preferences because the ObjectExplorer show a abbreviated text: eg. </div><div>#'CodeHolder>>useMultiWindowBrowser' will show in the ObjectExplorer as #'CodeHolder>>u...indowBrowser' </div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Karl</div></font></span></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 5, 2015 at 3:35 AM, karl ramberg <span dir="ltr"><<a href="mailto:karlramberg@gmail.com" target="_blank">karlramberg@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">That must be a bug.<span><font color="#888888"><div><div><br></div><div>Karl</div></div></font></span></div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, May 4, 2015 at 11:27 PM, Chris Muller <span dir="ltr"><<a href="mailto:asqueaker@gmail.com" target="_blank">asqueaker@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On Mon, May 4, 2015 at 4:18 PM, Chris Muller <<a href="mailto:asqueaker@gmail.com" target="_blank">asqueaker@gmail.com</a>> wrote:<br>
> One thing I don't like about the scattered preferences is how the<br>
> preference API is no longer supported. I have a script which sets up<br>
> my preferred preferences, I tried to write:<br>
><br>
> Preferences disable: #showMessageIcons<br>
><br>
> just like I can for "normal" preferences, however, the above doesn't<br>
> work and doesn't report an error...<br>
<br>
</span>In fact, it can even cause a duplicate preference to be added (see picture).<br>
<br><br>
<br></blockquote></div><br></div>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>