Re: Preferences increaseFontSize increases the host window size and replaces user's choice of background
"Marcel Taeumel (H) via Squeak-dev" <[email protected]> Tue, 4 Aug 2026 10:39:48 +0200
| Newsgroups | gmane.comp.lang.smalltalk.squeak.general |
|---|---|
| Message-ID | <[email protected]> |
--===============0078898840108244089== Content-Type: multipart/alternative; boundary="------------uwAmH4bToxRh5V50GW0tWGTt" --------------uwAmH4bToxRh5V50GW0tWGTt Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Hi Tim -- > In a similar vein, changing the font size or theme replaces the user’s choice of background with the default theme background. How do you set the background? There might be a "thisWorldsetProperty:#hasCustomBackgroundtoValue:true." missing somehwere. Best Marcel Am 04.08.2026 um 00:45 schrieb tim Rowledge: > Why would changing the font size using Dock->Extras->Theme & Colors->Fonts->increase font size deliberately increase the host OS window size? And dump the user’s choice of background? > > It seems that a deliberate choice about the sizing was made in UserInterfaceTheme>>#scaleMorphicWorldBy: - something I hadn’t actually noticed previously despite the method being 4 years old, probably because I only recently got a high resolution display. This seems like a Bad Thing To Do. It interferes with the users choice of window size, and possibly increases the size beyond what is allowed. Was there some reason for this that over-rides these points? > > In a similar vein, changing the font size or theme replaces the user’s choice of background with the default theme background. This is built into the way the default theme is both applied and protected (demands to make sure it is never changed in the comments). There seem to be a lot of conflicts between theme related stuff and user choices in preferences files. > > (Also, the final menu has all lowercase item labels when all the other Dock menus use capitalized. Consistency is good) > > tim > -- > tim Rowledge;[email protected];http://www.rowledge.org/tim > "How many tnuctip does it take to change a lightbulb?” > "Depends what you want them to change it into." > > > > Squeak-dev mailing list [email protected] > To unsubscribe send an email [email protected] --------------uwAmH4bToxRh5V50GW0tWGTt Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 8bit <!DOCTYPE html><html><head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> </head> <body> <p>Hi Tim --</p> <p>> In a similar vein, changing the font size or theme replaces the user’s choice of background with the default theme background.</p> <p>How do you set the background? There might be a "<font color="#6B6B6B">thisWorld</font><font color="#000000"> </font><font color="#000080">setProperty:</font><font color="#000000"> </font><font color="#000080">#hasCustomBackground</font><font color="#000000"> </font><font color="#000080">toValue:</font><font color="#000000"> </font><font color="#800000">true</font><font color="#000000">." missing somehwere.</font></p> <p><font color="#000000">Best<br> Marcel</font></p> <div class="moz-cite-prefix">Am 04.08.2026 um 00:45 schrieb tim Rowledge:<br> </div> <blockquote type="cite" cite="mid:[email protected]"> <pre wrap="" class="moz-quote-pre">Why would changing the font size using Dock->Extras->Theme & Colors->Fonts->increase font size deliberately increase the host OS window size? And dump the user’s choice of background? It seems that a deliberate choice about the sizing was made in UserInterfaceTheme>>#scaleMorphicWorldBy: - something I hadn’t actually noticed previously despite the method being 4 years old, probably because I only recently got a high resolution display. This seems like a Bad Thing To Do. It interferes with the users choice of window size, and possibly increases the size beyond what is allowed. Was there some reason for this that over-rides these points? In a similar vein, changing the font size or theme replaces the user’s choice of background with the default theme background. This is built into the way the default theme is both applied and protected (demands to make sure it is never changed in the comments). There seem to be a lot of conflicts between theme related stuff and user choices in preferences files. (Also, the final menu has all lowercase item labels when all the other Dock menus use capitalized. Consistency is good) tim -- tim Rowledge; <a class="moz-txt-link-abbreviated" href="mailto:[email protected]">[email protected]</a>; <a class="moz-txt-link-freetext" href="http://www.rowledge.org/tim">http://www.rowledge.org/tim</a> "How many tnuctip does it take to change a lightbulb?” "Depends what you want them to change it into." Squeak-dev mailing list -- <a class="moz-txt-link-abbreviated" href="mailto:[email protected]">[email protected]</a> To unsubscribe send an email to <a class="moz-txt-link-abbreviated" href="mailto:[email protected]">[email protected]</a></pre> </blockquote> </body> </html> --------------uwAmH4bToxRh5V50GW0tWGTt-- --===============0078898840108244089== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline Squeak-dev mailing list -- [email protected] To unsubscribe send an email to [email protected] --===============0078898840108244089==--