[gedit] tools: make the manager behave like a dialog

[Ignacio Casal Quinteiro <icq src gnome org>]

commit c4576678fe4c281291d2e476b36696a137ed6251
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri Feb 7 15:12:56 2014 +0100

    tools: make the manager behave like a dialog

 plugins/externaltools/tools/tools.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index 6db18f7..407bfda 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -136,6 +136,7 @@
     <property name="title" translatable="yes">Manage External Tools</property>
     <property name="default_width">800</property>
     <property name="default_height">600</property>
+    <property name="type_hint">dialog</property>
     <signal name="configure-event" handler="on_tool_manager_dialog_configure_event" swapped="no"/>
     <signal name="delete-event" handler="on_tool_manager_dialog_delete_event" swapped="no"/>
     <signal name="focus-out-event" handler="on_tool_manager_dialog_focus_out" swapped="no"/>