[gnome-builder] devhelp: Drop useless GtkPaned from page UI file

[Christian Hergert <chergert src gnome org>]

commit f19f6eddb1512db7f675f9a77e9f04738698a199
Author: vanadiae <vanadiae35 gmail com>
Date:   Mon Jul 12 23:14:00 2021 +0200

    devhelp: Drop useless GtkPaned from page UI file
    
    It isn't referenced anywhere in the code, and only have one child so
    its paned -like behaviour isn't doing anything.

 src/plugins/devhelp/gbp-devhelp-page.ui | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)
---
diff --git a/src/plugins/devhelp/gbp-devhelp-page.ui b/src/plugins/devhelp/gbp-devhelp-page.ui
index 28fa7cb95..9e4cd0b3c 100644
--- a/src/plugins/devhelp/gbp-devhelp-page.ui
+++ b/src/plugins/devhelp/gbp-devhelp-page.ui
@@ -3,20 +3,13 @@
   <!-- interface-requires gtk+ 3.18 -->
   <template class="GbpDevhelpPage" parent="IdePage">
     <child>
-      <object class="GtkPaned" id="paned">
+      <object class="GtkOverlay" id="devhelp_overlay">
         <property name="expand">true</property>
-        <property name="orientation">vertical</property>
         <property name="visible">true</property>
         <child>
-          <object class="GtkOverlay" id="devhelp_overlay">
-            <property name="expand">true</property>
+          <object class="WebKitWebView" id="web_view1">
             <property name="visible">true</property>
-            <child>
-              <object class="WebKitWebView" id="web_view1">
-                <property name="visible">true</property>
-                <property name="expand">true</property>
-              </object>
-            </child>
+            <property name="expand">true</property>
           </object>
         </child>
       </object>