Hi Marcel,

Very nice, thank you! What a pleasure to the eye.

In case you do not have it on your list already: the buttons etc. are
resized when the scaling is changed, but the window decorations
including scrollbars and splitters not yet. For example, browsers
opened after a scaling change have scrollbars with a different width.
But this is a very minor flaw compared to the trouble with existing
tools when one tried the big fonts mode in 2015 or so... :-)

Now I need to fix the layout frames in the Git Browser.

Kind regards,
Jakob

Am Mi., 22. Dez. 2021 um 10:15 Uhr schrieb Marcel Taeumel
<marcel.taeumel at hpi.de>:
>
> Updated. :-)
>
> Am 21.12.2021 19:01:06 schrieb Marcel Taeumel <marcel.taeumel at hpi.de>:
>
> Hi all --
>
> Yes, the new primitive "primitiveScreenScaleFactor" is not yet functional, but we can do something to at least improve the manual way of scaling fonts (and widgets and tools) so that your favorite high-DPI display can be used in Squeak (i.e. "sharp fonts") without letting the operating system scale (i.e. "blurry fonts").
>
> Here is an older discussion: http://lists.squeakfoundation.org/pipermail/squeak-dev/2020-September/211603.html
>
> Please find attached a change set for your to try out. Load it and then click Extras > Scale Factor > 200%. Or do-it in a workspace: "Display scaleFactor: 1.25". Note that 100%, 125%, and 150% will still use our pre-rendered "Bitmap DejaVu Sans" fonts. Other scale factors rely on "BitstreamVeraSans(Mono)".
>
> I have still a little bit more testing to do considering the use of FontImporterTool. :-)
>
> It's still not perfect. But at least we now have a one-click solution for scale factors bigger than 150%.
>
> Best,
> Marcel
>
>