Settings > High DPI greyed out

[Axy]

Hello SMPlayer-Team,

In my Ubuntu 19.10 the option "HighDPI" ("Hohe DPI") is greyed out and therefore I cannot set it.
I use the ppa.launchpad.net/rvm/smplayer/ubuntu.

Especially the icons are very small.

My Laptop Dell XPS13 2-in-1 has a HighDPI monitor and therefore I would like to have a high-DPI scaling of the GUI.

What can I do to get that scaling?

Thank you very much in advance for your efforts.
Best regards
Axel

[rvm]

That option is greyed out if smplayer is built with Qt 4, because it requires Qt 5. You can get packages built with Qt 5 here:
https://software.opensuse.org/download. ... e=smplayer