Input generator on 4K screens

[cobayasampler]

Input generator on 4K screens

[cmbant]

Explicitly setting the window font using setStyleSheet("* {font-size:8pt;}") may fix this.

[cmbant]

Should be fixed in 667cb0d at least for Windows. Worth checking on other systems.

[JesusTorrado]

Looks tiny in my system (Kubuntu 18.04 with Plasma 5.12). Maybe Windows and Linux scale fonts and window elements in two different ways? Investigating...

[cmbant]

Interesting, looks OK on the Ubuntu cosmobox VM

[JesusTorrado]

No clue. Normally, AFAIK, upscaling for high DPI screens is handled by leaving fonts to a reasonable size (~10-12) and applying a scaling factor (I guess ~2x for 4K).

[cmbant]

Is yours high DPI? Does 10pt or 12pt looks OK? If so might as well just use that.

[cmbant]

(it's probably partly that currently QT only handles integer scale factors, so your screen may be on the boundary scale of switching integers)

[JesusTorrado]

Somewhat high DPI. Qt most definitely handles fractional scale factors (my desktop interface is based on Qt and does. In any case, the correct strategy, that should work if there are no bugs, would be to let the app get from the OS both the font size for the different widgets (in your case, in the first pic, it apparently worked for the menu but not for the drop-down selectors) and also the scaling factor.

I am going to branch out, fix some hard-coded numbers I put there in the past (fixed pixel sizes), remove any mention to a font size, and let's try to go on from there, if you don't mind.

[JesusTorrado]

Fixed by #45