[gedit] external tools: shortcuts displayed differently in tool list than in Shortcut Key field

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 51f7857d452d19f79aaf75676eff5ae080d78ba6
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Apr 23 14:16:16 2013 +0200

    external tools: shortcuts displayed differently in tool list than in Shortcut Key field
    
    https://bugzilla.gnome.org/show_bug.cgi?id=698569

 plugins/externaltools/tools/manager.py |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index 8bedc08..d4118a9 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -909,7 +909,9 @@ class Manager(GObject.Object):
             escaped = saxutils.escape(tool.name)
 
             if tool.shortcut:
-                markup = '%s (<b>%s</b>)' % (escaped, saxutils.escape(tool.shortcut))
+                key, mods = Gtk.accelerator_parse(tool.shortcut)
+                label = Gtk.accelerator_get_label(key, mods)
+                markup = '%s (<b>%s</b>)' % (escaped, label)
             else:
                 markup = escaped