New widget PsppireValChooser.
[pspp] / src / ui / gui / recode.ui
1 <?xml version="1.0"?>
2 <interface>
3   <!-- interface-requires gtk+ 2.12 -->
4   <requires lib="psppire" version="2054.17080"/>
5   <!-- interface-naming-policy toplevel-contextual -->
6   <object class="PsppireDialog" id="old-new-values-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="modal">True</property>
9     <child internal-child="hbox">
10       <object class="GtkHBox" id="dialog-hbox1">
11         <property name="visible">True</property>
12         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
13         <property name="spacing">5</property>
14         <child>
15           <object class="PsppireValChooser" id="val-chooser">
16             <property name="label" translatable="yes">Old Value</property>
17             <property name="visible">True</property>
18           </object>
19           <packing>
20             <property name="position">0</property>
21           </packing>
22         </child>
23         <child>
24           <object class="GtkVBox" id="vbox1">
25             <property name="visible">True</property>
26             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
27             <property name="orientation">vertical</property>
28             <child>
29               <object class="GtkFrame" id="frame1">
30                 <property name="visible">True</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="label_xalign">0</property>
33                 <child>
34                   <object class="GtkAlignment" id="alignment1">
35                     <property name="visible">True</property>
36                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
37                     <property name="left_padding">12</property>
38                     <child>
39                       <object class="GtkTable" id="table1">
40                         <property name="visible">True</property>
41                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
42                         <property name="n_rows">3</property>
43                         <property name="n_columns">2</property>
44                         <child>
45                           <object class="GtkRadioButton" id="radiobutton1">
46                             <property name="visible">True</property>
47                             <property name="can_focus">True</property>
48                             <property name="receives_default">False</property>
49                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
50                             <property name="active">True</property>
51                             <property name="draw_indicator">True</property>
52                           </object>
53                           <packing>
54                             <property name="x_options"></property>
55                           </packing>
56                         </child>
57                         <child>
58                           <object class="GtkRadioButton" id="radiobutton2">
59                             <property name="visible">True</property>
60                             <property name="can_focus">True</property>
61                             <property name="receives_default">False</property>
62                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
63                             <property name="active">True</property>
64                             <property name="draw_indicator">True</property>
65                             <property name="group">radiobutton1</property>
66                           </object>
67                           <packing>
68                             <property name="top_attach">1</property>
69                             <property name="bottom_attach">2</property>
70                             <property name="x_options"></property>
71                           </packing>
72                         </child>
73                         <child>
74                           <object class="GtkRadioButton" id="radiobutton3">
75                             <property name="visible">True</property>
76                             <property name="can_focus">True</property>
77                             <property name="receives_default">False</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="active">True</property>
80                             <property name="draw_indicator">True</property>
81                             <property name="group">radiobutton1</property>
82                             <child>
83                               <placeholder/>
84                             </child>
85                           </object>
86                           <packing>
87                             <property name="top_attach">2</property>
88                             <property name="bottom_attach">3</property>
89                             <property name="x_options"></property>
90                           </packing>
91                         </child>
92                         <child>
93                           <object class="GtkLabel" id="label2">
94                             <property name="visible">True</property>
95                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
96                             <property name="xalign">0</property>
97                             <property name="label" translatable="yes">System Missing</property>
98                           </object>
99                           <packing>
100                             <property name="left_attach">1</property>
101                             <property name="right_attach">2</property>
102                             <property name="top_attach">1</property>
103                             <property name="bottom_attach">2</property>
104                           </packing>
105                         </child>
106                         <child>
107                           <object class="GtkLabel" id="label3">
108                             <property name="visible">True</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="xalign">0</property>
111                             <property name="label" translatable="yes">Copy old values</property>
112                           </object>
113                           <packing>
114                             <property name="left_attach">1</property>
115                             <property name="right_attach">2</property>
116                             <property name="top_attach">2</property>
117                             <property name="bottom_attach">3</property>
118                           </packing>
119                         </child>
120                         <child>
121                           <object class="GtkAlignment" id="alignment2">
122                             <property name="visible">True</property>
123                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
124                             <property name="xalign">0</property>
125                             <property name="xscale">0</property>
126                             <child>
127                               <object class="GtkHBox" id="hbox1">
128                                 <property name="visible">True</property>
129                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
130                                 <child>
131                                   <object class="GtkLabel" id="label4">
132                                     <property name="visible">True</property>
133                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
134                                     <property name="xalign">1</property>
135                                     <property name="label" translatable="yes">Value: </property>
136                                   </object>
137                                   <packing>
138                                     <property name="position">0</property>
139                                   </packing>
140                                 </child>
141                                 <child>
142                                   <object class="GtkEntry" id="entry1">
143                                     <property name="visible">True</property>
144                                     <property name="sensitive">False</property>
145                                     <property name="can_focus">True</property>
146                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
147                                   </object>
148                                   <packing>
149                                     <property name="position">1</property>
150                                   </packing>
151                                 </child>
152                               </object>
153                             </child>
154                           </object>
155                           <packing>
156                             <property name="left_attach">1</property>
157                             <property name="right_attach">2</property>
158                           </packing>
159                         </child>
160                       </object>
161                     </child>
162                   </object>
163                 </child>
164                 <child type="label">
165                   <object class="GtkLabel" id="label1">
166                     <property name="visible">True</property>
167                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
168                     <property name="label" translatable="yes">New Value</property>
169                     <property name="use_markup">True</property>
170                   </object>
171                 </child>
172               </object>
173               <packing>
174                 <property name="expand">False</property>
175                 <property name="fill">False</property>
176                 <property name="position">0</property>
177               </packing>
178             </child>
179             <child>
180               <object class="PsppireAcr" id="psppire-acr1">
181                 <property name="visible">True</property>
182                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
183                 <property name="border_width">5</property>
184               </object>
185               <packing>
186                 <property name="position">1</property>
187               </packing>
188             </child>
189             <child>
190               <object class="GtkTable" id="table3">
191                 <property name="visible">True</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="n_rows">2</property>
194                 <property name="n_columns">2</property>
195                 <child>
196                   <object class="GtkCheckButton" id="checkbutton1">
197                     <property name="visible">True</property>
198                     <property name="can_focus">True</property>
199                     <property name="receives_default">False</property>
200                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
201                     <property name="draw_indicator">True</property>
202                   </object>
203                   <packing>
204                     <property name="x_options"></property>
205                   </packing>
206                 </child>
207                 <child>
208                   <object class="GtkCheckButton" id="checkbutton2">
209                     <property name="visible">True</property>
210                     <property name="can_focus">True</property>
211                     <property name="receives_default">False</property>
212                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
213                     <property name="draw_indicator">True</property>
214                   </object>
215                   <packing>
216                     <property name="top_attach">1</property>
217                     <property name="bottom_attach">2</property>
218                     <property name="x_options"></property>
219                   </packing>
220                 </child>
221                 <child>
222                   <object class="GtkLabel" id="label14">
223                     <property name="visible">True</property>
224                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
225                     <property name="xalign">0</property>
226                     <property name="label" translatable="yes">Convert numeric strings to numbers (`5' -&gt; 5)</property>
227                   </object>
228                   <packing>
229                     <property name="left_attach">1</property>
230                     <property name="right_attach">2</property>
231                     <property name="top_attach">1</property>
232                     <property name="bottom_attach">2</property>
233                   </packing>
234                 </child>
235                 <child>
236                   <object class="GtkHBox" id="hbox2">
237                     <property name="visible">True</property>
238                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
239                     <child>
240                       <object class="GtkLabel" id="label15">
241                         <property name="visible">True</property>
242                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
243                         <property name="xalign">0</property>
244                         <property name="label" translatable="yes">Output variables are strings</property>
245                       </object>
246                       <packing>
247                         <property name="position">0</property>
248                       </packing>
249                     </child>
250                     <child>
251                       <object class="GtkHBox" id="hbox3">
252                         <property name="visible">True</property>
253                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
254                         <child>
255                           <object class="GtkLabel" id="label16">
256                             <property name="visible">True</property>
257                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
258                             <property name="xalign">1</property>
259                             <property name="label" translatable="yes">Width: </property>
260                           </object>
261                           <packing>
262                             <property name="position">0</property>
263                           </packing>
264                         </child>
265                         <child>
266                           <object class="GtkSpinButton" id="spinbutton1">
267                             <property name="visible">True</property>
268                             <property name="sensitive">False</property>
269                             <property name="can_focus">True</property>
270                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
271                             <property name="adjustment">adjustment1</property>
272                             <property name="numeric">True</property>
273                             <property name="update_policy">if-valid</property>
274                           </object>
275                           <packing>
276                             <property name="position">1</property>
277                           </packing>
278                         </child>
279                       </object>
280                       <packing>
281                         <property name="fill">False</property>
282                         <property name="position">1</property>
283                       </packing>
284                     </child>
285                   </object>
286                   <packing>
287                     <property name="left_attach">1</property>
288                     <property name="right_attach">2</property>
289                   </packing>
290                 </child>
291               </object>
292               <packing>
293                 <property name="expand">False</property>
294                 <property name="fill">False</property>
295                 <property name="position">2</property>
296               </packing>
297             </child>
298             <child>
299               <object class="PsppireHButtonBox" id="psppire-hbuttonbox1">
300                 <property name="visible">True</property>
301                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
302                 <property name="border_width">10</property>
303                 <property name="buttons">PSPPIRE_BUTTON_CONTINUE_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK</property>
304               </object>
305               <packing>
306                 <property name="expand">False</property>
307                 <property name="fill">False</property>
308                 <property name="pack_type">end</property>
309                 <property name="position">3</property>
310               </packing>
311             </child>
312           </object>
313           <packing>
314             <property name="position">1</property>
315           </packing>
316         </child>
317       </object>
318     </child>
319   </object>
320   <object class="PsppireDialog" id="recode-dialog">
321     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
322     <property name="title" translatable="yes">Recode into Same Variables</property>
323     <property name="modal">True</property>
324     <property name="orientation">Tabular</property>
325     <child internal-child="hbox">
326       <object class="GtkTable" id="dialog-hbox3">
327         <property name="visible">True</property>
328         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
329         <property name="n_rows">3</property>
330         <property name="n_columns">4</property>
331         <property name="column_spacing">5</property>
332         <property name="row_spacing">5</property>
333         <child>
334           <object class="GtkLabel" id="label22">
335             <property name="visible">True</property>
336             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
337           </object>
338           <packing>
339             <property name="left_attach">1</property>
340             <property name="right_attach">2</property>
341             <property name="top_attach">2</property>
342             <property name="bottom_attach">3</property>
343             <property name="y_options"></property>
344           </packing>
345         </child>
346         <child>
347           <object class="PsppireSelector" id="psppire-selector1">
348             <property name="visible">True</property>
349             <property name="can_focus">True</property>
350             <property name="receives_default">True</property>
351             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
352             <property name="border_width">5</property>
353             <property name="source_widget">treeview1</property>
354             <property name="dest_widget">treeview2</property>
355           </object>
356           <packing>
357             <property name="left_attach">1</property>
358             <property name="right_attach">2</property>
359             <property name="x_options"></property>
360             <property name="y_options"></property>
361           </packing>
362         </child>
363         <child>
364           <object class="GtkHBox" id="hbox4">
365             <property name="sensitive">False</property>
366             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
367             <property name="orientation">vertical</property>
368             <property name="spacing">5</property>
369             <child>
370               <object class="GtkButton" id="button2">
371                 <property name="label" translatable="yes">If...</property>
372                 <property name="visible">True</property>
373                 <property name="can_focus">True</property>
374                 <property name="receives_default">True</property>
375                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
376               </object>
377               <packing>
378                 <property name="expand">False</property>
379                 <property name="fill">False</property>
380                 <property name="position">0</property>
381               </packing>
382             </child>
383             <child>
384               <object class="GtkLabel" id="label18">
385                 <property name="visible">True</property>
386                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
387                 <property name="label" translatable="yes">(optional case selection condition)</property>
388               </object>
389               <packing>
390                 <property name="position">1</property>
391               </packing>
392             </child>
393           </object>
394           <packing>
395             <property name="left_attach">2</property>
396             <property name="right_attach">4</property>
397             <property name="top_attach">2</property>
398             <property name="bottom_attach">3</property>
399             <property name="y_options"></property>
400           </packing>
401         </child>
402         <child>
403           <object class="PsppireVButtonBox" id="psppire-vbuttonbox2">
404             <property name="visible">True</property>
405             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
406             <property name="border_width">5</property>
407           </object>
408           <packing>
409             <property name="left_attach">3</property>
410             <property name="right_attach">4</property>
411           </packing>
412         </child>
413         <child>
414           <object class="GtkScrolledWindow" id="scrolledwindow2">
415             <property name="visible">True</property>
416             <property name="can_focus">True</property>
417             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
418             <property name="hscrollbar_policy">never</property>
419             <property name="vscrollbar_policy">automatic</property>
420             <property name="shadow_type">etched-in</property>
421             <child>
422               <object class="PsppireDictView" id="treeview1">
423                 <property name="visible">True</property>
424                 <property name="can_focus">True</property>
425                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
426                 <property name="headers_visible">False</property>
427               </object>
428             </child>
429           </object>
430           <packing>
431             <property name="bottom_attach">3</property>
432           </packing>
433         </child>
434         <child>
435           <object class="GtkLabel" id="label23">
436             <property name="visible">True</property>
437             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
438           </object>
439           <packing>
440             <property name="left_attach">1</property>
441             <property name="right_attach">2</property>
442             <property name="top_attach">1</property>
443             <property name="bottom_attach">2</property>
444             <property name="x_options"></property>
445             <property name="y_options"></property>
446           </packing>
447         </child>
448         <child>
449           <object class="GtkFrame" id="frame4">
450             <property name="visible">True</property>
451             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
452             <property name="label_xalign">0</property>
453             <child>
454               <object class="GtkAlignment" id="alignment8">
455                 <property name="visible">True</property>
456                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
457                 <property name="left_padding">12</property>
458                 <child>
459                   <object class="GtkVBox" id="vbox3">
460                     <property name="visible">True</property>
461                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
462                     <property name="orientation">vertical</property>
463                     <child>
464                       <object class="GtkLabel" id="label20">
465                         <property name="visible">True</property>
466                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
467                         <property name="xalign">0</property>
468                         <property name="label" translatable="yes">Name:</property>
469                       </object>
470                       <packing>
471                         <property name="position">0</property>
472                       </packing>
473                     </child>
474                     <child>
475                       <object class="GtkEntry" id="dest-name-entry">
476                         <property name="visible">True</property>
477                         <property name="can_focus">True</property>
478                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
479                       </object>
480                       <packing>
481                         <property name="position">1</property>
482                       </packing>
483                     </child>
484                     <child>
485                       <object class="GtkLabel" id="label21">
486                         <property name="visible">True</property>
487                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
488                         <property name="xalign">0</property>
489                         <property name="label" translatable="yes">Label:</property>
490                       </object>
491                       <packing>
492                         <property name="position">2</property>
493                       </packing>
494                     </child>
495                     <child>
496                       <object class="GtkEntry" id="dest-label-entry">
497                         <property name="visible">True</property>
498                         <property name="can_focus">True</property>
499                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
500                       </object>
501                       <packing>
502                         <property name="position">3</property>
503                       </packing>
504                     </child>
505                     <child>
506                       <object class="GtkHButtonBox" id="hbuttonbox3">
507                         <property name="visible">True</property>
508                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
509                         <child>
510                           <object class="GtkButton" id="change-button">
511                             <property name="label" translatable="yes">Change</property>
512                             <property name="visible">True</property>
513                             <property name="can_focus">True</property>
514                             <property name="receives_default">True</property>
515                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
516                           </object>
517                           <packing>
518                             <property name="expand">False</property>
519                             <property name="fill">False</property>
520                             <property name="position">0</property>
521                           </packing>
522                         </child>
523                       </object>
524                       <packing>
525                         <property name="padding">5</property>
526                         <property name="position">4</property>
527                       </packing>
528                     </child>
529                   </object>
530                 </child>
531               </object>
532             </child>
533             <child type="label">
534               <object class="GtkLabel" id="label19">
535                 <property name="visible">True</property>
536                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
537                 <property name="label" translatable="yes">Output Variable</property>
538                 <property name="use_markup">True</property>
539               </object>
540             </child>
541           </object>
542           <packing>
543             <property name="left_attach">3</property>
544             <property name="right_attach">4</property>
545             <property name="top_attach">1</property>
546             <property name="bottom_attach">2</property>
547           </packing>
548         </child>
549         <child>
550           <object class="GtkVBox" id="vbox4">
551             <property name="visible">True</property>
552             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
553             <property name="orientation">vertical</property>
554             <property name="spacing">5</property>
555             <child>
556               <object class="GtkFrame" id="frame3">
557                 <property name="visible">True</property>
558                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
559                 <property name="label_xalign">0</property>
560                 <property name="shadow_type">none</property>
561                 <child>
562                   <object class="GtkAlignment" id="alignment4">
563                     <property name="visible">True</property>
564                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
565                     <property name="left_padding">12</property>
566                     <child>
567                       <object class="GtkScrolledWindow" id="scrolledwindow1">
568                         <property name="visible">True</property>
569                         <property name="can_focus">True</property>
570                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
571                         <property name="hscrollbar_policy">never</property>
572                         <property name="vscrollbar_policy">automatic</property>
573                         <property name="shadow_type">etched-in</property>
574                         <child>
575                           <object class="PsppireVarView" id="treeview2">
576                             <property name="visible">True</property>
577                             <property name="can_focus">True</property>
578                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
579                             <property name="headers_visible">False</property>
580                           </object>
581                         </child>
582                       </object>
583                     </child>
584                   </object>
585                 </child>
586                 <child type="label">
587                   <object class="GtkLabel" id="label17">
588                     <property name="visible">True</property>
589                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
590                     <property name="label" translatable="yes">Variables:</property>
591                     <property name="use_markup">True</property>
592                   </object>
593                 </child>
594               </object>
595               <packing>
596                 <property name="position">0</property>
597               </packing>
598             </child>
599             <child>
600               <object class="GtkAlignment" id="alignment5">
601                 <property name="visible">True</property>
602                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
603                 <property name="xalign">0</property>
604                 <property name="xscale">0</property>
605                 <child>
606                   <object class="GtkHButtonBox" id="hbuttonbox1">
607                     <property name="visible">True</property>
608                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
609                     <child>
610                       <object class="GtkButton" id="button1">
611                         <property name="label" translatable="yes">Old and New Values</property>
612                         <property name="visible">True</property>
613                         <property name="can_focus">True</property>
614                         <property name="receives_default">True</property>
615                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
616                       </object>
617                       <packing>
618                         <property name="expand">False</property>
619                         <property name="fill">False</property>
620                         <property name="position">0</property>
621                       </packing>
622                     </child>
623                   </object>
624                 </child>
625               </object>
626               <packing>
627                 <property name="expand">False</property>
628                 <property name="fill">False</property>
629                 <property name="position">1</property>
630               </packing>
631             </child>
632           </object>
633           <packing>
634             <property name="left_attach">2</property>
635             <property name="right_attach">3</property>
636             <property name="bottom_attach">2</property>
637           </packing>
638         </child>
639       </object>
640     </child>
641   </object>
642   <object class="GtkAdjustment" id="adjustment1">
643     <property name="value">8</property>
644     <property name="lower">1</property>
645     <property name="upper">255</property>
646     <property name="step_increment">1</property>
647     <property name="page_increment">8</property>
648   </object>
649 </interface>