find-dialog.c: Replace exp10 with our own integer version
[pspp] / src / ui / gui / find.ui
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!-- PSPP - a program for statistical analysis. -->
3 <!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
4
5 <!-- This program is free software: you can redistribute it and/or modify -->
6 <!-- it under the terms of the GNU General Public License as published by -->
7 <!-- the Free Software Foundation, either version 3 of the License, or -->
8 <!-- (at your option) any later version. -->
9
10 <!-- This program is distributed in the hope that it will be useful, -->
11 <!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
12 <!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the -->
13 <!-- GNU General Public License for more details. -->
14
15 <!-- You should have received a copy of the GNU General Public License -->
16 <!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
17
18 <!-- Generated with glade 3.18.3 -->
19 <interface>
20   <requires lib="gtk+" version="3.4.2"/>
21   <requires lib="psppire" version="2053.63976"/>
22   <object class="PsppireDialog" id="find-dialog">
23     <property name="can_focus">False</property>
24     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
25     <property name="title" translatable="yes">Find Case</property>
26     <property name="modal">True</property>
27     <child>
28       <object class="GtkBox" id="dialog-hbox14">
29         <property name="visible">True</property>
30         <property name="can_focus">False</property>
31         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
32         <property name="spacing">2</property>
33         <child>
34           <object class="GtkBox" id="hbox10">
35             <property name="visible">True</property>
36             <property name="can_focus">False</property>
37             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
38             <property name="border_width">5</property>
39             <property name="spacing">5</property>
40             <child>
41               <object class="GtkScrolledWindow" id="scrolledwindow13">
42                 <property name="visible">True</property>
43                 <property name="can_focus">True</property>
44                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
45                 <property name="hscrollbar_policy">never</property>
46                 <property name="shadow_type">etched-in</property>
47                 <child>
48                   <object class="PsppireDictView" id="find-variable-treeview">
49                     <property name="height_request">300</property>
50                     <property name="visible">True</property>
51                     <property name="can_focus">True</property>
52                     <property name="border_width">0</property>
53                     <property name="headers_visible">False</property>
54                     <property name="fixed_height_mode">True</property>
55                     <child internal-child="selection">
56                       <object class="GtkTreeSelection" id="psppire-dictview-selection1"/>
57                     </child>
58                   </object>
59                 </child>
60               </object>
61               <packing>
62                 <property name="expand">True</property>
63                 <property name="fill">True</property>
64                 <property name="position">0</property>
65               </packing>
66             </child>
67             <child>
68               <object class="GtkBox" id="vbox27">
69                 <property name="visible">True</property>
70                 <property name="can_focus">False</property>
71                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
72                 <property name="orientation">vertical</property>
73                 <child>
74                   <object class="PsppireSelector" id="find-selector">
75                     <property name="visible">True</property>
76                     <property name="can_focus">True</property>
77                     <property name="receives_default">True</property>
78                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
79                     <property name="border_width">5</property>
80                     <property name="source_widget">find-variable-treeview</property>
81                     <property name="dest_widget">find-variable-entry</property>
82                   </object>
83                   <packing>
84                     <property name="expand">False</property>
85                     <property name="fill">False</property>
86                     <property name="position">0</property>
87                   </packing>
88                 </child>
89                 <child>
90                   <placeholder/>
91                 </child>
92               </object>
93               <packing>
94                 <property name="expand">False</property>
95                 <property name="fill">False</property>
96                 <property name="position">1</property>
97               </packing>
98             </child>
99             <child>
100               <object class="GtkBox" id="vbox10">
101                 <property name="visible">True</property>
102                 <property name="can_focus">False</property>
103                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
104                 <property name="orientation">vertical</property>
105                 <child>
106                   <object class="GtkBox" id="vbox11">
107                     <property name="visible">True</property>
108                     <property name="can_focus">False</property>
109                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
110                     <property name="orientation">vertical</property>
111                     <child>
112                       <object class="GtkLabel" id="label33">
113                         <property name="visible">True</property>
114                         <property name="can_focus">False</property>
115                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
116                         <property name="xalign">0</property>
117                         <property name="label" translatable="yes">Variable:</property>
118                       </object>
119                       <packing>
120                         <property name="expand">False</property>
121                         <property name="fill">False</property>
122                         <property name="padding">5</property>
123                         <property name="position">0</property>
124                       </packing>
125                     </child>
126                     <child>
127                       <object class="GtkEntry" id="find-variable-entry">
128                         <property name="visible">True</property>
129                         <property name="can_focus">True</property>
130                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
131                       </object>
132                       <packing>
133                         <property name="expand">False</property>
134                         <property name="fill">False</property>
135                         <property name="position">1</property>
136                       </packing>
137                     </child>
138                   </object>
139                   <packing>
140                     <property name="expand">False</property>
141                     <property name="fill">True</property>
142                     <property name="position">0</property>
143                   </packing>
144                 </child>
145                 <child>
146                   <object class="GtkBox" id="vbox15">
147                     <property name="visible">True</property>
148                     <property name="can_focus">False</property>
149                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
150                     <property name="orientation">vertical</property>
151                     <child>
152                       <object class="GtkLabel" id="label34">
153                         <property name="visible">True</property>
154                         <property name="can_focus">False</property>
155                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
156                         <property name="xalign">0</property>
157                         <property name="label" translatable="yes">Value:</property>
158                       </object>
159                       <packing>
160                         <property name="expand">False</property>
161                         <property name="fill">False</property>
162                         <property name="padding">5</property>
163                         <property name="position">0</property>
164                       </packing>
165                     </child>
166                     <child>
167                       <object class="GtkEntry" id="find-value-entry">
168                         <property name="visible">True</property>
169                         <property name="can_focus">True</property>
170                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
171                       </object>
172                       <packing>
173                         <property name="expand">False</property>
174                         <property name="fill">False</property>
175                         <property name="position">1</property>
176                       </packing>
177                     </child>
178                     <child>
179                       <object class="GtkCheckButton" id="find-value-labels-checkbutton">
180                         <property name="label" translatable="yes">Search value labels</property>
181                         <property name="visible">True</property>
182                         <property name="sensitive">False</property>
183                         <property name="can_focus">True</property>
184                         <property name="receives_default">False</property>
185                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
186                         <property name="xalign">0.5</property>
187                         <property name="draw_indicator">True</property>
188                       </object>
189                       <packing>
190                         <property name="expand">False</property>
191                         <property name="fill">True</property>
192                         <property name="position">2</property>
193                       </packing>
194                     </child>
195                   </object>
196                   <packing>
197                     <property name="expand">False</property>
198                     <property name="fill">True</property>
199                     <property name="position">1</property>
200                   </packing>
201                 </child>
202                 <child>
203                   <object class="GtkButtonBox" id="bb1">
204                     <property name="orientation">vertical</property>
205                     <property name="visible">True</property>
206                     <property name="can_focus">False</property>
207                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
208                     <child>
209                       <object class="GtkCheckButton" id="find-match-regexp-checkbutton">
210                         <property name="label" translatable="yes">Regular expression Match</property>
211                         <property name="visible">True</property>
212                         <property name="sensitive">False</property>
213                         <property name="can_focus">True</property>
214                         <property name="receives_default">False</property>
215                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
216                         <property name="xalign">0.5</property>
217                         <property name="draw_indicator">True</property>
218                       </object>
219                       <packing>
220                         <property name="expand">False</property>
221                         <property name="fill">False</property>
222                         <property name="position">0</property>
223                       </packing>
224                     </child>
225                     <child>
226                       <object class="GtkCheckButton" id="find-match-substring-checkbutton">
227                         <property name="label" translatable="yes">Search substrings</property>
228                         <property name="visible">True</property>
229                         <property name="sensitive">False</property>
230                         <property name="can_focus">True</property>
231                         <property name="receives_default">False</property>
232                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
233                         <property name="xalign">0.5</property>
234                         <property name="draw_indicator">True</property>
235                       </object>
236                       <packing>
237                         <property name="expand">False</property>
238                         <property name="fill">False</property>
239                         <property name="position">1</property>
240                       </packing>
241                     </child>
242                     <child>
243                       <object class="GtkCheckButton" id="find-wrap">
244                         <property name="label" translatable="yes">Wrap around</property>
245                         <property name="visible">True</property>
246                         <property name="can_focus">True</property>
247                         <property name="receives_default">False</property>
248                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
249                         <property name="xalign">0.5</property>
250                         <property name="draw_indicator">True</property>
251                       </object>
252                       <packing>
253                         <property name="expand">False</property>
254                         <property name="fill">False</property>
255                         <property name="position">2</property>
256                       </packing>
257                     </child>
258                     <child>
259                       <object class="GtkCheckButton" id="find-backwards">
260                         <property name="label" translatable="yes">Search backward</property>
261                         <property name="visible">True</property>
262                         <property name="can_focus">True</property>
263                         <property name="receives_default">False</property>
264                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
265                         <property name="xalign">0.5</property>
266                         <property name="draw_indicator">True</property>
267                       </object>
268                       <packing>
269                         <property name="expand">False</property>
270                         <property name="fill">False</property>
271                         <property name="position">3</property>
272                       </packing>
273                     </child>
274                   </object>
275                   <packing>
276                     <property name="expand">False</property>
277                     <property name="fill">True</property>
278                     <property name="position">2</property>
279                   </packing>
280                 </child>
281               </object>
282               <packing>
283                 <property name="expand">False</property>
284                 <property name="fill">True</property>
285                 <property name="position">3</property>
286               </packing>
287             </child>
288           </object>
289           <packing>
290             <property name="expand">True</property>
291             <property name="fill">True</property>
292             <property name="position">0</property>
293           </packing>
294         </child>
295         <child>
296           <object class="PsppireButtonbox" id="find-buttonbox">
297             <property name="orientation">vertical</property>
298             <property name="visible">True</property>
299             <property name="can_focus">False</property>
300             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
301             <property name="border_width">5</property>
302             <property name="buttons">PSPPIRE_BUTTON_CLOSE_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_RESET_MASK</property>
303           </object>
304           <packing>
305             <property name="expand">False</property>
306             <property name="fill">False</property>
307             <property name="pack_type">end</property>
308             <property name="position">1</property>
309           </packing>
310         </child>
311       </object>
312     </child>
313   </object>
314 </interface>