diff options
author | Eva <evauwu@riseup.net> | 2020-07-18 01:24:19 +0200 |
---|---|---|
committer | wm4 <1387750+wm4@users.noreply.github.com> | 2020-07-21 15:07:17 +0200 |
commit | 1732fb0555bdba87b998c82bedd4f612e0e0e002 (patch) | |
tree | 0f7136c0574c51377e178faed08e89511efc59aa | |
parent | 83fec9bafb13d4b506c41c0a4394ce6869f5b4f3 (diff) | |
download | mpv-1732fb0555bdba87b998c82bedd4f612e0e0e002.tar.bz2 mpv-1732fb0555bdba87b998c82bedd4f612e0e0e002.tar.xz |
external_files: add .pgs subtitle extension
-rw-r--r-- | player/external_files.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/player/external_files.c b/player/external_files.c index 90a1487be1..69610642d2 100644 --- a/player/external_files.c +++ b/player/external_files.c @@ -34,7 +34,7 @@ static const char *const sub_exts[] = {"utf", "utf8", "utf-8", "idx", "sub", "srt", "rt", "ssa", "ass", "mks", "vtt", - "sup", "scc", "smi", "lrc", + "sup", "scc", "smi", "lrc", "pgs", NULL}; static const char *const audio_exts[] = {"mp3", "aac", "mka", "dts", "flac", |