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>
36 <property name="invisible_char">●</property>
39 <property name="expand">False</property>
40 <property name="position">2</property>
44 <object class="GtkButton" id="search_previous">
45 <property name="label">Find previous</property>
46 <property name="visible">True</property>
47 <property name="can_focus">True</property>
48 <property name="receives_default">True</property>
49 <property name="image">image3</property>
52 <property name="expand">False</property>
53 <property name="position">3</property>
57 <object class="GtkButton" id="search_next">
58 <property name="label">Find next</property>
59 <property name="visible">True</property>
60 <property name="can_focus">True</property>
61 <property name="receives_default">True</property>
62 <property name="image">image4</property>
65 <property name="expand">False</property>
66 <property name="position">4</property>
70 <object class="GtkCheckButton" id="search_match_case">
71 <property name="label" translatable="yes">Match case</property>
72 <property name="visible">True</property>
73 <property name="can_focus">True</property>
74 <property name="receives_default">False</property>
75 <property name="draw_indicator">True</property>
78 <property name="position">6</property>
82 <object class="GtkHBox" id="search_not_found">
83 <property name="spacing">6</property>
85 <object class="GtkImage" id="image2">
86 <property name="visible">True</property>
87 <property name="stock">gtk-dialog-error</property>
90 <property name="position">0</property>
94 <object class="GtkLabel" id="label1">
95 <property name="visible">True</property>
96 <property name="label" translatable="yes">Phrase not found</property>
99 <property name="position">1</property>
104 <property name="expand">False</property>
105 <property name="pack_type">end</property>
106 <property name="position">5</property>
110 <object class="GtkImage" id="image1">
111 <property name="visible">True</property>
112 <property name="stock">gtk-close</property>
114 <object class="GtkImage" id="image3">
115 <property name="visible">True</property>
116 <property name="stock">gtk-go-back</property>
118 <object class="GtkImage" id="image4">
119 <property name="visible">True</property>
120 <property name="stock">gtk-go-forward</property>