247 lines
11 KiB
XML
247 lines
11 KiB
XML
<?xml version="1.0"?>
|
|
<interface>
|
|
<!-- interface-requires gtk+ 2.12 -->
|
|
<!-- interface-naming-policy toplevel-contextual -->
|
|
<object class="GtkDialog" id="eval">
|
|
<property name="visible">True</property>
|
|
<property name="default_width">450</property>
|
|
<property name="default_height">500</property>
|
|
<property name="type_hint">dialog</property>
|
|
<property name="has_separator">False</property>
|
|
<signal name="delete_event" handler="on_delete_event"/>
|
|
<child internal-child="vbox">
|
|
<object class="GtkVBox" id="dialog-vbox1">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<object class="GtkVBox" id="vbox1">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">6</property>
|
|
<property name="spacing">6</property>
|
|
<child>
|
|
<object class="GtkLabel" id="title">
|
|
<property name="visible">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkTable" id="table2">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">6</property>
|
|
<property name="n_rows">6</property>
|
|
<property name="n_columns">2</property>
|
|
<property name="column_spacing">6</property>
|
|
<property name="row_spacing">6</property>
|
|
<child>
|
|
<object class="GtkScrolledWindow" id="scrolledwindow1">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="hscrollbar_policy">automatic</property>
|
|
<property name="vscrollbar_policy">automatic</property>
|
|
<property name="shadow_type">in</property>
|
|
<child>
|
|
<object class="GtkTextView" id="ebuf">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">1</property>
|
|
<property name="bottom_attach">2</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkScrolledWindow" id="scrolledwindow2">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="hscrollbar_policy">automatic</property>
|
|
<property name="vscrollbar_policy">automatic</property>
|
|
<property name="shadow_type">in</property>
|
|
<child>
|
|
<object class="GtkTextView" id="display">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">False</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">3</property>
|
|
<property name="bottom_attach">4</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkLabel" id="label2">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Evaluation Window</b></property>
|
|
<property name="use_markup">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="right_attach">2</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkLabel" id="label3">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Output Window</b></property>
|
|
<property name="use_markup">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">2</property>
|
|
<property name="bottom_attach">3</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkScrolledWindow" id="scrolledwindow3">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="hscrollbar_policy">automatic</property>
|
|
<property name="vscrollbar_policy">automatic</property>
|
|
<property name="shadow_type">in</property>
|
|
<child>
|
|
<object class="GtkTextView" id="error">
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="editable">False</property>
|
|
</object>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="left_attach">1</property>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">5</property>
|
|
<property name="bottom_attach">6</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkLabel" id="label4">
|
|
<property name="visible">True</property>
|
|
<property name="xalign">0</property>
|
|
<property name="label" translatable="yes"><b>Error Window</b></property>
|
|
<property name="use_markup">True</property>
|
|
</object>
|
|
<packing>
|
|
<property name="right_attach">2</property>
|
|
<property name="top_attach">4</property>
|
|
<property name="bottom_attach">5</property>
|
|
<property name="x_options">GTK_FILL</property>
|
|
<property name="y_options"></property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkHButtonBox" id="hbuttonbox1">
|
|
<property name="visible">True</property>
|
|
<property name="border_width">6</property>
|
|
<property name="spacing">6</property>
|
|
<property name="layout_style">end</property>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child internal-child="action_area">
|
|
<object class="GtkHButtonBox" id="dialog-action_area1">
|
|
<property name="visible">True</property>
|
|
<property name="layout_style">end</property>
|
|
<child>
|
|
<object class="GtkButton" id="button1">
|
|
<property name="label">gtk-clear</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="clicked" handler="on_clear_clicked"/>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkButton" id="button3">
|
|
<property name="label">gtk-close</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="clicked" handler="on_close_clicked"/>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<object class="GtkButton" id="button2">
|
|
<property name="label">gtk-execute</property>
|
|
<property name="visible">True</property>
|
|
<property name="can_focus">True</property>
|
|
<property name="can_default">True</property>
|
|
<property name="receives_default">False</property>
|
|
<property name="use_stock">True</property>
|
|
<signal name="clicked" handler="on_apply_clicked"/>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="fill">False</property>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="pack_type">end</property>
|
|
<property name="position">0</property>
|
|
</packing>
|
|
</child>
|
|
</object>
|
|
</child>
|
|
<action-widgets>
|
|
<action-widget response="0">button1</action-widget>
|
|
<action-widget response="0">button3</action-widget>
|
|
<action-widget response="0">button2</action-widget>
|
|
</action-widgets>
|
|
</object>
|
|
</interface>
|