[gedit] tools: use GtkPaned instead of GtkHPaned

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 400c1da94a7dc77802f5fb27940275709d306e3b
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu Feb 6 23:02:58 2014 +0100

    tools: use GtkPaned instead of GtkHPaned

 plugins/externaltools/tools/tools.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index 1a91753..f868c5e 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -193,7 +193,7 @@
           </packing>
         </child>
         <child>
-          <object class="GtkHPaned" id="paned">
+          <object class="GtkPaned" id="paned">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
             <property name="vexpand">True</property>