Split OptionsPage into Page and PageManager

chrome/browser/resources/options/chromeos/keyboard_overlay.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() {
 
   /**
    * Auto-repeat delays (in ms) for the corresponding slider values, from
    * long to short. The values were chosen to provide a large range while giving
    * several options near the defaults.
@@ skipping 42 matching lines @@
       autoRepeatDelayRange.customPrefChangeHandler =
           this.handleAutoRepeatDelayPrefChange_.bind(this);
 
       var autoRepeatIntervalRange = $('auto-repeat-interval-range');
       autoRepeatIntervalRange.valueMap = AUTO_REPEAT_INTERVALS;
       autoRepeatIntervalRange.max = AUTO_REPEAT_INTERVALS.length - 1;
       autoRepeatIntervalRange.customPrefChangeHandler =
           this.handleAutoRepeatIntervalPrefChange_.bind(this);
 
       $('languages-and-input-settings').onclick = function(e) {
-        OptionsPage.navigateToPage('languages');
+        PageManager.showPageByName('languages');
         chrome.send('coreOptionsUserMetricsAction',
                     ['Options_KeyboardShowLanguageSettings']);
       };
 
       $('keyboard-shortcuts').onclick = function(e) {
         chrome.send('showKeyboardShortcuts');
         chrome.send('coreOptionsUserMetricsAction',
                     ['Options_KeyboardShowKeyboardShortcuts']);
       };
     },
@@ skipping 94 matching lines @@
       var instance = KeyboardOverlay.getInstance();
       return instance[name + '_'].apply(instance, arguments);
     };
   });
 
   // Export
   return {
     KeyboardOverlay: KeyboardOverlay
   };
 });