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 189066)
+++ chrome/browser/resources/options/browser_options.js	(working copy)
@@ -467,6 +467,18 @@
         }
       }
 
+      // System section.
+      if (!cr.isChromeOS) {
+        $('hardwareAccelerationModeChange').style.visibility = 'hidden';

[Dan Beam, 2013/03/20 22:17:55]

this still takes up space, is that what you want?

[Zhenyao Mo, 2013/03/20 23:21:49]

I think this one is OK.

+        $('hardwareAccelerationModeCheckbox').onclick = function(event) {
+          $('hardwareAccelerationModeChange').style.visibility = 'visible';
+        };
+        $('hardwareAccelerationModeChangeRestartLink').onclick =
+            function(event) {
+          chrome.send('restartBrowser');
+        };
+      }
+
       if (loadTimeData.getBoolean('managedUsersEnabled') &&
           loadTimeData.getBoolean('profileIsManaged')) {
         $('managed-user-settings-section').hidden = false;