Enable seek in fullscreen mode for MSE impl on android

webkit/media/android/webmediaplayer_android.h

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_ANDROID_H_
 #define WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_ANDROID_H_
 
 #include <jni.h>
 
 #include "base/basictypes.h"
@@ skipping 129 matching lines @@
 
   // cc::VideoFrameProvider implementation. These methods are running on the
   // compositor thread.
   virtual void SetVideoFrameProviderClient(
       cc::VideoFrameProvider::Client* client) OVERRIDE;
   virtual scoped_refptr<media::VideoFrame> GetCurrentFrame() OVERRIDE;
   virtual void PutCurrentFrame(const scoped_refptr<media::VideoFrame>& frame)
       OVERRIDE;
 
   // Media player callback handlers.
-  virtual void OnMediaMetadataChanged(base::TimeDelta duration, int width,
-                                      int height, bool success);
-  virtual void OnPlaybackComplete();
-  virtual void OnBufferingUpdate(int percentage);
-  virtual void OnSeekComplete(base::TimeDelta current_time);
-  virtual void OnMediaError(int error_type);
-  virtual void OnVideoSizeChanged(int width, int height);
+  void OnMediaMetadataChanged(base::TimeDelta duration, int width,
+                              int height, bool success);
+  void OnPlaybackComplete();
+  void OnBufferingUpdate(int percentage);
+  void OnSeekComplete(base::TimeDelta current_time);
+  void OnMediaError(int error_type);
+  void OnVideoSizeChanged(int width, int height);
+  void OnMediaSeekRequest(base::TimeDelta time_to_seek);
 
   // Called to update the current time.
-  virtual void OnTimeUpdate(base::TimeDelta current_time);
+  void OnTimeUpdate(base::TimeDelta current_time);
 
   // Functions called when media player status changes.
   void OnMediaPlayerPlay();
   void OnMediaPlayerPause();
   void OnDidEnterFullscreen();
   void OnDidExitFullscreen();
 
   // Called when the player is released.
   virtual void OnPlayerReleased();
 
@@ skipping 147 matching lines @@
   double current_time_;
 
   media::MediaLog* media_log_;
 
   DISALLOW_COPY_AND_ASSIGN(WebMediaPlayerAndroid);
 };
 
 }  // namespace webkit_media
 
 #endif  // WEBKIT_MEDIA_ANDROID_WEBMEDIAPLAYER_ANDROID_H_