Small cleanups in the Mojo HTML viewer

mojo/services/html_viewer/html_document.h

 // Copyright 2014 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 MOJO_SERVICES_HTML_VIEWER_HTML_DOCUMENT_H_
 #define MOJO_SERVICES_HTML_VIEWER_HTML_DOCUMENT_H_
 
 #include <set>
 
 #include "base/callback.h"
@@ skipping 58 matching lines @@
                WebMediaPlayerFactory* web_media_player_factory,
                bool is_headless);
   ~HTMLDocument() override;
 
  private:
   // Updates the size and scale factor of the webview and related classes from
   // |root_|.
   void UpdateWebviewSizeFromViewSize();
 
   // WebViewClient methods:
-  blink::WebStorageNamespace* createSessionStorageNamespace() override;
+  virtual blink::WebStorageNamespace* createSessionStorageNamespace();
 
   // WebWidgetClient methods:
   void initializeLayerTreeView() override;
   blink::WebLayerTreeView* layerTreeView() override;
 
   // WebFrameClient methods:
   virtual blink::WebMediaPlayer* createMediaPlayer(
       blink::WebLocalFrame* frame,
       const blink::WebURL& url,
       blink::WebMediaPlayerClient* client);
-  blink::WebMediaPlayer* createMediaPlayer(
+  virtual blink::WebMediaPlayer* createMediaPlayer(
       blink::WebLocalFrame* frame,
       const blink::WebURL& url,
       blink::WebMediaPlayerClient* client,
-      blink::WebContentDecryptionModule* initial_cdm) override;
-  blink::WebFrame* createChildFrame(
+      blink::WebContentDecryptionModule* initial_cdm);
+  virtual blink::WebFrame* createChildFrame(
       blink::WebLocalFrame* parent,
       const blink::WebString& frameName,
-      blink::WebSandboxFlags sandboxFlags) override;
-  void frameDetached(blink::WebFrame*) override;
-  blink::WebCookieJar* cookieJar(blink::WebLocalFrame* frame) override;
-  blink::WebNavigationPolicy decidePolicyForNavigation(
+      blink::WebSandboxFlags sandboxFlags);
+  virtual void frameDetached(blink::WebFrame*);
+  virtual blink::WebCookieJar* cookieJar(blink::WebLocalFrame* frame);
+  virtual blink::WebNavigationPolicy decidePolicyForNavigation(
       blink::WebLocalFrame* frame,
       blink::WebDataSource::ExtraData* data,
       const blink::WebURLRequest& request,
       blink::WebNavigationType nav_type,
       blink::WebNavigationPolicy default_policy,
-      bool isRedirect) override;
-  void didAddMessageToConsole(const blink::WebConsoleMessage& message,
-                              const blink::WebString& source_name,
-                              unsigned source_line,
-                              const blink::WebString& stack_trace) override;
-  void didFinishLoad(blink::WebLocalFrame* frame) override;
-  void didNavigateWithinPage(blink::WebLocalFrame* frame,
-                             const blink::WebHistoryItem& history_item,
-                             blink::WebHistoryCommitType commit_type) override;
-  blink::WebEncryptedMediaClient* encryptedMediaClient() override;
+      bool isRedirect);
+  virtual void didAddMessageToConsole(const blink::WebConsoleMessage& message,
+                                      const blink::WebString& source_name,
+                                      unsigned source_line,
+                                      const blink::WebString& stack_trace);
+  virtual void didFinishLoad(blink::WebLocalFrame* frame);
+  virtual void didNavigateWithinPage(blink::WebLocalFrame* frame,
+                                     const blink::WebHistoryItem& history_item,
+                                     blink::WebHistoryCommitType commit_type);
+  virtual blink::WebEncryptedMediaClient* encryptedMediaClient();
 
   // ViewManagerDelegate methods:
   void OnEmbed(mojo::View* root,
                mojo::InterfaceRequest<mojo::ServiceProvider> services,
                mojo::ServiceProviderPtr exposed_services) override;
   void OnViewManagerDisconnected(mojo::ViewManager* view_manager) override;
 
   // ViewObserver methods:
   void OnViewBoundsChanged(mojo::View* view,
                            const mojo::Rect& old_bounds,
@@ skipping 41 matching lines @@
   scoped_ptr<TouchHandler> touch_handler_;
 
   float device_pixel_ratio_;
 
   DISALLOW_COPY_AND_ASSIGN(HTMLDocument);
 };
 
 }  // namespace html_viewer
 
 #endif  // MOJO_SERVICES_HTML_VIEWER_HTML_DOCUMENT_H_