13.8.1, Linux, HiDPI. GUI skalieren

[pixel]

Hallo zusammen,

ich habe die aktuelle Version (13.8.1) MV unter Linuxmint 20.3 / Cinnamon intalliert. Das GUI ist aber so winzig dass ich es nicht bedienen kann.

Habe hier die Forensuche bemüht und auch viele Posts und kontroverse Diskussionen gefunden. Ebenfalls habe ich den Beitrag hier gefunden:

https://mediathekview.de/anleitung/#starten

Der Parameter uiScale würde mein Problem ja lösen. Nur ich finde im System keine Datei “MediathekView.vmoptions”

Muss ich diese im User-Home: ~/.mediathek3 anlegen?

Beste Grüße
pixel

[pixel]

Sorry, hatte wohl Tomaten auf den Augen.

/opt/MediathekView/MediathekView.vmoptions

den Parameter:

-Dsun.java2d.uiScale=2.0

Nun passt es