UI scaling

[muhuk]

I am using a 4K monitor and at least a 125% scaling is necessary to make things readable. Is there a way to scale the UI?

(OS: Debian/Linux, just downloaded more-speech-0.1.0-SNAPSHOT-standalone.jar and run it.)

[muhuk]

Both these commands work:

GDK_SCALE=2 java -jar more-speech-0.1.0-SNAPSHOT-standalone.jar

java -Dsun.java2d.uiScale=2 -jar more-speech-0.1.0-SNAPSHOT-standalone.jar

Unfortunately only integers seem to work with this param, 1.25 does nothing.

[unclebob]

I'll add a font-size to the config file.

[unclebob]

:default-font "COURIER-PLAIN-14"
:bold-font "COURIER-BOLD-14"
:small-font "COURIER_PLAIN-9"
Added to private/user-configuration as of release 202209201153

[muhuk]

It works on some elements but does not scale other elements for me:

My user-configuration

{:export-user-profile
 {:export-after-days 7, :last-time-exported 1663494419},
 :import-metadata
 {:import-after-days 30, :last-time-imported 1663494226},
 :default-font "COURIER-PLAIN-24",
 :bold-font "COURIER-BOLD-24",
 :small-font "COURIER-PLAIN-18"}

I tried with both COURIER-PLAIN and COURIER_PLAIN (see small-font).

[muhuk]

I think this should be re-opened.

[unclebob]

OK, I've re-opened it.