[gedit] externaltools: point to the right help

[Ignacio Casal Quinteiro <icq src gnome org>]

commit ba15ee695c3f4c3f1f90ce8cba7807d656c65b36
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Mon Sep 5 22:45:13 2011 +0200

    externaltools: point to the right help

 plugins/externaltools/tools/manager.py |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index 17b3b5a..e62c6d2 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -842,11 +842,11 @@ class Manager:
 
     def on_tool_manager_dialog_response(self, dialog, response):
         if response == Gtk.ResponseType.HELP:
-            Gedit.app_get_default().show_help(self.dialog, 'gedit', 'gedit-external-tools-plugin')
+            Gedit.app_get_default().show_help(self.dialog, 'gedit', 'gedit-plugins-external-tools')
             return
 
         self.on_tool_manager_dialog_focus_out(dialog, None)
-        
+
         self.dialog.destroy()
         self.dialog = None
         self.tools = None