From 1732fb0555bdba87b998c82bedd4f612e0e0e002 Mon Sep 17 00:00:00 2001 From: Eva Date: Sat, 18 Jul 2020 01:24:19 +0200 Subject: [PATCH] external_files: add .pgs subtitle extension --- player/external_files.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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",