von georgy » 06 Okt 2019, 19:02
Danke für den Tipp! Es liegt tatsächlich an Java-11. Ich habe Webseiten gefunden, in der erklärt wird, was man tun muss, damit Java das GTK-Theme berücksichtigt (z.B.
https://wiki.archlinux.org/index.php/java).
Bei der Gelegenheit ist mir ein Fehler im tvbrowser-Startskript
aufgefallen: In Zeile 56 versucht das Skript, die Java-Version heraus zu bekommen, in dem es sich die 1. Zeile des Outputs von "java -version" holt. Sobald man aber die Variable "$_JAVA_OPTIONS" setzt (und sei es bloß mit dem leeren String), steht in der 1. Zeile was Anderes, nämlich:
Das Skript würde sich also die Java-Version besser mit einem gezielten "grep" holen, statt mit einem "head -n 1".
Aber auch nachdem ich diesen Fehler korrigiert hatte, berücksichtigt java-11 immer noch nicht das GTK-Theme. Das ist jetzt aber definitiv kein tvbrowser-Problem mehr...
Danke für den Tipp! Es liegt tatsächlich an Java-11. Ich habe Webseiten gefunden, in der erklärt wird, was man tun muss, damit Java das GTK-Theme berücksichtigt (z.B. [url]https://wiki.archlinux.org/index.php/java[/url]).
Bei der Gelegenheit ist mir ein Fehler im tvbrowser-Startskript [code]/usr/share/tvbrowser/tvbrowser.sh[/code] aufgefallen: In Zeile 56 versucht das Skript, die Java-Version heraus zu bekommen, in dem es sich die 1. Zeile des Outputs von "java -version" holt. Sobald man aber die Variable "$_JAVA_OPTIONS" setzt (und sei es bloß mit dem leeren String), steht in der 1. Zeile was Anderes, nämlich: [code]Picked up _JAVA_OPTIONS ...[/code] Das Skript würde sich also die Java-Version besser mit einem gezielten "grep" holen, statt mit einem "head -n 1".
Aber auch nachdem ich diesen Fehler korrigiert hatte, berücksichtigt java-11 immer noch nicht das GTK-Theme. Das ist jetzt aber definitiv kein tvbrowser-Problem mehr...