options: add --hr-seek-framedrop option

This allows disabling of decoder framedrop during hr-seek.

It's basically another useless option, but it will help exploring
whether this framedropping really makes seeking faster, or whether
disabling it helps with precise seeking (especially frame backstepping).

2 files changed, 3 insertions, 0 deletions

diff --git a/options/options.c b/options/options.c
index e589bf8d61..5674c7dc0d 100644
--- a/options/options.c
+++ b/options/options.c
@@ -578,6 +578,7 @@ const m_option_t mp_opts[] = {
     OPT_CHOICE("hr-seek", hr_seek, 0,
                ({"no", -1}, {"absolute", 0}, {"always", 1}, {"yes", 1})),
     OPT_FLOATRANGE("hr-seek-demuxer-offset", hr_seek_demuxer_offset, 0, -9, 99),
+    OPT_FLAG("hr-seek-framedrop", hr_seek_framedrop, 0),
     OPT_CHOICE_OR_INT("autosync", autosync, 0, 0, 10000,
                       ({"no", -1})),
 
@@ -685,6 +686,7 @@ const struct MPOpts mp_default_opts = {
     .ordered_chapters = 1,
     .chapter_merge_threshold = 100,
     .chapter_seek_threshold = 5.0,
+    .hr_seek_framedrop = 1,
     .load_config = 1,
     .position_resume = 1,
     .stream_cache_min_percent = 20.0,
diff --git a/options/options.h b/options/options.h
index 6cad8b4e87..c9d0d82cf7 100644
--- a/options/options.h
+++ b/options/options.h
@@ -121,6 +121,7 @@ typedef struct MPOpts {
     int initial_audio_sync;
     int hr_seek;
     float hr_seek_demuxer_offset;
+    int hr_seek_framedrop;
     float audio_delay;
     float default_max_pts_correction;
     int autosync;