New option for mplayer: -dumpmicrodvdsub

git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@7461 b3059339-0415-0410-9bf9-f77b7e298cf2

1 files changed, 1 insertions, 0 deletions

diff --git a/mplayer.c b/mplayer.c
index 67bab0d3de..e8569cf031 100644
--- a/mplayer.c
+++ b/mplayer.c
@@ -1204,6 +1204,7 @@ if(sh_video) {
   if(subtitles && stream_dump_type==3) list_sub_file(subtitles);
   if(subtitles && stream_dump_type==4) dump_mpsub(subtitles, sh_video->fps);
   if(subtitles && stream_dump_type==6) dump_srt(subtitles, sh_video->fps);
+  if(subtitles && stream_dump_type==7) dump_microdvd(subtitles, sh_video->fps);
 }
 #endif