summaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
Diffstat (limited to 'plugins')
-rw-r--r--plugins/externaltools/tools/outputpanel.ui88
1 files changed, 54 insertions, 34 deletions
diff --git a/plugins/externaltools/tools/outputpanel.ui b/plugins/externaltools/tools/outputpanel.ui
index f0281792..01904a6e 100644
--- a/plugins/externaltools/tools/outputpanel.ui
+++ b/plugins/externaltools/tools/outputpanel.ui
@@ -1,52 +1,72 @@
-<?xml version="1.0"?>
-<!-- Generated with glade3
- Version: 2.91.3
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- Generated with glade 3.20.2
+
+Version: 2.91.3
Date: Sat Nov 18 13:58:59 2006
User: sf
Host: antea
+
-->
<interface>
- <object class="GtkHBox" id="output-panel">
+ <requires lib="gtk+" version="3.22"/>
+ <object class="GtkBox" 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="button_press_event" handler="on_view_button_press_event"/>
- <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">False</property>
+ <property name="hexpand">True</property>
+ <property name="shadow_type">in</property>
+ <child>
+ <object class="GtkTextView" id="view">
+ <property name="visible">True</property>
+ <property name="can_focus">False</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="button-press-event" handler="on_view_button_press_event" swapped="no"/>
+ <signal name="motion-notify-event" handler="on_view_motion_notify_event" swapped="no"/>
+ <signal name="visibility-notify-event" handler="on_view_visibility_notify_event" swapped="no"/>
+ </object>
+ </child>
</object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">True</property>
+ <property name="position">0</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="GtkButtonBox" id="vbuttonbox1">
<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="border_width">6</property>
+ <property name="orientation">vertical</property>
+ <property name="spacing">6</property>
+ <property name="layout_style">end</property>
+ <child>
+ <object class="GtkButton" id="stop">
+ <property name="label">gtk-stop</property>
+ <property name="visible">True</property>
+ <property name="sensitive">False</property>
+ <property name="can_focus">False</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ <signal name="clicked" handler="on_stop_clicked" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
</object>
<packing>
- <property name="expand">False</property>
- <property name="position">1</property>
+ <property name="expand">False</property>
+ <property name="fill">True</property>
+ <property name="position">1</property>
</packing>
</child>
</object>