3 <requires lib=
"gtk+" version=
"2.16"/>
4 <!-- interface-naming-policy project-wide -->
5 <object class=
"GtkHBox" id=
"search_widget">
6 <property name=
"visible">True
</property>
7 <property name=
"spacing">6</property>
9 <object class=
"GtkButton" id=
"search_close">
10 <property name=
"visible">True
</property>
11 <property name=
"can_focus">True
</property>
12 <property name=
"receives_default">True
</property>
13 <property name=
"image">image1
</property>
16 <property name=
"expand">False
</property>
17 <property name=
"fill">False
</property>
18 <property name=
"position">0</property>
22 <object class=
"GtkLabel" id=
"search_label">
23 <property name=
"visible">True
</property>
24 <property name=
"label" translatable=
"yes">Find:
</property>
27 <property name=
"expand">False
</property>
28 <property name=
"fill">False
</property>
29 <property name=
"position">1</property>
33 <object class=
"GtkEntry" id=
"search_entry">
34 <property name=
"visible">True
</property>
35 <property name=
"can_focus">True
</property>
38 <property name=
"expand">False
</property>
39 <property name=
"position">2</property>
43 <object class=
"GtkButton" id=
"search_previous">
44 <property name=
"label">Find previous
</property>
45 <property name=
"visible">True
</property>
46 <property name=
"can_focus">True
</property>
47 <property name=
"receives_default">True
</property>
48 <property name=
"image">image3
</property>
51 <property name=
"expand">False
</property>
52 <property name=
"position">3</property>
56 <object class=
"GtkButton" id=
"search_next">
57 <property name=
"label">Find next
</property>
58 <property name=
"visible">True
</property>
59 <property name=
"can_focus">True
</property>
60 <property name=
"receives_default">True
</property>
61 <property name=
"image">image4
</property>
64 <property name=
"expand">False
</property>
65 <property name=
"position">4</property>
69 <object class=
"GtkCheckButton" id=
"search_match_case">
70 <property name=
"label" translatable=
"yes">Match case
</property>
71 <property name=
"visible">True
</property>
72 <property name=
"can_focus">True
</property>
73 <property name=
"receives_default">False
</property>
74 <property name=
"draw_indicator">True
</property>
77 <property name=
"position">6</property>
81 <object class=
"GtkHBox" id=
"search_not_found">
82 <property name=
"spacing">6</property>
84 <object class=
"GtkImage" id=
"image2">
85 <property name=
"visible">True
</property>
86 <property name=
"stock">gtk-dialog-error
</property>
89 <property name=
"position">0</property>
93 <object class=
"GtkLabel" id=
"label1">
94 <property name=
"visible">True
</property>
95 <property name=
"label" translatable=
"yes">Phrase not found
</property>
98 <property name=
"position">1</property>
103 <property name=
"expand">False
</property>
104 <property name=
"pack_type">end
</property>
105 <property name=
"position">5</property>
109 <object class=
"GtkImage" id=
"image1">
110 <property name=
"visible">True
</property>
111 <property name=
"stock">gtk-close
</property>
113 <object class=
"GtkImage" id=
"image3">
114 <property name=
"visible">True
</property>
115 <property name=
"stock">gtk-go-back
</property>
117 <object class=
"GtkImage" id=
"image4">
118 <property name=
"visible">True
</property>
119 <property name=
"stock">gtk-go-forward
</property>