Clean up cr.ui.pageManager.Page prototype

chrome/browser/resources/options/font_settings.js

 // 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.
 
 cr.define('options', function() {
 
   var OptionsPage = options.OptionsPage;
   var Page = cr.ui.pageManager.Page;
   var PageManager = cr.ui.pageManager.PageManager;
 
@@ skipping 48 matching lines @@
 
       $('font-settings-confirm').onclick = function() {
         PageManager.closeOverlay();
       };
 
       $('advanced-font-settings-options').onclick = function() {
         chrome.send('openAdvancedFontSettingsOptions');
       };
     },
 
-    /**
-     * Called by the options page when this page has been shown.
-     */
+    /** @override */
     didShowPage: function() {
       // The fonts list may be large so we only load it when this page is
       // loaded for the first time.  This makes opening the options window
       // faster and consume less memory if the user never opens the fonts
       // dialog.
       if (!this.hasShown) {
         chrome.send('fetchFontsData');
         this.hasShown = true;
       }
     },
@@ skipping 167 matching lines @@
     $('advanced-font-settings-install').hidden = available;
     $('advanced-font-settings-options').hidden = !available;
   };
 
   // Export
   return {
     FontSettings: FontSettings
   };
 });