From 76fcef618b2f4e3ea7792866ed8eb74db356e152 Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Wed, 18 Nov 2015 20:58:07 +0100
Subject: player: make timeline switching slightly nicer

But not much.
---
 player/core.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'player/core.h')

diff --git a/player/core.h b/player/core.h
index 2f9d2828ac..c35e3d034b 100644
--- a/player/core.h
+++ b/player/core.h
@@ -430,7 +430,7 @@ void mp_switch_track_n(struct MPContext *mpctx, int order,
 void mp_deselect_track(struct MPContext *mpctx, struct track *track);
 struct track *mp_track_by_tid(struct MPContext *mpctx, enum stream_type type,
                               int tid);
-void timeline_set_part(struct MPContext *mpctx, int i, bool initial);
+bool timeline_switch_to_time(struct MPContext *mpctx, double pts);
 int timeline_get_for_time(struct MPContext *mpctx, double pts);
 void add_demuxer_tracks(struct MPContext *mpctx, struct demuxer *demuxer);
 bool mp_remove_track(struct MPContext *mpctx, struct track *track);
-- 
cgit v1.2.3