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" translatable="yes">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" translatable="yes">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>