Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-30 00:01:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 253521: use 'Menu > Menuitem' everywhere. r=Jeff

Browse Source
This commit is contained in:
steffen.wilberg%web.de 2005-03-26 22:00:36 +00:00
parent 027bd33e7f
commit 36732fcbc5
1 changed files with 23 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
browser/components/help/locale/en-US/customization.xhtml
View File

@ -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>