Provide a link to restart chrome when changing gpu settings

chrome/browser/resources/options/browser_options.js

Index: chrome/browser/resources/options/browser_options.js
===================================================================
--- chrome/browser/resources/options/browser_options.js	(revision 189907)
+++ chrome/browser/resources/options/browser_options.js	(working copy)
@@ -42,7 +42,7 @@
      * 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,
@@ -467,6 +467,21 @@
         }
       }
 
+      // 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;
@@ -1386,6 +1401,7 @@
           $('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.