@DAMONSTER: Bo goście z VLC wygląda na to że nie kumają, że w niektórych rejonach świata ludzie używają .txt zamiast .srt. Tłumaczą to dość głupio, że .txt to nie format plików z napisami i kosztowne jest parsowanie plików txt żeby sprawdzić czy to napisy (co jakoś im nie przeszkadza poprawnie interpretować plik jeśli zmienimy mu rozszerzenie na .srt). Niestety ręczne wybranie pliku .txt jest po cichu ignorowane.
@drakkainen82: nie ma się co spieszyć owszem, aczkolwiek, jeśli by Xiaomi zrezygnowało z Oreo to jest to spory powód aby oddać urządzenie do sklepu. Ale (!) właśnie przed chwilą zaktualizował mi się Mi Box do Oreo - wersja: 8.0.0, security patch level: Oct 5, 2018, kernel version: 4.9.54. Zobaczymy czy tym razem im wyszło czy nie. Dam znać za parę dni.
@drakkainen82: aha, a spieszyło mi się, gdyż podobno w Oreo była opcja wymuszenia RGB na HDMI - miałem problem z castowaniem ekranu z laptopa przez Chrome'a - kolory się rozmywały w poziomie. Jutro sprawdzę czy aktualizacja coś pomogła.
@pio-sko: tak, w tej wersji jest opcja do forsowania RGB zamiast YCbCr - to ostatnie wydawało się powodować rozjazd castu z Chrome'a z laptopa. Minus który już znalazłem, to że w nowej wersji ekran trochę pływa i częściej zrywa syncro (używam HDMI->VGA bo rzutnik nie ma hdmi).
#kiciochpyta
Bo goście z VLC wygląda na to że nie kumają, że w niektórych rejonach świata ludzie używają .txt zamiast .srt. Tłumaczą to dość głupio, że .txt to nie format plików z napisami i kosztowne jest parsowanie plików txt żeby sprawdzić czy to napisy (co jakoś im nie przeszkadza poprawnie interpretować plik jeśli zmienimy mu rozszerzenie na .srt). Niestety ręczne wybranie pliku .txt jest po cichu ignorowane.
Najprostszym rozwiązaniem jest zmiana