From bf044394c56e69ac652c453288b00da4fe013d8d Mon Sep 17 00:00:00 2001
From: "steffen.wilberg%web.de"
 <steffen.wilberg%web.de@18797224-902f-48f8-a5cc-f745e15eee43>
Date: Sat, 26 Mar 2005 22:00:36 +0000
Subject: [PATCH] Bug 253521: use 'Menu > Menuitem' everywhere. r=Jeff

git-svn-id: svn://10.0.0.236/trunk@171241 18797224-902f-48f8-a5cc-f745e15eee43
---
 .../help/locale/en-US/customization.xhtml     | 49 +++++++++----------
 1 file changed, 23 insertions(+), 26 deletions(-)

diff --git a/mozilla/browser/components/help/locale/en-US/customization.xhtml b/mozilla/browser/components/help/locale/en-US/customization.xhtml
index bad69d8cc42..e18497d3831 100644
--- a/mozilla/browser/components/help/locale/en-US/customization.xhtml
+++ b/mozilla/browser/components/help/locale/en-US/customization.xhtml
@@ -134,34 +134,32 @@ Contributors:
 
 <h3 id="uninstalling_themes">Uninstalling Themes</h3>
 
-<p>Should you ever wish to remove a theme from &brandShortName;, click on <span
-  class="menuPath">Tools</span> from the menu bar and select the
-  <span class="menuPath">Themes</span> menu item.</p>
+<p>Should you ever wish to remove a theme from &brandShortName;, select <span
+  class="menuPath">Tools &gt; Themes</span> to open the Theme Manager.</p>
 
 <p><img width="375" height="285" alt=""
   src="&images.baseURL;/theme_manager.png"/></p>
-  
-<p>Once in the Themes Manager, select the theme that you wish to remove. Then,
-  click the Uninstall button. You may need to close and then reopen
+
+<p>In the Theme Manager, select the theme you wish to remove, and click the
+  <em>Uninstall</em> button. You may need to close and then reopen
   &brandShortName; for all changes to take effect.</p>
 
 <h3 id="changing_themes">Switching Themes</h3>
 
-<p>To switch between your installed themes, select <span class="menuPath">
-  Tools</span> menu and click on <span class="menuPath">Themes</span>.</p>
+<p>To switch between your installed themes, select <span class="menuPath">Tools
+  &gt; Themes</span> to open the Theme Manager.</p>
 
-<p>Once in the Themes dialog, simply select the theme of your choice, and click
-  the Use Theme button. It is recommended that you close and then reopen
-  &brandShortName; so that the theme can be applied correctly.</p>
+<p>In the Theme Manager, select the theme of your choice, and click
+  the <em>Use Theme</em> button. It is recommended that you close and then
+  reopen &brandShortName; so that the theme can be applied correctly.</p>
 
 <h3 id="updating_themes">Updating Themes</h3>
 
 <p>Whenever you would like to check for a newer version of a theme that you
-  have installed, you will need to access &brandShortName;'s <span
-  class="menuPath">Tools</span> menu, then select the <span class="menuPath">
-  Themes</span> menu item.</p>
+  have installed, select <span class="menuPath">Tools &gt; Themes</span> to open
+  the Theme Manager.</p>
 
-<p>Simply select the theme that you wish to update, and then click the
+<p>In the Theme Manager, select the theme you wish to update, and click the
   <em>Update</em> button.</p>
 
 <h2 id="extensions">Extensions</h2>
@@ -181,28 +179,27 @@ Contributors:
 
 <h3 id="uninstalling_extensions">Uninstalling Extensions</h3>
 
-<p>Should you ever wish to remove an extension from &brandShortName;, you will
-  need to access &brandShortName;'s <span class="menuPath">Tools</span> menu,
-  then select the <span class="menuPath">Extensions</span> menu item.</p>
+<p>Should you ever wish to remove an extension from &brandShortName;, select
+  <span class="menuPath">Tools &gt; Extensions</span> to open the Extension
+  Manager.</p>
 
 <p><img width="300" height="225" alt=""
   src="&images.baseURL;/extension_manager.png"/></p>
 
-<p>Once in the Extensions dialog, select the extension that you wish to remove.
-  Then, click the Uninstall button. You may need to close and then reopen
+<p>In the Extension Manager, select the extension you wish to remove, and click
+  the <em>Uninstall</em> button. You may need to close and then reopen
   &brandShortName; for all changes to take effect.</p>
 
 <h3 id="updating_extensions">Updating Extensions</h3>
 
 <p>Whenever you would like to check for a newer version of an extension that
-  you have installed, You will need to access &brandShortName;'s <span
-  class="menuPath">Tools</span> menu, then select the <span class="menuPath">
-  Extensions</span> menu item.</p>
+  you have installed, select <span class="menuPath">Tools &gt;
+  Extensions</span> to open the Extension Manager.</p>
 
-<p>Simply select the extension that you wish to update, and then click the
-  <em>Update</em> button.</p>
+<p>In the Extension Manager, select the extension you wish to update, and click
+  the <em>Update</em> button.</p>
 
-<div class="contentsBox"><em>05 November 2004</em></div>
+<div class="contentsBox"><em>24 March 2005</em></div>
 <p>Copyright &copy; 2003-2005 Contributors to the Mozilla Help Viewer Project.</p>
 
 </body>