Problems with HiDpi Display under Gnome

Technical Support & Bugs
21

2021-09-15 07:31:08,910 [3038-AWT-EventQueue-0] INFO VASSAL.build.module.Map - os_scale == 1.0

2021-09-15 07:31:08,912 [3038-AWT-EventQueue-0] INFO VASSAL.build.module.Map - font == javax.swing.plaf.FontUIResource[family=Noto Sans,name=Noto Sans,style=plain,size=29]

22

os_scale is what Java thinks the ratio of real pixels to UI pixels is. What you have there is a 1:1 mapping of real pixels to UI pixels but a default font size of 29.

That explains why you’re seeing small UI elements but huge fonts. Next we need to determine what’s setting these.

23

What output do you get from running

gsettings get org.gnome.desktop.interface scaling-factor

?

24

I get

uint32 2

Thanks Joel

25

I think we’re dealing with a Java bug here. If that property is set to 2, then the UI scale factor Java sees should also be 2.