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 189678)
+++ 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}
      * @private
      */
     initializationComplete_: false,
@@ -467,6 +467,18 @@
         }
       }
 
+      // System section.
+      if (!cr.isChromeOS) {
+        $('gpu-mode-reset-restart').hidden = true;
+        $('gpu-mode-checkbox').onclick = function(event) {
+          $('gpu-mode-reset-restart').hidden = false;

[Dan Beam, 2013/03/21 22:42:44]

$('gpu-mode-reset-restart').hidden =
    loadTimeData.getBoolean('gpuModeAtStart') ==
    event.currentTarget.checked;

+        };
+        $('gpu-mode-reset-restart-link').onclick = function(event) {
+          event.preventDefault();
+          chrome.send('restartBrowser');
+        };
+      }
+
       if (loadTimeData.getBoolean('managedUsersEnabled') &&
           loadTimeData.getBoolean('profileIsManaged')) {
         $('managed-user-settings-section').hidden = false;