Miscellaneous small doc cleanup, including:

* Add Mac menu equivalent where Tools menu is mentioned
* "popup" -> "default_popup"

TBR=aa
TEST=none
BUG=none

Review URL: http://codereview.chromium.org/1521009

git-svn-id: svn://svn.chromium.org/chrome/trunk/src@43293 0039d316-1c4b-4281-b951-d872f2087c98

6 files changed, 14 insertions, 12 deletions

diff --git a/chrome/common/extensions/docs/faq.html b/chrome/common/extensions/docs/faq.html
index 7eef6ec..7c5a86d 100644
--- a/chrome/common/extensions/docs/faq.html
+++ b/chrome/common/extensions/docs/faq.html
@@ -332,9 +332,9 @@ try the
 <p>
   As long as you are using a version of Google Chrome that supports
   extensions, you already have everything you need to start writing an
-  extension of your own. Select "Extensions" from the Tools menu
-  <img style="vertical-align: middle;" src="images/toolsmenu.gif"> (or from
-  the window menu on Mac) and click "Developer Mode". From there, you can load
+  extension of your own. Select <b>Extensions</b> from the Tools menu
+  <img style="vertical-align: middle; margin:0; padding:0" src="images/toolsmenu.gif"> (or from
+  the Window menu on Mac) and click <b>Developer Mode</b>. From there, you can load
   an unpacked directory of files as if it were a packaged extension, reload
   extensions, and more. For a complete tutorial, please view
   <a href="http://code.google.com/chrome/extensions/getstarted.html">this getting started guide</a>.
diff --git a/chrome/common/extensions/docs/getstarted.html b/chrome/common/extensions/docs/getstarted.html
index a57d4395..0ab221c 100644
--- a/chrome/common/extensions/docs/getstarted.html
+++ b/chrome/common/extensions/docs/getstarted.html
@@ -340,8 +340,9 @@ to the toolbar of Google Chrome.
       <li>
       Bring up the extensions management page
       by clicking the Tools menu
-      <img src="images/toolsmenu.gif" width="43" height="34" alt="" align="absmiddle" style="margin:0; padding:0">and
-      choosing <b>Extensions</b>.
+      <img src="images/toolsmenu.gif" width="43" height="34" alt="" align="absmiddle" style="margin:0; padding:0">
+      (or the Window menu on Mac)
+      and choosing <b>Extensions</b>.
       </li>
 
       <li>
diff --git a/chrome/common/extensions/docs/overview.html b/chrome/common/extensions/docs/overview.html
index c924ad3..f58dea7 100644
--- a/chrome/common/extensions/docs/overview.html
+++ b/chrome/common/extensions/docs/overview.html
@@ -427,7 +427,7 @@ that uses information from google.com:
   "browser_action": {
     "default_title": "",
     "default_icon": "icon_19.png",
-    "popup": "popup.html"
+    "default_popup": "popup.html"
   }
 }</pre>
 
diff --git a/chrome/common/extensions/docs/static/faq.html b/chrome/common/extensions/docs/static/faq.html
index 8aee469..280b5ef 100644
--- a/chrome/common/extensions/docs/static/faq.html
+++ b/chrome/common/extensions/docs/static/faq.html
@@ -80,9 +80,9 @@ try the
 <p>
   As long as you are using a version of Google Chrome that supports
   extensions, you already have everything you need to start writing an
-  extension of your own. Select "Extensions" from the Tools menu
-  <img style="vertical-align: middle;" src="images/toolsmenu.gif" /> (or from
-  the window menu on Mac) and click "Developer Mode". From there, you can load
+  extension of your own. Select <b>Extensions</b> from the Tools menu
+  <img style="vertical-align: middle; margin:0; padding:0" src="images/toolsmenu.gif" /> (or from
+  the Window menu on Mac) and click <b>Developer Mode</b>. From there, you can load
   an unpacked directory of files as if it were a packaged extension, reload
   extensions, and more. For a complete tutorial, please view
   <a href="http://code.google.com/chrome/extensions/getstarted.html">this getting started guide</a>.
diff --git a/chrome/common/extensions/docs/static/getstarted.html b/chrome/common/extensions/docs/static/getstarted.html
index 67b8cd8..ea43c92 100644
--- a/chrome/common/extensions/docs/static/getstarted.html
+++ b/chrome/common/extensions/docs/static/getstarted.html
@@ -74,8 +74,9 @@ to the toolbar of Google Chrome.
       Bring up the extensions management page
       by clicking the Tools menu
       <img src="images/toolsmenu.gif" width="43" height="34" alt=""
-           align="absmiddle" style="margin:0; padding:0">and
-      choosing <b>Extensions</b>.
+           align="absmiddle" style="margin:0; padding:0">
+      (or the Window menu on Mac)
+      and choosing <b>Extensions</b>.
       </li>
 
       <li>
diff --git a/chrome/common/extensions/docs/static/overview.html b/chrome/common/extensions/docs/static/overview.html
index e68917a..ff7d231 100644
--- a/chrome/common/extensions/docs/static/overview.html
+++ b/chrome/common/extensions/docs/static/overview.html
@@ -138,7 +138,7 @@ that uses information from google.com:
   "browser_action": {
     "default_title": "",
     "default_icon": "icon_19.png",
-    "popup": "popup.html"
+    "default_popup": "popup.html"
   }
 }</pre>