Integrate About page into Settings for Chrome OS settings in a window.

chrome/browser/resources/options/search_page.js

Index: chrome/browser/resources/options/search_page.js
diff --git a/chrome/browser/resources/options/search_page.js b/chrome/browser/resources/options/search_page.js
index 0152017b9fae2c119308020c7dd6905107ba86ef..204ac2cdfa4d42b6c703cd86eb4e1ab333c3a896 100644
--- a/chrome/browser/resources/options/search_page.js
+++ b/chrome/browser/resources/options/search_page.js
@@ -157,22 +157,23 @@ cr.define('options', function() {
 
     /**
      * Called after this page has shown.
+     * @override
      */
     didShowPage: function() {
-      // This method is called by the Options page after all pages have
-      // had their visibilty attribute set.  At this point we can perform the
-      // search specific DOM manipulation.
+      // This method is called by PageManager after all pages have had their
+      // visibility attribute set. At this point we can perform the
+      // search-specific DOM manipulation.
       this.setSearchActive_(true);
     },
 
     /**
      * Called before this page will be hidden.
+     * @override
      */
     willHidePage: function() {
-      // This method is called by the Options page before all pages have
-      // their visibilty attribute set.  Before that happens, we need to
-      // undo the search specific DOM manipulation that was performed in
-      // didShowPage.
+      // This method is called by PageManager before all pages have had their
+      // visibility attribute set. Before that happens, we need to undo the
+      // search-specific DOM manipulation that was performed in didShowPage.
       this.setSearchActive_(false);
     },