Provide a link to restart chrome when changing gpu settings

chrome/browser/resources/options/browser_options.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 ArrayDataModel = cr.ui.ArrayDataModel;
   var RepeatingButton = cr.ui.RepeatingButton;
 
   //
@@ skipping 24 matching lines @@
      * |onShowHomeButtonChanged_|.
      * @type {boolean}
      * @private
      */
     onShowHomeButtonChangedCalled_: false,
 
     /**
      * Track if page initialization is complete.  All C++ UI handlers have the
      * chance to manipulate page content within their InitializePage methods.
      * This flag is set to true after all initializers have been called.
-     * @type (boolean}
+     * @type {boolean}

[Dan Beam, 2013/03/22 22:44:04]

thx

      * @private
      */
     initializationComplete_: false,
 
     /** @override */
     initializePage: function() {
       OptionsPage.prototype.initializePage.call(this);
       var self = this;
 
       // Ensure that navigation events are unblocked on uber page. A reload of
@@ skipping 404 matching lines @@
       if (cr.isChromeOS) {
         if (loadTimeData.getBoolean('enableKioskSection')) {
           $('kiosk-section').hidden = false;
 
           $('manage-kiosk-apps-button').onclick = function(event) {
             OptionsPage.navigateToPage('kioskAppsOverlay');
           };
         }
       }
 
+      // System section.
+      if (!cr.isChromeOS) {
+        $('gpu-mode-reset-restart').hidden = true;
+        Preferences.getInstance().addEventListener(
+            'hardware_acceleration_mode.enabled',
+            function(event) {
+              $('gpu-mode-reset-restart').hidden =
+                  loadTimeData.getBoolean('gpuEnabledAtStart') ==
+                  event.value.value;
+            });
+        $('gpu-mode-reset-restart-button').onclick = function(event) {
+          chrome.send('restartBrowser');
+        };
+      }
+
       if (loadTimeData.getBoolean('managedUsersEnabled') &&
           loadTimeData.getBoolean('profileIsManaged')) {
         $('managed-user-settings-section').hidden = false;
 
         $('open-managed-user-settings-button').onclick = function(event) {
           OptionsPage.navigateToPage('managedUser');
         };
       }
     },
 
@@ skipping 899 matching lines @@
     removeBluetoothDevice_: function(address) {
       var index = $('bluetooth-unpaired-devices-list').find(address);
       if (index != undefined) {
         $('bluetooth-unpaired-devices-list').deleteItemAtIndex(index);
       } else {
         index = $('bluetooth-paired-devices-list').find(address);
         if (index != undefined)
           $('bluetooth-paired-devices-list').deleteItemAtIndex(index);
       }
     }
+

[Dan Beam, 2013/03/22 22:44:04]

it's not a big deal, but I'd revert this

   };
 
   //Forward public APIs to private implementations.
   [
     'addBluetoothDevice',
     'enableFactoryResetSection',
     'getCurrentProfile',
     'getStartStopSyncButton',
     'hideBluetoothSettings',
     'notifyInitializationComplete',
@@ skipping 41 matching lines @@
     BrowserOptions.getLoggedInUsername = function() {
       return BrowserOptions.getInstance().username_;
     };
   }
 
   // Export
   return {
     BrowserOptions: BrowserOptions
   };
 });