+ /* We're not playing, so let the GUI thread get on and
+ come back later to get the next frame after the seek.
+ */
+ request_idle_display_next_frame ();
+ } else {
+ /* We're going to start playing again straight away
+ so wait for the seek to finish.
+ */
+ while (!_video_view->display_next_frame(false)) {}