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 449 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) {
+        $('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;
 
         $('open-managed-user-settings-button').onclick = function(event) {
           OptionsPage.navigateToPage('managedUser');
         };
       }
     },
 
@@ skipping 960 matching lines @@
     BrowserOptions.getLoggedInUsername = function() {
       return BrowserOptions.getInstance().username_;
     };
   }
 
   // Export
   return {
     BrowserOptions: BrowserOptions
   };
 });