[gedit] docs: modified pages to reflect use of gmenu. touches several files, but with minimal changes to eac
- From: Jim Campbell <jcampbell src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] docs: modified pages to reflect use of gmenu. touches several files, but with minimal changes to eac
- Date: Sun, 24 Feb 2013 09:45:04 +0000 (UTC)
commit 9fb2e2f11b7fa37e072ffebf64a45689af88dd82
Author: Jim Campbell <jwcampbell gmail com>
Date: Sun Feb 24 10:42:57 2013 +0100
docs: modified pages to reflect use of gmenu. touches several files, but with minimal changes to each
file.
help/C/gedit-plugins-bookmarks.page | 13 ++++++++-----
help/C/gedit-plugins-change-case.page | 4 ++--
help/C/gedit-plugins-code-comment.page | 4 ++--
help/C/gedit-plugins-doc-stats.page | 6 +++---
help/C/gedit-plugins-draw-spaces.page | 11 ++++++-----
help/C/gedit-plugins-external-tools.page | 5 +++--
help/C/gedit-plugins-file-browser.page | 4 ++--
help/C/gedit-plugins-insert-date-time.page | 15 ++++++++-------
help/C/gedit-plugins-install.page | 6 +++---
help/C/gedit-plugins-join-split-lines.page | 7 ++++---
help/C/gedit-plugins-modelines.page | 4 ++--
help/C/gedit-plugins-multi-edit.page | 4 ++--
help/C/gedit-plugins-pyconsole.page | 5 +++--
help/C/gedit-plugins-quick-open.page | 2 +-
help/C/gedit-plugins-session-saver.page | 3 ++-
help/C/gedit-plugins-snippets-guide.page | 4 ++--
help/C/gedit-plugins-sort.page | 6 +++---
help/C/gedit-plugins-tag-list.page | 4 ++--
help/C/gedit-plugins-terminal.page | 4 ++--
help/C/gedit-plugins-text-size.page | 5 +++--
help/C/gedit-plugins-word-completion.page | 4 ++--
help/C/gedit-spellcheck.page | 4 ++--
help/C/gedit-undo-recent-action.page | 2 +-
23 files changed, 68 insertions(+), 58 deletions(-)
---
diff --git a/help/C/gedit-plugins-bookmarks.page b/help/C/gedit-plugins-bookmarks.page
index 316deec..eb07da1 100644
--- a/help/C/gedit-plugins-bookmarks.page
+++ b/help/C/gedit-plugins-bookmarks.page
@@ -29,8 +29,8 @@
<item><p>Navigate to the line where you want to insert or remove the
bookmark.</p></item>
<item><p>Press <keyseq><key>Ctrl</key><key>Alt</key><key>B</key></keyseq>,
- or click <guiseq><gui>Edit</gui><gui>Toggle Bookmark</gui></guiseq>.</p>
- </item>
+ or click <guiseq><gui style="menu">Edit</gui>
+ <gui style="menuitem">Toggle Bookmark</gui></guiseq>.</p></item>
</steps>
<steps>
@@ -39,9 +39,12 @@
next bookmark.</p></item>
<item><p>Press <keyseq><key>Ctrl</key><key>Shift</key><key>B</key></keyseq>
to move to the previous bookmark.</p>
- <note><p>If you prefer using the mouse, you can click <guiseq><gui>Edit</gui>
- <gui>Go to Next Bookmark</gui></guiseq> or <guiseq><gui>Edit</gui><gui>Go to
- Previous Bookmark</gui></guiseq>.</p></note></item>
+ <note><p>If you prefer using the mouse, you can click <guiseq>
+ <gui style="menu">gedit</gui>
+ <gui style="menuitem">Go to Next Bookmark</gui></guiseq> or
+ <guiseq><gui style="menu">Edit</gui>
+ <gui style="menuitem">Go to Previous Bookmark</gui></guiseq>.</p></note>
+ </item>
</steps>
diff --git a/help/C/gedit-plugins-change-case.page b/help/C/gedit-plugins-change-case.page
index 77101ad..fe6007f 100644
--- a/help/C/gedit-plugins-change-case.page
+++ b/help/C/gedit-plugins-change-case.page
@@ -4,7 +4,7 @@
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-default-plugins"/>
- <revision pkgversion="3.2" version="1.0" date="2011-03-25" status="candidate"/>
+ <revision pkgversion="3.8" date="2013-02-24" status="candidate"/>
<credit type="author">
<name>Daniel Neel</name>
<email>dneelyep gmail com</email>
@@ -30,7 +30,7 @@
<steps>
<item><p>Highlight the portion of text that you want to change.</p></item>
- <item><p>Select <guiseq><gui>Edit</gui><gui>Change Case</gui></guiseq></p>
+ <item><p>Select <guiseq><gui style="menu">gedit</gui><gui>Change Case</gui></guiseq></p>
</item>
<item><p>Choose your desired text-formatting option.</p></item>
</steps>
diff --git a/help/C/gedit-plugins-code-comment.page b/help/C/gedit-plugins-code-comment.page
index 33fbb5a..bb943d6 100644
--- a/help/C/gedit-plugins-code-comment.page
+++ b/help/C/gedit-plugins-code-comment.page
@@ -29,10 +29,10 @@
<steps>
<item><p>Highlight the portion of text where you want to add or remove
a comment.</p></item>
- <item><p>To add a comment, click <guiseq><gui>Edit</gui>
+ <item><p>To add a comment, click <guiseq><gui style="menu">gedit</gui>
<gui>Comment Code</gui></guiseq>, or press <keyseq><key>Ctrl</key>
<key>M</key></keyseq>.</p></item>
- <item><p>To remove a comment, click <guiseq><gui>Edit</gui>
+ <item><p>To remove a comment, click <guiseq><gui style="menu">gedit</gui>
<gui>Uncomment Code</gui></guiseq>, or press <keyseq><key>Shift</key>
<key>Ctrl</key><key>M</key></keyseq>.</p></item>
</steps>
diff --git a/help/C/gedit-plugins-doc-stats.page b/help/C/gedit-plugins-doc-stats.page
index f62af6d..99fe05c 100644
--- a/help/C/gedit-plugins-doc-stats.page
+++ b/help/C/gedit-plugins-doc-stats.page
@@ -20,9 +20,9 @@
<title>Document statistics</title>
<p>The <em>Document Statistics</em> plugin shows you various statistics about
- your current document. To enable this plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui>
- <gui>Document Statistics</gui></guiseq>.</p>
+ your current document. To enable this plugin, select
+ <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+ <gui>Plugins</gui><gui>Document Statistics</gui></guiseq>.</p>
<section id="using-doc-stats">
<title>Using Document Statistics</title>
diff --git a/help/C/gedit-plugins-draw-spaces.page b/help/C/gedit-plugins-draw-spaces.page
index ebd1ff6..b369628 100644
--- a/help/C/gedit-plugins-draw-spaces.page
+++ b/help/C/gedit-plugins-draw-spaces.page
@@ -3,7 +3,7 @@
id="gedit-plugins-draw-spaces">
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
- <revision version="3.4" date="2011-11-05" status="candidate"/>
+ <revision version="3.8" date="2013-02-24" status="candidate"/>
<credit type="author">
<name>Jim Campbell</name>
@@ -20,10 +20,11 @@
whitespace visible, you can more easily see how whitespace is used in a
document, and can apply spacing strategies more consistently.</p>
- <p>To enable this plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui><gui>Draw Spaces</gui></guiseq>.
- After you have enabled the plugin, you can set its options by highlighting
- the plugin and selecting <gui>Preferences</gui>.</p>
+ <p>To enable this plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+ <gui>Draw Spaces</gui></guiseq>. After you have enabled the plugin, you can
+ set its options by highlighting the plugin and selecting
+ <gui style="menuitem">Preferences</gui>.</p>
<list>
<title>By default, the <app>Draw Spaces</app> plugin will mark the following
diff --git a/help/C/gedit-plugins-external-tools.page b/help/C/gedit-plugins-external-tools.page
index a694494..d5f19a7 100644
--- a/help/C/gedit-plugins-external-tools.page
+++ b/help/C/gedit-plugins-external-tools.page
@@ -6,7 +6,7 @@
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-default-plugins"/>
- <revision pkgversion="3.0" version="1.0" date="2011-03-25" status="final"/>
+ <revision pkgversion="3.8" date="2013-02-24" status="candidate"/>
<credit type="author">
<name>Daniel Neel</name>
<email>dneelyep gmail com</email>
@@ -25,7 +25,8 @@
Specifically, it extends <app>gedit</app> by helping you to run scripts on
your working files, and by allowing <app>gedit</app> to interact with other
programs on your computer. To enable the <app>External Tools</app> plugin,
- select <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui>
+ select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
<gui>External Tools</gui></guiseq>.</p>
<section id="plugin-config-external-tools">
diff --git a/help/C/gedit-plugins-file-browser.page b/help/C/gedit-plugins-file-browser.page
index 5d26c41..d75ea63 100644
--- a/help/C/gedit-plugins-file-browser.page
+++ b/help/C/gedit-plugins-file-browser.page
@@ -24,8 +24,8 @@
frequently-used files.</p>
<p>You can enable the <gui>Side Pane</gui> by selecting
- <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui>
- <gui>File Browser Pane</gui></guiseq>.</p>
+ <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+ <gui>Plugins</gui><gui>File Browser Pane</gui></guiseq>.</p>
<section id="sidepane-open">
<title>Opening files from the side pane</title>
diff --git a/help/C/gedit-plugins-insert-date-time.page b/help/C/gedit-plugins-insert-date-time.page
index 4755679..9d5d176 100644
--- a/help/C/gedit-plugins-insert-date-time.page
+++ b/help/C/gedit-plugins-insert-date-time.page
@@ -4,7 +4,7 @@
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-default-plugins"/>
- <revision pkgversion="3.2" version="1.0" date="2011-08-17" status="candidate"/>
+ <revision pkgversion="3.8" date="2012-02-24" status="candidate"/>
<credit type="author">
<name>Daniel Neel</name>
<email>dneelyep gmail com</email>
@@ -21,15 +21,16 @@
<p>As this name of this plugin suggests, the <gui>Insert Date/Time</gui>
plugin allows you to insert the date and/or time at the current cursor
- position. To enable this plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui><gui>Insert Date/Time</gui></guiseq>.
- To use the plugin, press
- <guiseq><gui>Edit</gui><gui>Insert Date and Time</gui></guiseq>.</p>
+ position. To enable this plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+ <gui>Insert Date/Time</gui></guiseq>. To use the plugin, press <guiseq>
+ <gui style="menu">Edit</gui><gui>Insert Date and Time</gui></guiseq>.</p>
<p>By default, the <gui>Insert Date/Time</gui> plugin will prompt you to
choose your preferred date/time format each time that you use the plugin.
However, you can choose your own default date and time format by selecting
- <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui>
- <gui>Insert Date/Time</gui><gui>Configure</gui></guiseq>.</p>
+ <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+ <gui>Plugins</gui><gui>Insert Date/Time</gui><gui>Configure</gui></guiseq>.
+ </p>
</page>
diff --git a/help/C/gedit-plugins-install.page b/help/C/gedit-plugins-install.page
index 34ac9a7..c84acae 100644
--- a/help/C/gedit-plugins-install.page
+++ b/help/C/gedit-plugins-install.page
@@ -3,7 +3,7 @@
id="gedit-plugins-install">
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
- <revision pkgversion="3.4" version="1.0" date="2011-11-18" status="candidate"/>
+ <revision pkgversion="3.8" date="2013-02-24" status="candidate"/>
<credit type="author">
<name>Jim Campbell</name>
<email>jwcampbell gmail com</email>
@@ -40,8 +40,8 @@
</p></item>
<item><p>After you have placed the plugin files into the correct directory,
the plugin will appear in the Preferences menu. Select <guiseq><gui>Edit
- </gui><gui>Preferences</gui><gui>Plugins</gui><gui>[Name of Plugin]</gui>
- </guiseq> to enable the plugin.</p></item>
+ </gui><gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+ <gui>[Name of Plugin]</gui></guiseq> to enable the plugin.</p></item>
<item><p>Click <gui>Close</gui>.</p></item>
</steps>
diff --git a/help/C/gedit-plugins-join-split-lines.page b/help/C/gedit-plugins-join-split-lines.page
index 313e7f3..4ce2266 100644
--- a/help/C/gedit-plugins-join-split-lines.page
+++ b/help/C/gedit-plugins-join-split-lines.page
@@ -3,7 +3,7 @@
id="gedit-plugins-join-split-lines">
<info>
<link type="guide" xref="gedit-plugin-guide#gedit-additional-plugins"/>
- <revision version="3.4" date="2012-01-22" status="review"/>
+ <revision version="3.8" date="2012-02-24fc" status="review"/>
<credit type="author">
<name>Jim Campbell</name>
@@ -18,8 +18,9 @@
<p>The <app>Join/Split Lines</app> plugin can join shorter lines into one
longer line, or can split a long line into multiple shorter lines.</p>
- <p>To enable this plugin, select <guiseq><gui>Edit</gui><gui>Preferences</gui>
- <gui>Plugins</gui><gui>Join/Split Lines</gui></guiseq>.</p>
+ <p>To enable this plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+ <gui>Join/Split Lines</gui></guiseq>.</p>
<steps>
<title>To join multiple lines into one longer line:</title>
diff --git a/help/C/gedit-plugins-modelines.page b/help/C/gedit-plugins-modelines.page
index d7e0419..76b7e11 100644
--- a/help/C/gedit-plugins-modelines.page
+++ b/help/C/gedit-plugins-modelines.page
@@ -24,8 +24,8 @@
subset of the options used by the <app>Emacs</app>, <app>Kate</app> and
<app>Vim</app> text editors.</p>
- <p>To enable the <app>Modelines</app> plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui><gui>Modelines</gui></guiseq>.</p>
+ <p>To enable the <app>Modelines</app> plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui><gui>Modelines</gui></guiseq>.</p>
<section id="modelines-general">
<title>General Modeline Options</title>
diff --git a/help/C/gedit-plugins-multi-edit.page b/help/C/gedit-plugins-multi-edit.page
index f678d45..21297be 100644
--- a/help/C/gedit-plugins-multi-edit.page
+++ b/help/C/gedit-plugins-multi-edit.page
@@ -18,12 +18,12 @@
<p>The <app>Multi Edit</app> plugin allows you to edit a document in multiple
places at once. This can be helpful when performing tedious editing tasks. To
- enable the Multi Edit plugin, select <guiseq><gui>Edit</gui><gui>
+ enable the Multi Edit plugin, select <guiseq><gui style="menu">gedit</gui><gui>
Preferences</gui><gui>Plugins</gui><gui>Multi Edit</gui></guiseq>.</p>
<p>After you have enabled the plugin, turn-on Multi Edit mode by pressing
<keyseq><key>Ctrl</key><key>Shift</key><key>C</key></keyseq>, or clicking
- <guiseq><gui>Edit</gui><gui>Multi Edit Mode</gui></guiseq>. You can then
+ <guiseq><gui style="menu">gedit</gui><gui>Multi Edit Mode</gui></guiseq>. You can then
select the points in your file that you would like start editing.</p>
<p>To insert editing points in your file:</p>
diff --git a/help/C/gedit-plugins-pyconsole.page b/help/C/gedit-plugins-pyconsole.page
index 6dd92eb..60e1579 100644
--- a/help/C/gedit-plugins-pyconsole.page
+++ b/help/C/gedit-plugins-pyconsole.page
@@ -16,8 +16,9 @@
<p>You can add a Python console to the bottom pane, allowing you to test
Python scripts without leaving <app>gedit</app>. To enable the Python
- console, select <guiseq><gui>Edit</gui><gui>Preferences</gui>
- <gui>Plugins</gui><gui>Python Console</gui></guiseq>.</p>
+ console, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+ <gui>Python Console</gui></guiseq>.</p>
<p>Once the Python console is enabled, you can open it by selecting
<guiseq><gui>View</gui><gui>Bottom Pane</gui></guiseq>, or just press
diff --git a/help/C/gedit-plugins-quick-open.page b/help/C/gedit-plugins-quick-open.page
index e00d87e..f2afda7 100644
--- a/help/C/gedit-plugins-quick-open.page
+++ b/help/C/gedit-plugins-quick-open.page
@@ -17,7 +17,7 @@
<p>As the name of this plugin would imply, the <app>Quick Open</app>
plugin helps you to open files more quickly than the regular way of opening
- files. To enable this plugin, select <guiseq><gui>Edit</gui><gui>
+ files. To enable this plugin, select <guiseq><gui style="menu">gedit</gui><gui>
Preferences</gui><gui>Plugins</gui><gui>Quick Open</gui></guiseq>.</p>
<p>Once you've enabled it, here is how to use the plugin:</p>
diff --git a/help/C/gedit-plugins-session-saver.page b/help/C/gedit-plugins-session-saver.page
index 5b03eeb..d854d50 100644
--- a/help/C/gedit-plugins-session-saver.page
+++ b/help/C/gedit-plugins-session-saver.page
@@ -17,7 +17,8 @@
<p>The <app>Session Saver</app> plugin saves groups of files
together so that you can open them together at a later time. To enable the
- plugin, select <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui>
+ plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
<gui>Session Saver</gui></guiseq>.</p>
<steps>
diff --git a/help/C/gedit-plugins-snippets-guide.page b/help/C/gedit-plugins-snippets-guide.page
index a6aed43..d3bc864 100644
--- a/help/C/gedit-plugins-snippets-guide.page
+++ b/help/C/gedit-plugins-snippets-guide.page
@@ -19,8 +19,8 @@
portions of the tag, as well as fixed places where you can enter image
attributes. This can make writing code easier and faster.</p>
- <p>To enable the <app>Snippets</app> plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui><gui>Snippets</gui></guiseq>.</p>
+ <p>To enable the <app>Snippets</app> plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui><gui>Snippets</gui></guiseq>.</p>
<section id="snippets-help">
<title>Using, Modifying and creating snippets</title>
diff --git a/help/C/gedit-plugins-sort.page b/help/C/gedit-plugins-sort.page
index e00a713..dc03250 100644
--- a/help/C/gedit-plugins-sort.page
+++ b/help/C/gedit-plugins-sort.page
@@ -27,12 +27,12 @@
you can revert to the previously-saved version of the file by selecting
<guiseq><gui>File</gui><gui>Revert</gui></guiseq>.</p></note>
- <p>To enable the <app>Sort</app> plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui><gui>Sort</gui></guiseq>.</p>
+ <p>To enable the <app>Sort</app> plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui><gui>Sort</gui></guiseq>.</p>
<p>After you have enabled the <gui>Sort</gui> plugin, use it by selecting the
lines of text you want to sort, and then clicking
- <guiseq><gui>Edit</gui><gui>Sort</gui></guiseq>.</p>
+ <guiseq><gui style="menu">gedit</gui><gui>Sort</gui></guiseq>.</p>
<p>The <gui>Sort</gui> dialog will open, allowing you to choose between
several sorting options:</p>
diff --git a/help/C/gedit-plugins-tag-list.page b/help/C/gedit-plugins-tag-list.page
index 2824aae..75ff57e 100644
--- a/help/C/gedit-plugins-tag-list.page
+++ b/help/C/gedit-plugins-tag-list.page
@@ -32,8 +32,8 @@
<section id="enable-tag-list-plugin">
<title>Enabling the Plugin</title>
- <p>You can activate the plugin by selecting <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui><gui>Tag List</gui></guiseq>.
+ <p>You can activate the plugin by selecting <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui><gui>Tag List</gui></guiseq>.
Once you have activated the plugin, access it by selecting
<guiseq><gui>View</gui><gui>Side Pane</gui></guiseq>, or by pressing
<key>F9</key>.</p>
diff --git a/help/C/gedit-plugins-terminal.page b/help/C/gedit-plugins-terminal.page
index ad0b45c..e78dd19 100644
--- a/help/C/gedit-plugins-terminal.page
+++ b/help/C/gedit-plugins-terminal.page
@@ -20,8 +20,8 @@
pane of the <app>gedit</app> window. This will let you run scripts, install
needed software, or test your program without leaving <app>gedit</app>.</p>
- <p>To enable this plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui>
+ <p>To enable this plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
<gui>Embedded Terminal</gui></guiseq>.</p>
<p>Once you have enabled the plugin, add the terminal to the bottom pane by
diff --git a/help/C/gedit-plugins-text-size.page b/help/C/gedit-plugins-text-size.page
index 99f62f6..217f0b6 100644
--- a/help/C/gedit-plugins-text-size.page
+++ b/help/C/gedit-plugins-text-size.page
@@ -18,8 +18,9 @@
<p>The text size plugin allows you to temporarily change the text size in
<app>gedit</app> without changing the program's default text size. To enable
- this plugin, select <guiseq><gui>Edit</gui><gui>Preferences</gui>
- <gui>Plugins</gui><gui>Text Size</gui></guiseq>.</p>
+ this plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
+ <gui>Text Size</gui></guiseq>.</p>
<list>
<title>Once you have enabled the plugin, do any of the following to change
diff --git a/help/C/gedit-plugins-word-completion.page b/help/C/gedit-plugins-word-completion.page
index 9ec3430..20c70e3 100644
--- a/help/C/gedit-plugins-word-completion.page
+++ b/help/C/gedit-plugins-word-completion.page
@@ -22,8 +22,8 @@
<p>The <app>Word Completion</app> plugin can speed up your editing by
suggesting completions of words as you type. To enable the plugin, select
- <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui><gui>Word
- Completion</gui></guiseq>.</p>
+ <guiseq><gui style="menu">gedit</gui><gui style="menuitem">Preferences</gui>
+ <gui>Plugins</gui><gui>Word Completion</gui></guiseq>.</p>
<p>While editing, the <app>Word Completion</app> plugin will automatically
display a pop-up list of words that begin with the letters you have already
diff --git a/help/C/gedit-spellcheck.page b/help/C/gedit-spellcheck.page
index 7c16964..62ff05e 100644
--- a/help/C/gedit-spellcheck.page
+++ b/help/C/gedit-spellcheck.page
@@ -19,8 +19,8 @@
<title>Spell-check your document</title>
<section id="enable-spell-check">
<title>Enable the spell checker</title>
- <p>To enable the plugin, select <guiseq><gui>Edit</gui>
- <gui>Preferences</gui><gui>Plugins</gui>
+ <p>To enable the plugin, select <guiseq><gui style="menu">gedit</gui>
+ <gui style="menuitem">Preferences</gui><gui>Plugins</gui>
<gui>Spell Checker</gui></guiseq>.</p>
<p><app>gedit</app> will only check your document's spelling when you choose
diff --git a/help/C/gedit-undo-recent-action.page b/help/C/gedit-undo-recent-action.page
index d9b51fe..d90f04f 100644
--- a/help/C/gedit-undo-recent-action.page
+++ b/help/C/gedit-undo-recent-action.page
@@ -24,7 +24,7 @@
<p>If you make a mistake while using <app>gedit</app>, you can undo it by
pressing <keyseq><key>Ctrl</key><key>Z</key></keyseq>, or by clicking
- <guiseq><gui>Edit</gui><gui>Undo</gui></guiseq>. Doing so will cause
+ <guiseq><gui style="menu">gedit</gui><gui>Undo</gui></guiseq>. Doing so will cause
<app>gedit</app> to undo one set of similar actions.</p>
<note><p>Undoing a "set of similar actions" means, for example, that
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]