3
<requires lib="gtk+" version="2.14"/>
4
<!-- interface-naming-policy project-wide -->
5
<object class="GtkWindow" id="text_result_window">
6
<property name="border_width">10</property>
7
<property name="window_position">center</property>
8
<property name="default_width">800</property>
9
<property name="default_height">600</property>
10
<property name="icon_name">search</property>
11
<signal name="key_press_event" handler="on_text_result_window_key_press_event"/>
13
<object class="GtkVBox" id="vbox1">
14
<property name="visible">True</property>
15
<property name="orientation">vertical</property>
16
<property name="spacing">10</property>
18
<object class="GtkScrolledWindow" id="scrolledwindow1">
19
<property name="visible">True</property>
20
<property name="can_focus">True</property>
21
<property name="hscrollbar_policy">automatic</property>
22
<property name="vscrollbar_policy">automatic</property>
24
<object class="GtkTextView" id="result_textview">
25
<property name="visible">True</property>
26
<property name="can_focus">True</property>
27
<property name="editable">False</property>
28
<property name="wrap_mode">word</property>
33
<property name="position">0</property>
37
<object class="GtkHButtonBox" id="hbuttonbox1">
38
<property name="visible">True</property>
40
<object class="GtkButton" id="copy_button">
41
<property name="label">gtk-copy</property>
42
<property name="visible">True</property>
43
<property name="can_focus">True</property>
44
<property name="receives_default">True</property>
45
<property name="use_stock">True</property>
46
<signal name="clicked" handler="on_copy_button_clicked"/>
49
<property name="expand">False</property>
50
<property name="fill">False</property>
51
<property name="position">0</property>
55
<object class="GtkButton" id="close_button">
56
<property name="label">gtk-close</property>
57
<property name="visible">True</property>
58
<property name="can_focus">True</property>
59
<property name="receives_default">True</property>
60
<property name="use_stock">True</property>
61
<signal name="clicked" handler="on_close_button_clicked"/>
64
<property name="expand">False</property>
65
<property name="fill">False</property>
66
<property name="position">1</property>
71
<property name="expand">False</property>
72
<property name="position">1</property>