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.
+      $('hardwareAccelerationModeChange').style.visibility = 'hidden';
+      $('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
   };
 });