[gedit] external tools: make the stop button an icon button in a toolbar

[Ignacio Casal Quinteiro <icq src gnome org>]

commit a3e4215bfbf9326f26d546da91a048bbef59a1ff
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Tue Apr 23 23:08:37 2013 +0200

    external tools: make the stop button an icon button in a toolbar

 plugins/externaltools/tools/outputpanel.ui |  101 ++++++++++++++++++----------
 1 files changed, 64 insertions(+), 37 deletions(-)
---
diff --git a/plugins/externaltools/tools/outputpanel.ui b/plugins/externaltools/tools/outputpanel.ui
index 3223910..5762843 100644
--- a/plugins/externaltools/tools/outputpanel.ui
+++ b/plugins/externaltools/tools/outputpanel.ui
@@ -1,51 +1,78 @@
-<?xml version="1.0"?>
-<!-- Generated with glade3
-       Version: 2.91.3
-       Date: Sat Nov 18 13:58:59 2006
-       User: sf
-       Host: antea
--->
+<?xml version="1.0" encoding="UTF-8"?>
 <interface>
-  <object class="GtkHBox" id="output-panel">
+  <!-- interface-requires gtk+ 3.6 -->
+  <object class="GtkGrid" id="output-panel">
     <property name="visible">True</property>
+    <property name="can_focus">False</property>
     <child>
       <object class="GtkScrolledWindow" id="scrolledwindow1">
-    <property name="visible">True</property>
-    <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
-    <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
-    <property name="shadow_type">GTK_SHADOW_IN</property>
-    <child>
-      <object class="GtkTextView" id="view">
         <property name="visible">True</property>
-        <property name="editable">False</property>
-        <property name="wrap_mode">GTK_WRAP_WORD</property>
-        <property name="cursor_visible">False</property>
-        <property name="accepts_tab">False</property>
-        <signal name="motion_notify_event" handler="on_view_motion_notify_event"/>
-        <signal name="visibility_notify_event" handler="on_view_visibility_notify_event"/>
-      </object>
-    </child>
+        <property name="can_focus">True</property>
+        <property name="hexpand">True</property>
+        <property name="vexpand">True</property>
+        <child>
+          <object class="GtkTextView" id="view">
+            <property name="visible">True</property>
+            <property name="can_focus">True</property>
+            <property name="editable">False</property>
+            <property name="wrap_mode">word</property>
+            <property name="cursor_visible">False</property>
+            <property name="accepts_tab">False</property>
+            <signal name="visibility-notify-event" handler="on_view_visibility_notify_event" swapped="no"/>
+            <signal name="motion-notify-event" handler="on_view_motion_notify_event" swapped="no"/>
+          </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="GtkVButtonBox" id="vbuttonbox1">
-    <property name="visible">True</property>
-    <property name="border_width">6</property>
-    <property name="spacing">6</property>
-    <property name="layout_style">GTK_BUTTONBOX_END</property>
-    <child>
-      <object class="GtkButton" id="stop">
+      <object class="GtkToolbar" id="toolbar1">
         <property name="visible">True</property>
-        <property name="sensitive">False</property>
-        <property name="label">gtk-stop</property>
-        <property name="use_stock">True</property>
-        <signal handler="on_stop_clicked" name="clicked"/>
-      </object>
-    </child>
+        <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>
+        <child>
+          <object class="GtkToolItem" id="toolbutton1">
+            <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>
+          </object>
+          <packing>
+            <property name="expand">True</property>
+          </packing>
+        </child>
       </object>
       <packing>
-    <property name="expand">False</property>
-    <property name="position">1</property>
+        <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>