[devhelp] port gedit plugin to python 3

[Frederic Peters <fpeters src gnome org>]

commit f5160ddd13150ac69a522ab4d942f96293c193fd
Author: FrÃdÃric PÃters <fpeters 0d be>
Date:   Thu Jan 31 11:56:40 2013 +0100

    port gedit plugin to python 3

 misc/gedit-plugin/devhelp.py |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)
---
diff --git a/misc/gedit-plugin/devhelp.py b/misc/gedit-plugin/devhelp.py
index b1a4229..ff8db59 100644
--- a/misc/gedit-plugin/devhelp.py
+++ b/misc/gedit-plugin/devhelp.py
@@ -61,16 +61,16 @@ class DevhelpPlugin(GObject.Object, Gedit.WindowActivatable):
     def _insert_menu(self):
         manager = self.window.get_ui_manager()
 
-	# Translate actions below, hardcoding domain here to avoid complications now
-	_ = lambda s: gettext.dgettext('devhelp', s);
+        # Translate actions below, hardcoding domain here to avoid complications now
+        _ = lambda s: gettext.dgettext('devhelp', s)
 
         self._action_group = Gtk.ActionGroup(name="GeditDevhelpPluginActions")
-	self._action_group.add_actions([('Devhelp', None,
-	                                 _('Show API Documentation'),
-	                                 'F2',
-	                                 _('Show API Documentation for the word at the cursor'),
-	                                 lambda a, w: self.do_devhelp(w.get_active_document()))],
-	                                 self.window)
+        self._action_group.add_actions([('Devhelp', None,
+                                         _('Show API Documentation'),
+                                         'F2',
+                                         _('Show API Documentation for the word at the cursor'),
+                                         lambda a, w: self.do_devhelp(w.get_active_document()))],
+                                         self.window)
         manager.insert_action_group(self._action_group, -1)
         self._ui_id = manager.add_ui_from_string(ui_str)