diff options
| -rw-r--r-- | player/command.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/player/command.c b/player/command.c index 4b4b7ed680..779a5dd0ec 100644 --- a/player/command.c +++ b/player/command.c @@ -2158,20 +2158,6 @@ static int mp_property_deinterlace(void *ctx, struct m_property *prop, return M_PROPERTY_NOT_IMPLEMENTED; } -// Generic option + requires hard refresh to make changes take effect. -static int video_refresh_property_helper(struct m_property *prop, int action, - void *arg, MPContext *mpctx) -{ - int r = mp_property_generic_option(mpctx, prop, action, arg); - if (action == M_PROPERTY_SET) { - if (mpctx->d_video) { - reinit_video_filters(mpctx); - mp_force_video_refresh(mpctx); - } - } - return r; -} - static int video_simple_refresh_property(void *ctx, struct m_property *prop, int action, void *arg) { |