]> git.lyx.org Git - lyx.git/blob - src/frontends/gtk/glade/search.glade
Change glob() API to accept a dir parameter.
[lyx.git] / src / frontends / gtk / glade / search.glade
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4 <glade-interface>
5
6 <widget class="GtkWindow" id="dialog">
7   <property name="visible">True</property>
8   <property name="title" translatable="yes">Find and Replace</property>
9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
10   <property name="window_position">GTK_WIN_POS_NONE</property>
11   <property name="modal">False</property>
12   <property name="default_width">450</property>
13   <property name="resizable">False</property>
14   <property name="destroy_with_parent">False</property>
15   <property name="decorated">True</property>
16   <property name="skip_taskbar_hint">False</property>
17   <property name="skip_pager_hint">False</property>
18   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
19   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
20
21   <child>
22     <widget class="GtkTable" id="table1">
23       <property name="border_width">5</property>
24       <property name="visible">True</property>
25       <property name="n_rows">4</property>
26       <property name="n_columns">3</property>
27       <property name="homogeneous">False</property>
28       <property name="row_spacing">2</property>
29       <property name="column_spacing">4</property>
30
31       <child>
32         <widget class="GtkLabel" id="label1">
33           <property name="visible">True</property>
34           <property name="label" translatable="yes">Find what:</property>
35           <property name="use_underline">False</property>
36           <property name="use_markup">False</property>
37           <property name="justify">GTK_JUSTIFY_RIGHT</property>
38           <property name="wrap">False</property>
39           <property name="selectable">False</property>
40           <property name="xalign">0</property>
41           <property name="yalign">0.5</property>
42           <property name="xpad">0</property>
43           <property name="ypad">0</property>
44         </widget>
45         <packing>
46           <property name="left_attach">0</property>
47           <property name="right_attach">1</property>
48           <property name="top_attach">0</property>
49           <property name="bottom_attach">1</property>
50           <property name="x_options">fill</property>
51           <property name="y_options"></property>
52         </packing>
53       </child>
54
55       <child>
56         <widget class="GtkLabel" id="label2">
57           <property name="visible">True</property>
58           <property name="label" translatable="yes">Replace with:</property>
59           <property name="use_underline">False</property>
60           <property name="use_markup">False</property>
61           <property name="justify">GTK_JUSTIFY_RIGHT</property>
62           <property name="wrap">False</property>
63           <property name="selectable">False</property>
64           <property name="xalign">0</property>
65           <property name="yalign">0.5</property>
66           <property name="xpad">0</property>
67           <property name="ypad">0</property>
68         </widget>
69         <packing>
70           <property name="left_attach">0</property>
71           <property name="right_attach">1</property>
72           <property name="top_attach">1</property>
73           <property name="bottom_attach">2</property>
74           <property name="x_options">fill</property>
75           <property name="y_options"></property>
76         </packing>
77       </child>
78
79       <child>
80         <widget class="GtkEntry" id="FindEntry">
81           <property name="visible">True</property>
82           <property name="can_focus">True</property>
83           <property name="has_focus">True</property>
84           <property name="editable">True</property>
85           <property name="visibility">True</property>
86           <property name="max_length">0</property>
87           <property name="text" translatable="yes"></property>
88           <property name="has_frame">True</property>
89           <property name="invisible_char" translatable="yes">*</property>
90           <property name="activates_default">True</property>
91         </widget>
92         <packing>
93           <property name="left_attach">1</property>
94           <property name="right_attach">2</property>
95           <property name="top_attach">0</property>
96           <property name="bottom_attach">1</property>
97           <property name="y_options"></property>
98         </packing>
99       </child>
100
101       <child>
102         <widget class="GtkEntry" id="ReplaceEntry">
103           <property name="visible">True</property>
104           <property name="can_focus">True</property>
105           <property name="editable">True</property>
106           <property name="visibility">True</property>
107           <property name="max_length">0</property>
108           <property name="text" translatable="yes"></property>
109           <property name="has_frame">True</property>
110           <property name="invisible_char" translatable="yes">*</property>
111           <property name="activates_default">False</property>
112         </widget>
113         <packing>
114           <property name="left_attach">1</property>
115           <property name="right_attach">2</property>
116           <property name="top_attach">1</property>
117           <property name="bottom_attach">2</property>
118           <property name="y_options"></property>
119         </packing>
120       </child>
121
122       <child>
123         <widget class="GtkButton" id="FindNext">
124           <property name="visible">True</property>
125           <property name="sensitive">False</property>
126           <property name="can_default">True</property>
127           <property name="has_default">True</property>
128           <property name="can_focus">True</property>
129           <property name="label">gtk-find</property>
130           <property name="use_stock">True</property>
131           <property name="relief">GTK_RELIEF_NORMAL</property>
132           <property name="focus_on_click">True</property>
133         </widget>
134         <packing>
135           <property name="left_attach">2</property>
136           <property name="right_attach">3</property>
137           <property name="top_attach">0</property>
138           <property name="bottom_attach">1</property>
139           <property name="x_options">fill</property>
140           <property name="y_options"></property>
141         </packing>
142       </child>
143
144       <child>
145         <widget class="GtkButton" id="Replace">
146           <property name="visible">True</property>
147           <property name="sensitive">False</property>
148           <property name="can_focus">True</property>
149           <property name="label">gtk-find-and-replace</property>
150           <property name="use_stock">True</property>
151           <property name="relief">GTK_RELIEF_NORMAL</property>
152           <property name="focus_on_click">True</property>
153         </widget>
154         <packing>
155           <property name="left_attach">2</property>
156           <property name="right_attach">3</property>
157           <property name="top_attach">1</property>
158           <property name="bottom_attach">2</property>
159           <property name="x_options">fill</property>
160           <property name="y_options"></property>
161         </packing>
162       </child>
163
164       <child>
165         <widget class="GtkButton" id="Cancel">
166           <property name="visible">True</property>
167           <property name="can_focus">True</property>
168           <property name="label">gtk-close</property>
169           <property name="use_stock">True</property>
170           <property name="relief">GTK_RELIEF_NORMAL</property>
171           <property name="focus_on_click">True</property>
172           <accelerator key="Escape" modifiers="0" signal="clicked"/>
173         </widget>
174         <packing>
175           <property name="left_attach">2</property>
176           <property name="right_attach">3</property>
177           <property name="top_attach">3</property>
178           <property name="bottom_attach">4</property>
179           <property name="x_options">fill</property>
180           <property name="y_options"></property>
181         </packing>
182       </child>
183
184       <child>
185         <widget class="GtkHBox" id="hbox1">
186           <property name="visible">True</property>
187           <property name="homogeneous">False</property>
188           <property name="spacing">0</property>
189
190           <child>
191             <widget class="GtkCheckButton" id="CaseSensitive">
192               <property name="visible">True</property>
193               <property name="can_focus">True</property>
194               <property name="label" translatable="yes">Case s_ensitive</property>
195               <property name="use_underline">True</property>
196               <property name="relief">GTK_RELIEF_NORMAL</property>
197               <property name="focus_on_click">True</property>
198               <property name="active">False</property>
199               <property name="inconsistent">False</property>
200               <property name="draw_indicator">True</property>
201             </widget>
202             <packing>
203               <property name="padding">0</property>
204               <property name="expand">False</property>
205               <property name="fill">False</property>
206             </packing>
207           </child>
208
209           <child>
210             <widget class="GtkCheckButton" id="MatchWord">
211               <property name="visible">True</property>
212               <property name="can_focus">True</property>
213               <property name="label" translatable="yes">_Match word</property>
214               <property name="use_underline">True</property>
215               <property name="relief">GTK_RELIEF_NORMAL</property>
216               <property name="focus_on_click">True</property>
217               <property name="active">False</property>
218               <property name="inconsistent">False</property>
219               <property name="draw_indicator">True</property>
220             </widget>
221             <packing>
222               <property name="padding">0</property>
223               <property name="expand">False</property>
224               <property name="fill">False</property>
225             </packing>
226           </child>
227         </widget>
228         <packing>
229           <property name="left_attach">0</property>
230           <property name="right_attach">2</property>
231           <property name="top_attach">2</property>
232           <property name="bottom_attach">3</property>
233           <property name="x_options">fill</property>
234           <property name="y_options">fill</property>
235         </packing>
236       </child>
237
238       <child>
239         <widget class="GtkHBox" id="hbox2">
240           <property name="visible">True</property>
241           <property name="homogeneous">False</property>
242           <property name="spacing">0</property>
243
244           <child>
245             <widget class="GtkCheckButton" id="SearchBackwards">
246               <property name="visible">True</property>
247               <property name="can_focus">True</property>
248               <property name="label" translatable="yes">_Search backwards</property>
249               <property name="use_underline">True</property>
250               <property name="relief">GTK_RELIEF_NORMAL</property>
251               <property name="focus_on_click">True</property>
252               <property name="active">False</property>
253               <property name="inconsistent">False</property>
254               <property name="draw_indicator">True</property>
255             </widget>
256             <packing>
257               <property name="padding">0</property>
258               <property name="expand">False</property>
259               <property name="fill">False</property>
260             </packing>
261           </child>
262         </widget>
263         <packing>
264           <property name="left_attach">0</property>
265           <property name="right_attach">2</property>
266           <property name="top_attach">3</property>
267           <property name="bottom_attach">4</property>
268           <property name="x_options">fill</property>
269           <property name="y_options">fill</property>
270         </packing>
271       </child>
272
273       <child>
274         <widget class="GtkButton" id="ReplaceAll">
275           <property name="visible">True</property>
276           <property name="sensitive">False</property>
277           <property name="can_focus">True</property>
278           <property name="label" translatable="yes">Repl_ace all</property>
279           <property name="use_underline">True</property>
280           <property name="relief">GTK_RELIEF_NORMAL</property>
281           <property name="focus_on_click">True</property>
282         </widget>
283         <packing>
284           <property name="left_attach">2</property>
285           <property name="right_attach">3</property>
286           <property name="top_attach">2</property>
287           <property name="bottom_attach">3</property>
288           <property name="x_options">fill</property>
289           <property name="y_options"></property>
290         </packing>
291       </child>
292     </widget>
293   </child>
294 </widget>
295
296 </glade-interface>