Super - und danke an alle: der Java-Update wars, der das Ganze wieder gerichtet hat. Das geht natürlich ganz klar aus der Logdatei hervor - so im Nachhinein betrachtet … 😉 Wieder mal ne Lerneinheit absolviert.
Auch die Version 13.0, auf die ich wegen des angenehmeren GUI (Filteroptionen in der linken Spalte) zurückgegangen bin, funktioniert völlig problemlos. Ich bin wieder wunschlos glücklich.
Vielen Dank an Euch für die Hilfe, und nochmals: vielen Dank für all die Arbeit, die Ihr in den MediathekViewer investiert! Ist ein klasse Projekt. Nach all der Zeit, die ich das Programm jetzt schon nutze, hab ich mir für den nächsten Monat schon mal diesen Link in die Lesezeichen getan: https://mediathekview.de/spenden/
Grüße!