GNOME Bugzilla – Bug 671296
Activate Dashboard plugin gui path
Last modified: 2012-04-09 12:30:40 UTC
Created attachment 208943 [details] Dashboard plugin help page Currently in the Dashboard doc page the path to activate the plugin appears like that: Edit + Preferences + Plugins + Dashboard The path is presented as key sequence: <keyseq><key>Edit</key><key> Preferences</key><key>Plugins</key><key>Dashboard</key></keyseq> In all other plugins the path is presented as gui sequence: <guiseq><gui>Edit</gui><gui>Preferences</gui><gui>Plugins</gui><gui></gui>File Browser Pane</guiseq>
Created attachment 211564 [details] [review] I've created a patch.
Created attachment 211565 [details] [review] I've created a patch
Created attachment 211636 [details] [review] I am sorry. The patch that I had attached earlier was the reversed one of the actual patch. This is the actual version of the patch. Sorry again !
Thanks for the patch! Applied in http://git.gnome.org/browse/gedit/commit/?id=3306a4b901411cc2f5be90fc84ac0fcc1cb8b36e