search

mediathekview / MediathekView

Das Programm MediathekView durchsucht die Online-Mediatheken verschiedener Sender
https://mediathekview.de
GNU General Public License v3.0
856 stars 95 forks source link

Skalierung hdpi #497

Closed FranzFelberer closed 4 years ago

FranzFelberer commented 4 years ago

Die Schrift und Graphikelemente sind unter Linux (Ubuntu 19.10) auf hdpi displays nicht skaliert. Die Schrift lässt sich auch nicht (mehr ?) im Programm einstellen.

alex1702 commented 4 years ago

Hast du schon folgende Einstellungen probiert: https://mediathekview.de/anleitung/#starten

FranzFelberer commented 4 years ago

Danke! In meinem Fall:

# Öffnen mit
sudoedit /opt/MediathekView/MediathekView.vmoptions
#  falls es wo anders installiert ist 
sudo / find -name MediathekView
# Einfügen
-Dsun.java2d.uiScale=2.0