summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEva <evauwu@riseup.net>2020-07-18 01:24:19 +0200
committerwm4 <1387750+wm4@users.noreply.github.com>2020-07-21 15:07:17 +0200
commit1732fb0555bdba87b998c82bedd4f612e0e0e002 (patch)
tree0f7136c0574c51377e178faed08e89511efc59aa
parent83fec9bafb13d4b506c41c0a4394ce6869f5b4f3 (diff)
downloadmpv-1732fb0555bdba87b998c82bedd4f612e0e0e002.tar.bz2
mpv-1732fb0555bdba87b998c82bedd4f612e0e0e002.tar.xz
external_files: add .pgs subtitle extension
-rw-r--r--player/external_files.c2
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",