[gedit] docs - revising pages to reflect usage of gmenu in gedit. partially fixes bug 694538

[Jim Campbell <jcampbell src gnome org>]

commit f914387678a1f5afea24b94a3676a56612dfda81
Author: Jim Campbell <jwcampbell gmail com>
Date:   Sat Feb 23 19:59:56 2013 +0100

    docs - revising pages to reflect usage of gmenu in gedit. partially fixes bug 694538

 help/C/gedit-change-color-scheme.page     |    3 ++-
 help/C/gedit-change-default-font.page     |    5 +++--
 help/C/gedit-plugins-bookmarks.page       |    5 +++--
 help/C/gedit-plugins-bracket-comp.page    |    5 +++--
 help/C/gedit-plugins-change-case.page     |    4 ++--
 help/C/gedit-plugins-character-map.page   |    5 +++--
 help/C/gedit-plugins-code-assistance.page |    4 ++--
 help/C/gedit-plugins-code-comment.page    |    6 +++---
 help/C/gedit-plugins-color-picker.page    |    6 +++---
 help/C/gedit-plugins-commander.page       |    5 +++--
 help/C/gedit-plugins-dashboard.page       |   10 +++++-----
 11 files changed, 32 insertions(+), 26 deletions(-)
---
diff --git a/help/C/gedit-change-color-scheme.page b/help/C/gedit-change-color-scheme.page
index d93fb38..6729753 100644
--- a/help/C/gedit-change-color-scheme.page
+++ b/help/C/gedit-change-color-scheme.page
@@ -18,7 +18,8 @@
 
   <p>To change the color scheme, complete the following steps:</p>
   <steps>
-    <item><p>Select <guiseq><gui>Edit</gui><gui>Preferences</gui>
+    <item><p>Select <guiseq><gui style="menu">gedit</gui>
+    <gui style="menuitem">Preferences</gui>
     <gui>Font &amp; Colors</gui></guiseq>.</p></item>
     <item><p>Choose your desired color scheme.</p></item>
   </steps>
diff --git a/help/C/gedit-change-default-font.page b/help/C/gedit-change-default-font.page
index deda406..82f36e1 100644
--- a/help/C/gedit-change-default-font.page
+++ b/help/C/gedit-change-default-font.page
@@ -21,8 +21,9 @@
   
   <steps>
     <title>To change the default font in <app>gedit</app>:</title>
-      <item><p>Select <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Font 
-      &amp; Colors</gui></guiseq>.</p></item>
+      <item><p>Select <guiseq><gui style="menu">gedit</gui>
+      <gui style="menuitem">Preferences</gui>
+      <gui>Font &amp; Colors</gui></guiseq>.</p></item>
       <item><p>Uncheck the box next to the phrase, "Use the system fixed-width
       font."</p></item>
       <item><p>Choose your desired font, and use the <gui>slider</gui> to set 
diff --git a/help/C/gedit-plugins-bookmarks.page b/help/C/gedit-plugins-bookmarks.page
index cba1de7..316deec 100644
--- a/help/C/gedit-plugins-bookmarks.page
+++ b/help/C/gedit-plugins-bookmarks.page
@@ -19,8 +19,9 @@
   document or program, making them easier to find. You can also move up or 
   down between bookmarks, making document navigation a bit faster.</p>
 
-  <p>To enable the bookmark plugin, select <guiseq><gui>Edit</gui><gui>
-  Preferences</gui><gui>Plugins</gui><gui>Bookmarks</gui></guiseq>.</p>
+  <p>To enable the bookmark plugin, select <guiseq><gui style="menu">gedit</gui>
+  <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+  <gui>Bookmarks</gui></guiseq>.</p>
 
   <steps>
     <title>Bookmarks are inserted and removed by completing the same action. To 
diff --git a/help/C/gedit-plugins-bracket-comp.page b/help/C/gedit-plugins-bracket-comp.page
index 151a4e0..72f2004 100644
--- a/help/C/gedit-plugins-bracket-comp.page
+++ b/help/C/gedit-plugins-bracket-comp.page
@@ -17,8 +17,9 @@
   <p>The <app>Bracket Completion</app> plugin will auto-complete closing
   brackets for curly braces, parentheses, and square brackets.</p>
 
-  <p>To enable the plugin, select <guiseq><gui>Edit</gui><gui>Preferences</gui>
-  <gui>Plugins</gui><gui>Bracket Completion</gui></guiseq>.</p>
+  <p>To enable the plugin, select <guiseq><gui style="menu">gedit</gui>
+  <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+  <gui>Bracket Completion</gui></guiseq>.</p>
 
   <note><p>This plugin does not automatically insert closing HTML or XML
   tags.</p></note>
diff --git a/help/C/gedit-plugins-change-case.page b/help/C/gedit-plugins-change-case.page
index e5e37c1..77101ad 100644
--- a/help/C/gedit-plugins-change-case.page
+++ b/help/C/gedit-plugins-change-case.page
@@ -22,8 +22,8 @@
   <p>This plugin helps you to change the case of selected portions of text. You
   can use it to change text to be all lower case, all upper case, to invert the
   case, or apply title case. To enable this plugin, select
-  <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui><gui>Change
-  Case</gui></guiseq>.</p>
+  <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+  <gui>Plugins</gui><gui>Change Case</gui></guiseq>.</p>
 
   <p>Once the <em>Change Case</em> plugin is enabled, you can use it by
   completing the following steps:</p>
diff --git a/help/C/gedit-plugins-character-map.page b/help/C/gedit-plugins-character-map.page
index f7b2008..e17c655 100644
--- a/help/C/gedit-plugins-character-map.page
+++ b/help/C/gedit-plugins-character-map.page
@@ -29,8 +29,9 @@
 
   <p>The <app>Character Map</app> plugin enables you to insert characters into
   your document that you may not be able to type easily using your keyboard. To
-  enable this plugin, select <guiseq><gui>Edit</gui><gui>Preferences</gui>
-  <gui>Plugins</gui><gui>Character Map</gui></guiseq>.</p>
+  enable this plugin, select <guiseq><gui style="menu">gedit</gui>
+  <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+  <gui>Character Map</gui></guiseq>.</p>
   
   <section id="using-character-map">
     <title>Using Character Map</title>
diff --git a/help/C/gedit-plugins-code-assistance.page b/help/C/gedit-plugins-code-assistance.page
index b675ea6..552cb73 100644
--- a/help/C/gedit-plugins-code-assistance.page
+++ b/help/C/gedit-plugins-code-assistance.page
@@ -20,8 +20,8 @@
 
   <p>The <app>gedit-code-assistance</app> plugin provides real-time error 
   highlighting for C, C++ and Objective-C. To enable this plugin, select 
-  <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui><gui>Code 
-  Assistance</gui></guiseq>.</p>
+  <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+  <gui>Plugins</gui><gui>Code Assistance</gui></guiseq>.</p>
   
   <!--
   <section id="code-assistance-features">
diff --git a/help/C/gedit-plugins-code-comment.page b/help/C/gedit-plugins-code-comment.page
index 1aead2d..33fbb5a 100644
--- a/help/C/gedit-plugins-code-comment.page
+++ b/help/C/gedit-plugins-code-comment.page
@@ -22,8 +22,8 @@
   
   <p>The <app>code comment</app> plugin makes it easier to quickly create or 
   remove code comments. To enable the code comment plugin, select
-  <guiseq><gui>Edit</gui><gui> Preferences</gui><gui>Plugins</gui>
-  <gui>Code comment</gui></guiseq>.</p>
+  <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+  <gui>Plugins</gui><gui>Code comment</gui></guiseq>.</p>
   
   <p>To create or remove a comment:</p>
   <steps>
@@ -37,7 +37,7 @@
     <key>Ctrl</key><key>M</key></keyseq>.</p></item>
   </steps>
   
-  <note style="tip"><p><app>Gedit</app> will automatically use the correct
+  <note style="tip"><p><app>gedit</app> will automatically use the correct
   style of comment based on the language or syntax of the file. If
   <app>gedit</app> doesn't identify your language or syntax, you can select it
   from the language list in the bottom <gui>Status bar</gui>.</p></note>
diff --git a/help/C/gedit-plugins-color-picker.page b/help/C/gedit-plugins-color-picker.page
index 2d0257a..2fe95e2 100644
--- a/help/C/gedit-plugins-color-picker.page
+++ b/help/C/gedit-plugins-color-picker.page
@@ -20,9 +20,9 @@
   codes that represent a certain color. This can make it easier to choose
   and use the correct color in your programs.</p>
   
-  <p>To enable the color picker plugin, select <guiseq><gui>
-  Edit</gui><gui>Preferences</gui><gui>Plugins</gui><gui>Color Picker</gui>
-  </guiseq>.</p>
+  <p>To enable the color picker plugin, select <guiseq>
+  <gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+  <gui>Plugins</gui><gui>Color Picker</gui></guiseq>.</p>
   
   <p>To open and use the color picker:</p>
   <steps>
diff --git a/help/C/gedit-plugins-commander.page b/help/C/gedit-plugins-commander.page
index cece24b..c1dfd95 100644
--- a/help/C/gedit-plugins-commander.page
+++ b/help/C/gedit-plugins-commander.page
@@ -18,8 +18,9 @@
 
   <p>The <app>Commander</app> plugin is a plugin for advanced <app>gedit</app> 
   users that allows you to perform command-line actions on the current 
-  file. To enable the commander plugin, select <guiseq><gui>Edit</gui><gui>
-  Preferences</gui><gui>Plugins</gui><gui>Commander</gui></guiseq>.</p>
+  file. To enable the commander plugin, select <guiseq>
+  <gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+  <gui>Plugins</gui><gui>Commander</gui></guiseq>.</p>
 
   <p>Once you have enabled the plugin, activate it by pressing <keyseq><key>
   Ctrl</key><key>.</key></keyseq>.</p>
diff --git a/help/C/gedit-plugins-dashboard.page b/help/C/gedit-plugins-dashboard.page
index 15c0bcc..a5e261a 100644
--- a/help/C/gedit-plugins-dashboard.page
+++ b/help/C/gedit-plugins-dashboard.page
@@ -17,10 +17,10 @@
 
   <p>The <app>Dashboard</app> plugin provides quick access to your most 
   recently-used files and most-frequently used files. To 
-  activate the <app>Dashboard</app> plugin, select <guiseq><gui>Edit</gui><gui>
-  Preferences</gui><gui>Plugins</gui><gui>Dashboard</gui></guiseq>. You will
-  need to restart <app>gedit</app> to activate the <app>Dashboard</app> plugin.
-  </p>
+  activate the <app>Dashboard</app> plugin, select <guiseq>
+  <gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+  <gui>Plugins</gui><gui>Dashboard</gui></guiseq>. You will need to restart
+  <app>gedit</app> to activate the <app>Dashboard</app> plugin.</p>
   
   <p>The <app>dashboard</app> also includes a <gui>Search</gui> window, 
   allowing you to search for files that may not appear in the list of files.</p>
@@ -37,7 +37,7 @@
     <title>Most frequently-used files</title>
     <p>Similarly, the dashboard displays a shortcut for an <gui>empty document
     </gui> and seven of your most frequently-used files. Click on the <gui>
-    empty document</gui> to create a new file. Click on any of the other 
+    empty document</gui> to create a new file. Click on any of the other
     files to open that file.</p>
 
   <note style="tip"><p>Once activated, the <app>dashboard</app> will be