[gedit] Use the correct markup in the dashboard docs

[Paolo Borelli <pborelli src gnome org>]

commit 3306a4b901411cc2f5be90fc84ac0fcc1cb8b36e
Author: Paolo Borelli <pborelli gnome org>
Date:   Mon Apr 9 14:27:00 2012 +0200

    Use the correct markup in the dashboard docs
    
    Fixes bug #671296. Patch by Savita Seetaraman <savita seetaraman5 gmail com>

 help/C/gedit-plugins-dashboard.page |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/help/C/gedit-plugins-dashboard.page b/help/C/gedit-plugins-dashboard.page
index 658e52e..15c0bcc 100644
--- a/help/C/gedit-plugins-dashboard.page
+++ b/help/C/gedit-plugins-dashboard.page
@@ -17,8 +17,8 @@
 
   <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 <keyseq><key>Edit</key><key>
-  Preferences</key><key>Plugins</key><key>Dashboard</key></keyseq>. You will 
+  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>
   
@@ -48,5 +48,4 @@
   
   </section>
 
-  
 </page>