Merge 'master' into 'gtk3'.
[pspp] / src / ui / gui / find.ui
1 <?xml version="1.0"?>
2 <interface>
3   <requires lib="psppire" version="2053.63976"/>
4   <!-- interface-requires gtk+ 2.12 -->
5   <!-- interface-naming-policy project-wide -->
6   <object class="PsppireDialog" id="find-dialog">
7     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
8     <property name="title" translatable="yes">Find Case</property>
9     <property name="modal">True</property>
10     <child internal-child="hbox">
11       <object class="GtkHBox" id="dialog-hbox14">
12         <property name="visible">True</property>
13         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
14         <property name="spacing">2</property>
15         <child>
16           <object class="GtkHBox" id="hbox10">
17             <property name="visible">True</property>
18             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
19             <property name="border_width">5</property>
20             <property name="spacing">5</property>
21             <child>
22               <object class="GtkScrolledWindow" id="scrolledwindow13">
23                 <property name="visible">True</property>
24                 <property name="can_focus">True</property>
25                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
26                 <property name="hscrollbar_policy">never</property>
27                 <property name="vscrollbar_policy">automatic</property>
28                 <property name="shadow_type">etched-in</property>
29                 <child>
30                   <object class="PsppireDictView" id="find-variable-treeview">
31                     <property name="height_request">300</property>
32                     <property name="visible">True</property>
33                     <property name="can_focus">True</property>
34                     <property name="headers_visible">False</property>
35                     <property name="fixed_height_mode">True</property>
36                   </object>
37                 </child>
38               </object>
39               <packing>
40                 <property name="position">0</property>
41               </packing>
42             </child>
43             <child>
44               <object class="GtkVBox" id="vbox27">
45                 <property name="visible">True</property>
46                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
47                 <property name="orientation">vertical</property>
48                 <child>
49                   <object class="PsppireSelector" id="find-selector">
50                     <property name="visible">True</property>
51                     <property name="can_focus">True</property>
52                     <property name="receives_default">True</property>
53                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
54                     <property name="border_width">5</property>
55                     <property name="source_widget">find-variable-treeview</property>
56                     <property name="dest_widget">find-variable-entry</property>
57                   </object>
58                   <packing>
59                     <property name="expand">False</property>
60                     <property name="fill">False</property>
61                     <property name="position">0</property>
62                   </packing>
63                 </child>
64                 <child>
65                   <placeholder/>
66                 </child>
67               </object>
68               <packing>
69                 <property name="expand">False</property>
70                 <property name="fill">False</property>
71                 <property name="position">1</property>
72               </packing>
73             </child>
74             <child>
75               <object class="GtkVBox" id="vbox10">
76                 <property name="visible">True</property>
77                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
78                 <property name="orientation">vertical</property>
79                 <child>
80                   <object class="GtkVBox" id="vbox11">
81                     <property name="visible">True</property>
82                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
83                     <child>
84                       <object class="GtkLabel" id="label33">
85                         <property name="visible">True</property>
86                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
87                         <property name="xalign">0</property>
88                         <property name="label" translatable="yes">Variable:</property>
89                       </object>
90                       <packing>
91                         <property name="expand">False</property>
92                         <property name="fill">False</property>
93                         <property name="padding">5</property>
94                         <property name="position">0</property>
95                       </packing>
96                     </child>
97                     <child>
98                       <object class="GtkEntry" id="find-variable-entry">
99                         <property name="visible">True</property>
100                         <property name="can_focus">True</property>
101                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
102                       </object>
103                       <packing>
104                         <property name="expand">False</property>
105                         <property name="fill">False</property>
106                         <property name="position">1</property>
107                       </packing>
108                     </child>
109                   </object>
110                   <packing>
111                     <property name="position">0</property>
112                   </packing>
113                 </child>
114                 <child>
115                   <object class="GtkVBox" id="vbox15">
116                     <property name="visible">True</property>
117                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
118                     <property name="orientation">vertical</property>
119                     <child>
120                       <object class="GtkLabel" id="label34">
121                         <property name="visible">True</property>
122                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
123                         <property name="xalign">0</property>
124                         <property name="label" translatable="yes">Value:</property>
125                       </object>
126                       <packing>
127                         <property name="expand">False</property>
128                         <property name="fill">False</property>
129                         <property name="padding">5</property>
130                         <property name="position">0</property>
131                       </packing>
132                     </child>
133                     <child>
134                       <object class="GtkEntry" id="find-value-entry">
135                         <property name="visible">True</property>
136                         <property name="can_focus">True</property>
137                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
138                       </object>
139                       <packing>
140                         <property name="expand">False</property>
141                         <property name="fill">False</property>
142                         <property name="position">1</property>
143                       </packing>
144                     </child>
145                     <child>
146                       <object class="GtkCheckButton" id="find-value-labels-checkbutton">
147                         <property name="label" translatable="yes">Search value labels</property>
148                         <property name="visible">True</property>
149                         <property name="sensitive">False</property>
150                         <property name="can_focus">True</property>
151                         <property name="receives_default">False</property>
152                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
153                         <property name="draw_indicator">True</property>
154                       </object>
155                       <packing>
156                         <property name="expand">False</property>
157                         <property name="position">2</property>
158                       </packing>
159                     </child>
160                   </object>
161                   <packing>
162                     <property name="position">1</property>
163                   </packing>
164                 </child>
165                 <child>
166                   <object class="GtkVButtonBox" id="bb1">
167                     <property name="visible">True</property>
168                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
169                     <child>
170                       <object class="GtkCheckButton" id="find-match-regexp-checkbutton">
171                         <property name="label" translatable="yes">Regular expression Match</property>
172                         <property name="visible">True</property>
173                         <property name="sensitive">False</property>
174                         <property name="can_focus">True</property>
175                         <property name="receives_default">False</property>
176                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
177                         <property name="draw_indicator">True</property>
178                       </object>
179                       <packing>
180                         <property name="expand">False</property>
181                         <property name="fill">False</property>
182                         <property name="position">0</property>
183                       </packing>
184                     </child>
185                     <child>
186                       <object class="GtkCheckButton" id="find-match-substring-checkbutton">
187                         <property name="label" translatable="yes">Search substrings</property>
188                         <property name="visible">True</property>
189                         <property name="sensitive">False</property>
190                         <property name="can_focus">True</property>
191                         <property name="receives_default">False</property>
192                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
193                         <property name="draw_indicator">True</property>
194                       </object>
195                       <packing>
196                         <property name="expand">False</property>
197                         <property name="fill">False</property>
198                         <property name="position">1</property>
199                       </packing>
200                     </child>
201                     <child>
202                       <object class="GtkCheckButton" id="find-wrap">
203                         <property name="label" translatable="yes">Wrap around</property>
204                         <property name="visible">True</property>
205                         <property name="can_focus">True</property>
206                         <property name="receives_default">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                         <property name="draw_indicator">True</property>
209                       </object>
210                       <packing>
211                         <property name="expand">False</property>
212                         <property name="fill">False</property>
213                         <property name="position">2</property>
214                       </packing>
215                     </child>
216                     <child>
217                       <object class="GtkCheckButton" id="find-backwards">
218                         <property name="label" translatable="yes">Search backward</property>
219                         <property name="visible">True</property>
220                         <property name="can_focus">True</property>
221                         <property name="receives_default">False</property>
222                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
223                         <property name="draw_indicator">True</property>
224                       </object>
225                       <packing>
226                         <property name="expand">False</property>
227                         <property name="fill">False</property>
228                         <property name="position">3</property>
229                       </packing>
230                     </child>
231                   </object>
232                   <packing>
233                     <property name="position">2</property>
234                   </packing>
235                 </child>
236               </object>
237               <packing>
238                 <property name="expand">False</property>
239                 <property name="position">3</property>
240               </packing>
241             </child>
242           </object>
243           <packing>
244             <property name="position">0</property>
245           </packing>
246         </child>
247         <child>
248           <object class="PsppireVButtonBox" id="find-buttonbox">
249             <property name="visible">True</property>
250             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
251             <property name="border_width">5</property>
252             <property name="buttons">PSPPIRE_BUTTON_CLOSE_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_RESET_MASK</property>
253           </object>
254           <packing>
255             <property name="expand">False</property>
256             <property name="fill">False</property>
257             <property name="pack_type">end</property>
258             <property name="position">1</property>
259           </packing>
260         </child>
261       </object>
262     </child>
263   </object>
264 </interface>