@ShalokShalom sagte: Gibt es vielleicht eine Möglichkeit […] andere Schriftarten zu verwenden?

Höchstens indirekt über Änderung der “Skin”: Einstellungen -> Allgemein -> Look&Feel

Hallo Niklas

Ich hab’s befürchtet (daher "… wenn’s die Mediatheken der Sender hergeben… ") - schade.
Trotzdem - danke für die Antwort.

SG, Morros

Ich habe eins geschrieben. Das gibt es hier. Das Add-on ist im ist im Kodinerds Repository enthalten und kann sonst auch direkt über GitHub heruntergeladen werden. Als Quelle wird allerdings mediathekdirekt.de verwendet, da sich mit Kodi leider keine .xz-Dateien entpacken lassen…

@7Z7 portable geht so auch, die exe sind nur Startdateien für die …jar

java -jar MediathekView.jar konfig -d

dann wird der Ordner “konfig” angelegt für die Konfig-Dateien

Ja hatte da schon eine Backuplösung in Planung. Diese Dateien, die da vorhanden sind werden aber meistens nur bei einer Neuinstallation oder Update gebraucht.

-> Play-Knopf den Film in höchstmöglicher Qualität abzuspielen.
schau mal in die Einstellungen, geht auch mit den Set Abspielen

-> langen Downloadzeiten der Liste
ist die Liste zu alt, wird sie komplett geladen (mind. 1x am Tag), ansonsten nur eine Diff die nur ein paar 100KByte hat.

@Nicklas2751:

@xaver Weißt du wo der Issue hin ist?

Du meinst wohl diese hier, was zeigt:

dass es nicht sinnvoll ist “Bugs” bzw. lösbare Probleme von normalen Usern auf Github posten zu lassen, während andere das in diesem Forum tun (was sinnvoll ist). Denn genau das kann zur Folge haben, dass man sich tatsächlich und verständlicherweise fragen muss, was schon wieder wo zu finden ist.

dass die Github-Default-Sortierung (nach Eröffnungsdatum der Issue) leider wenig hilfreich ist, denn erst die (nicht speicherbare) Änderung auf “Recently updated” bringt die Issue zum Vorschein.

Post scriptum: Ich möchte damit nur (ein 2. Mal) einen Gedankenanstoss geben, ob man die zwei “Foren” nicht besser klarer voneinander trennen sollte.