diff options
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/externaltools/tools/outputpanel.ui | 88 |
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> |