[gedit] external tools: add an overlay for the stop button

[Ignacio Casal Quinteiro <icq src gnome org>]

commit e37095c9b035172d7cf94e666b473e321df8bf91
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Wed Apr 24 14:20:46 2013 +0200

    external tools: add an overlay for the stop button

 plugins/externaltools/tools/outputpanel.ui |   57 ++++++---------------------
 1 files changed, 13 insertions(+), 44 deletions(-)
---
diff --git a/plugins/externaltools/tools/outputpanel.ui b/plugins/externaltools/tools/outputpanel.ui
index 5762843..a007dda 100644
--- a/plugins/externaltools/tools/outputpanel.ui
+++ b/plugins/externaltools/tools/outputpanel.ui
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <interface>
   <!-- interface-requires gtk+ 3.6 -->
-  <object class="GtkGrid" id="output-panel">
+  <object class="GtkOverlay" id="output-panel">
     <property name="visible">True</property>
     <property name="can_focus">False</property>
     <child>
@@ -23,57 +23,26 @@
           </object>
         </child>
       </object>
-      <packing>
-        <property name="left_attach">0</property>
-        <property name="top_attach">0</property>
-        <property name="width">1</property>
-        <property name="height">1</property>
-      </packing>
     </child>
-    <child>
-      <object class="GtkToolbar" id="toolbar1">
+    <child type="overlay">
+      <object class="GtkButton" id="stop">
         <property name="visible">True</property>
-        <property name="can_focus">False</property>
-        <property name="vexpand">True</property>
-        <property name="orientation">vertical</property>
-        <property name="toolbar_style">icons</property>
-        <property name="icon_size">1</property>
-        <style>
-          <class name="inline-toolbar"/>
-        </style>
+        <property name="sensitive">False</property>
+        <property name="can_focus">True</property>
+        <property name="receives_default">True</property>
+        <property name="valign">end</property>
+        <property name="halign">end</property>
+        <property name="margin_bottom">2</property>
+        <property name="margin_right">2</property>
+        <signal name="clicked" handler="on_stop_clicked" swapped="no"/>
         <child>
-          <object class="GtkToolItem" id="toolbutton1">
+          <object class="GtkImage" id="image1">
             <property name="visible">True</property>
             <property name="can_focus">False</property>
-            <child>
-              <object class="GtkButton" id="stop">
-                <property name="visible">True</property>
-                <property name="sensitive">False</property>
-                <property name="can_focus">True</property>
-                <property name="receives_default">True</property>
-                <property name="valign">end</property>
-                <signal name="clicked" handler="on_stop_clicked" swapped="no"/>
-                <child>
-                  <object class="GtkImage" id="image1">
-                    <property name="visible">True</property>
-                    <property name="can_focus">False</property>
-                    <property name="icon_name">process-stop-symbolic</property>
-                  </object>
-                </child>
-              </object>
-            </child>
+            <property name="icon_name">process-stop-symbolic</property>
           </object>
-          <packing>
-            <property name="expand">True</property>
-          </packing>
         </child>
       </object>
-      <packing>
-        <property name="left_attach">1</property>
-        <property name="top_attach">0</property>
-        <property name="width">1</property>
-        <property name="height">1</property>
-      </packing>
     </child>
   </object>
 </interface>