Replaced GtkStatusBar with a custom one more suited to our needs.
[pspp-builds.git] / src / ui / gui / data-editor.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="data_editor">
7   <property name="title">Psppire Data Editor</property>
8   <property name="type">GTK_WINDOW_TOPLEVEL</property>
9   <property name="window_position">GTK_WIN_POS_NONE</property>
10   <property name="modal">False</property>
11   <property name="default_width">975</property>
12   <property name="default_height">480</property>
13   <property name="resizable">True</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_NORMAL</property>
19   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
20   <property name="focus_on_map">True</property>
21   <property name="urgency_hint">False</property>
22
23   <child>
24     <widget class="GtkVBox" id="vbox1">
25       <property name="visible">True</property>
26       <property name="homogeneous">False</property>
27       <property name="spacing">0</property>
28
29       <child>
30         <widget class="GtkMenuBar" id="menubar1">
31           <property name="visible">True</property>
32           <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
33           <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
34
35           <child>
36             <widget class="GtkMenuItem" id="menuitem1">
37               <property name="visible">True</property>
38               <property name="label" translatable="yes">_File</property>
39               <property name="use_underline">True</property>
40
41               <child>
42                 <widget class="GtkMenu" id="menuitem1_menu">
43
44                   <child>
45                     <widget class="GtkImageMenuItem" id="new1">
46                       <property name="visible">True</property>
47                       <property name="label">gtk-new</property>
48                       <property name="use_stock">True</property>
49
50                       <child>
51                         <widget class="GtkMenu" id="new1_menu">
52
53                           <child>
54                             <widget class="GtkMenuItem" id="file_new_syntax">
55                               <property name="visible">True</property>
56                               <property name="label" translatable="yes">_Syntax</property>
57                               <property name="use_underline">True</property>
58                             </widget>
59                           </child>
60
61                           <child>
62                             <widget class="GtkMenuItem" id="file_new_data">
63                               <property name="visible">True</property>
64                               <property name="label" translatable="yes">_Data</property>
65                               <property name="use_underline">True</property>
66                             </widget>
67                           </child>
68                         </widget>
69                       </child>
70                     </widget>
71                   </child>
72
73                   <child>
74                     <widget class="GtkImageMenuItem" id="open1">
75                       <property name="visible">True</property>
76                       <property name="label">gtk-open</property>
77                       <property name="use_stock">True</property>
78
79                       <child>
80                         <widget class="GtkMenu" id="open1_menu">
81
82                           <child>
83                             <widget class="GtkMenuItem" id="file_open_syntax">
84                               <property name="visible">True</property>
85                               <property name="label" translatable="yes">_Syntax</property>
86                               <property name="use_underline">True</property>
87                             </widget>
88                           </child>
89
90                           <child>
91                             <widget class="GtkMenuItem" id="file_open_data">
92                               <property name="visible">True</property>
93                               <property name="label" translatable="yes">_Data</property>
94                               <property name="use_underline">True</property>
95                             </widget>
96                           </child>
97                         </widget>
98                       </child>
99                     </widget>
100                   </child>
101
102                   <child>
103                     <widget class="GtkImageMenuItem" id="save1">
104                       <property name="visible">True</property>
105                       <property name="sensitive">False</property>
106                       <property name="label">gtk-save</property>
107                       <property name="use_stock">True</property>
108                       <signal name="activate" handler="on_save1_activate" last_modification_time="Tue, 23 Mar 2004 10:22:51 GMT"/>
109                     </widget>
110                   </child>
111
112                   <child>
113                     <widget class="GtkImageMenuItem" id="save_as1">
114                       <property name="visible">True</property>
115                       <property name="sensitive">False</property>
116                       <property name="label">gtk-save-as</property>
117                       <property name="use_stock">True</property>
118                       <signal name="activate" handler="on_save_as1_activate" last_modification_time="Tue, 23 Mar 2004 10:22:51 GMT"/>
119                     </widget>
120                   </child>
121
122                   <child>
123                     <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
124                       <property name="visible">True</property>
125                     </widget>
126                   </child>
127
128                   <child>
129                     <widget class="GtkImageMenuItem" id="file_quit">
130                       <property name="visible">True</property>
131                       <property name="label">gtk-quit</property>
132                       <property name="use_stock">True</property>
133                       <signal name="activate" handler="on_quit1_activate" last_modification_time="Tue, 23 Mar 2004 10:22:51 GMT"/>
134                     </widget>
135                   </child>
136                 </widget>
137               </child>
138             </widget>
139           </child>
140
141           <child>
142             <widget class="GtkMenuItem" id="edit">
143               <property name="visible">True</property>
144               <property name="label" translatable="yes">_Edit</property>
145               <property name="use_underline">True</property>
146
147               <child>
148                 <widget class="GtkMenu" id="edit_menu">
149
150                   <child>
151                     <widget class="GtkImageMenuItem" id="cut1">
152                       <property name="visible">True</property>
153                       <property name="sensitive">False</property>
154                       <property name="label">gtk-cut</property>
155                       <property name="use_stock">True</property>
156                     </widget>
157                   </child>
158
159                   <child>
160                     <widget class="GtkImageMenuItem" id="copy1">
161                       <property name="visible">True</property>
162                       <property name="sensitive">False</property>
163                       <property name="label">gtk-copy</property>
164                       <property name="use_stock">True</property>
165                     </widget>
166                   </child>
167
168                   <child>
169                     <widget class="GtkImageMenuItem" id="paste1">
170                       <property name="visible">True</property>
171                       <property name="sensitive">False</property>
172                       <property name="label">gtk-paste</property>
173                       <property name="use_stock">True</property>
174                     </widget>
175                   </child>
176
177                   <child>
178                     <widget class="GtkMenuItem" id="paste_variables1">
179                       <property name="visible">True</property>
180                       <property name="sensitive">False</property>
181                       <property name="label" translatable="yes">Paste _Variables</property>
182                       <property name="use_underline">True</property>
183                     </widget>
184                   </child>
185
186                   <child>
187                     <widget class="GtkMenuItem" id="edit_clear">
188                       <property name="visible">True</property>
189                       <property name="sensitive">False</property>
190                       <property name="label" translatable="yes">Cl_ear</property>
191                       <property name="use_underline">True</property>
192                       <accelerator key="Delete" modifiers="0" signal="activate"/>
193                     </widget>
194                   </child>
195
196                   <child>
197                     <widget class="GtkSeparatorMenuItem" id="separator6">
198                       <property name="visible">True</property>
199                     </widget>
200                   </child>
201
202                   <child>
203                     <widget class="GtkImageMenuItem" id="find1">
204                       <property name="visible">True</property>
205                       <property name="sensitive">False</property>
206                       <property name="label" translatable="yes">_Find</property>
207                       <property name="use_underline">True</property>
208
209                       <child internal-child="image">
210                         <widget class="GtkImage" id="image47">
211                           <property name="visible">True</property>
212                           <property name="stock">gtk-find</property>
213                           <property name="icon_size">1</property>
214                           <property name="xalign">0.5</property>
215                           <property name="yalign">0.5</property>
216                           <property name="xpad">0</property>
217                           <property name="ypad">0</property>
218                         </widget>
219                       </child>
220                     </widget>
221                   </child>
222                 </widget>
223               </child>
224             </widget>
225           </child>
226
227           <child>
228             <widget class="GtkMenuItem" id="menuitem3">
229               <property name="visible">True</property>
230               <property name="label" translatable="yes">_View</property>
231               <property name="use_underline">True</property>
232
233               <child>
234                 <widget class="GtkMenu" id="menuitem3_menu">
235
236                   <child>
237                     <widget class="GtkCheckMenuItem" id="view_statusbar">
238                       <property name="visible">True</property>
239                       <property name="label" translatable="yes">Status Bar</property>
240                       <property name="use_underline">True</property>
241                       <property name="active">True</property>
242                     </widget>
243                   </child>
244
245                   <child>
246                     <widget class="GtkMenuItem" id="toolbars">
247                       <property name="label" translatable="yes">Toolbars</property>
248                       <property name="use_underline">True</property>
249                     </widget>
250                   </child>
251
252                   <child>
253                     <widget class="GtkSeparatorMenuItem" id="separator1">
254                       <property name="visible">True</property>
255                     </widget>
256                   </child>
257
258                   <child>
259                     <widget class="GtkMenuItem" id="view_fonts">
260                       <property name="visible">True</property>
261                       <property name="label" translatable="yes">Fonts</property>
262                       <property name="use_underline">True</property>
263                     </widget>
264                   </child>
265
266                   <child>
267                     <widget class="GtkCheckMenuItem" id="view_gridlines">
268                       <property name="visible">True</property>
269                       <property name="label" translatable="yes">Grid Lines</property>
270                       <property name="use_underline">True</property>
271                       <property name="active">True</property>
272                     </widget>
273                   </child>
274
275                   <child>
276                     <widget class="GtkCheckMenuItem" id="view_valuelabels">
277                       <property name="visible">True</property>
278                       <property name="label" translatable="yes">Value Labels</property>
279                       <property name="use_underline">True</property>
280                       <property name="active">False</property>
281                     </widget>
282                   </child>
283
284                   <child>
285                     <widget class="GtkSeparatorMenuItem" id="separator3">
286                       <property name="visible">True</property>
287                     </widget>
288                   </child>
289
290                   <child>
291                     <widget class="GtkMenuItem" id="view_data">
292                       <property name="visible">True</property>
293                       <property name="label" translatable="yes">Data</property>
294                       <property name="use_underline">True</property>
295                     </widget>
296                   </child>
297
298                   <child>
299                     <widget class="GtkMenuItem" id="view_variables">
300                       <property name="visible">True</property>
301                       <property name="label" translatable="yes">Variables</property>
302                       <property name="use_underline">True</property>
303                     </widget>
304                   </child>
305                 </widget>
306               </child>
307             </widget>
308           </child>
309
310           <child>
311             <widget class="GtkMenuItem" id="data">
312               <property name="visible">True</property>
313               <property name="label" translatable="yes">_Data</property>
314               <property name="use_underline">True</property>
315
316               <child>
317                 <widget class="GtkMenu" id="data_menu">
318
319                   <child>
320                     <widget class="GtkMenuItem" id="data_insert-variable">
321                       <property name="visible">True</property>
322                       <property name="sensitive">False</property>
323                       <property name="label" translatable="yes">Insert Variable</property>
324                       <property name="use_underline">True</property>
325                       <signal name="activate" handler="on_insert_variable"/>
326                     </widget>
327                   </child>
328
329                   <child>
330                     <widget class="GtkMenuItem" id="insert-cases">
331                       <property name="visible">True</property>
332                       <property name="sensitive">False</property>
333                       <property name="label" translatable="yes">Insert Cases</property>
334                       <property name="use_underline">True</property>
335                       <signal name="activate" handler="on_insert_cases" last_modification_time="Sat, 01 Jul 2006 08:40:06 GMT"/>
336                     </widget>
337                   </child>
338
339                   <child>
340                     <widget class="GtkImageMenuItem" id="go_to_case">
341                       <property name="visible">True</property>
342                       <property name="sensitive">False</property>
343                       <property name="label" translatable="yes">Go To Case</property>
344                       <property name="use_underline">True</property>
345                       <signal name="activate" handler="on_go_to_case_activate" last_modification_time="Mon, 19 Jun 2006 10:29:37 GMT"/>
346
347                       <child internal-child="image">
348                         <widget class="GtkImage" id="image48">
349                           <property name="visible">True</property>
350                           <property name="stock">gtk-jump-to</property>
351                           <property name="icon_size">1</property>
352                           <property name="xalign">0.5</property>
353                           <property name="yalign">0.5</property>
354                           <property name="xpad">0</property>
355                           <property name="ypad">0</property>
356                         </widget>
357                       </child>
358                     </widget>
359                   </child>
360
361                   <child>
362                     <widget class="GtkSeparatorMenuItem" id="separator4">
363                       <property name="visible">True</property>
364                       <property name="sensitive">False</property>
365                     </widget>
366                   </child>
367
368                   <child>
369                     <widget class="GtkMenuItem" id="sort_cases">
370                       <property name="visible">True</property>
371                       <property name="sensitive">False</property>
372                       <property name="label" translatable="yes">Sort Cases</property>
373                       <property name="use_underline">True</property>
374                       <signal name="activate" handler="on_sort_cases_activate" last_modification_time="Tue, 20 Jun 2006 10:27:11 GMT"/>
375                     </widget>
376                   </child>
377
378                   <child>
379                     <widget class="GtkMenuItem" id="transpose1">
380                       <property name="visible">True</property>
381                       <property name="sensitive">False</property>
382                       <property name="label" translatable="yes">Transpose</property>
383                       <property name="use_underline">True</property>
384                     </widget>
385                   </child>
386
387                   <child>
388                     <widget class="GtkMenuItem" id="restructure1">
389                       <property name="visible">True</property>
390                       <property name="sensitive">False</property>
391                       <property name="label" translatable="yes">Restructure</property>
392                       <property name="use_underline">True</property>
393                     </widget>
394                   </child>
395
396                   <child>
397                     <widget class="GtkMenuItem" id="merge_files1">
398                       <property name="visible">True</property>
399                       <property name="sensitive">False</property>
400                       <property name="label" translatable="yes">Merge Files</property>
401                       <property name="use_underline">True</property>
402                     </widget>
403                   </child>
404
405                   <child>
406                     <widget class="GtkMenuItem" id="aggregate1">
407                       <property name="visible">True</property>
408                       <property name="sensitive">False</property>
409                       <property name="label" translatable="yes">Aggregate</property>
410                       <property name="use_underline">True</property>
411                     </widget>
412                   </child>
413
414                   <child>
415                     <widget class="GtkSeparatorMenuItem" id="separator5">
416                       <property name="visible">True</property>
417                       <property name="sensitive">False</property>
418                     </widget>
419                   </child>
420
421                   <child>
422                     <widget class="GtkMenuItem" id="split_file1">
423                       <property name="visible">True</property>
424                       <property name="sensitive">False</property>
425                       <property name="label" translatable="yes">Split File</property>
426                       <property name="use_underline">True</property>
427                     </widget>
428                   </child>
429
430                   <child>
431                     <widget class="GtkMenuItem" id="select_cases1">
432                       <property name="visible">True</property>
433                       <property name="sensitive">False</property>
434                       <property name="label" translatable="yes">Select Cases</property>
435                       <property name="use_underline">True</property>
436                     </widget>
437                   </child>
438
439                   <child>
440                     <widget class="GtkMenuItem" id="weight_cases1">
441                       <property name="visible">True</property>
442                       <property name="sensitive">False</property>
443                       <property name="label" translatable="yes">Weight Cases</property>
444                       <property name="use_underline">True</property>
445                     </widget>
446                   </child>
447                 </widget>
448               </child>
449             </widget>
450           </child>
451
452           <child>
453             <widget class="GtkMenuItem" id="Windows">
454               <property name="visible">True</property>
455               <property name="label" translatable="yes">_Windows</property>
456               <property name="use_underline">True</property>
457               <signal name="activate" handler="on_Windows_activate" last_modification_time="Wed, 27 Dec 2006 23:16:44 GMT"/>
458
459               <child>
460                 <widget class="GtkMenu" id="Windows_menu">
461
462                   <child>
463                     <widget class="GtkMenuItem" id="windows_minimise_all">
464                       <property name="visible">True</property>
465                       <property name="label" translatable="yes">_Minimise All Windows</property>
466                       <property name="use_underline">True</property>
467                       <signal name="activate" handler="on_minimiseall_activate" last_modification_time="Wed, 27 Dec 2006 23:17:26 GMT"/>
468                     </widget>
469                   </child>
470                 </widget>
471               </child>
472             </widget>
473           </child>
474
475           <child>
476             <widget class="GtkMenuItem" id="menuitem5">
477               <property name="visible">True</property>
478               <property name="label" translatable="yes">_Help</property>
479               <property name="use_underline">True</property>
480
481               <child>
482                 <widget class="GtkMenu" id="menuitem5_menu">
483
484                   <child>
485                     <widget class="GtkMenuItem" id="help_reference">
486                       <property name="visible">True</property>
487                       <property name="label" translatable="yes">_Reference Manual</property>
488                       <property name="use_underline">True</property>
489                     </widget>
490                   </child>
491
492                   <child>
493                     <widget class="GtkMenuItem" id="help_about">
494                       <property name="visible">True</property>
495                       <property name="label" translatable="yes">_About</property>
496                       <property name="use_underline">True</property>
497                       <signal name="activate" handler="on_about1_activate" last_modification_time="Fri, 25 Nov 2005 11:54:43 GMT"/>
498                     </widget>
499                   </child>
500                 </widget>
501               </child>
502             </widget>
503           </child>
504         </widget>
505         <packing>
506           <property name="padding">0</property>
507           <property name="expand">False</property>
508           <property name="fill">False</property>
509         </packing>
510       </child>
511
512       <child>
513         <widget class="GtkHandleBox" id="handlebox1">
514           <property name="visible">True</property>
515           <property name="shadow_type">GTK_SHADOW_OUT</property>
516           <property name="handle_position">GTK_POS_LEFT</property>
517           <property name="snap_edge">GTK_POS_TOP</property>
518
519           <child>
520             <widget class="GtkToolbar" id="toolbar1">
521               <property name="visible">True</property>
522               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
523               <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
524               <property name="tooltips">True</property>
525               <property name="show_arrow">True</property>
526
527               <child>
528                 <widget class="GtkToolButton" id="buttonOpen">
529                   <property name="visible">True</property>
530                   <property name="sensitive">False</property>
531                   <property name="tooltip" translatable="yes">Open</property>
532                   <property name="stock_id">gtk-open</property>
533                   <property name="visible_horizontal">True</property>
534                   <property name="visible_vertical">True</property>
535                   <property name="is_important">False</property>
536                 </widget>
537                 <packing>
538                   <property name="expand">False</property>
539                   <property name="homogeneous">True</property>
540                 </packing>
541               </child>
542
543               <child>
544                 <widget class="GtkToolButton" id="buttonSave">
545                   <property name="visible">True</property>
546                   <property name="sensitive">False</property>
547                   <property name="tooltip" translatable="yes">Save</property>
548                   <property name="stock_id">gtk-save</property>
549                   <property name="visible_horizontal">True</property>
550                   <property name="visible_vertical">True</property>
551                   <property name="is_important">False</property>
552                   <signal name="clicked" handler="on_save1_activate" last_modification_time="Wed, 02 Nov 2005 13:05:43 GMT"/>
553                 </widget>
554                 <packing>
555                   <property name="expand">False</property>
556                   <property name="homogeneous">True</property>
557                 </packing>
558               </child>
559
560               <child>
561                 <widget class="GtkToolButton" id="buttonPrint">
562                   <property name="visible">True</property>
563                   <property name="sensitive">False</property>
564                   <property name="tooltip" translatable="yes">Print</property>
565                   <property name="stock_id">gtk-print</property>
566                   <property name="visible_horizontal">True</property>
567                   <property name="visible_vertical">True</property>
568                   <property name="is_important">False</property>
569                 </widget>
570                 <packing>
571                   <property name="expand">False</property>
572                   <property name="homogeneous">True</property>
573                 </packing>
574               </child>
575
576               <child>
577                 <widget class="GtkSeparatorToolItem" id="separatortoolitem1">
578                   <property name="visible">True</property>
579                   <property name="draw">True</property>
580                   <property name="visible_horizontal">True</property>
581                   <property name="visible_vertical">True</property>
582                 </widget>
583                 <packing>
584                   <property name="expand">False</property>
585                   <property name="homogeneous">False</property>
586                 </packing>
587               </child>
588
589               <child>
590                 <widget class="GtkToolButton" id="toolbutton1">
591                   <property name="visible">True</property>
592                   <property name="sensitive">False</property>
593                   <property name="tooltip" translatable="yes">Undo</property>
594                   <property name="stock_id">gtk-undo</property>
595                   <property name="visible_horizontal">True</property>
596                   <property name="visible_vertical">True</property>
597                   <property name="is_important">False</property>
598                 </widget>
599                 <packing>
600                   <property name="expand">False</property>
601                   <property name="homogeneous">True</property>
602                 </packing>
603               </child>
604
605               <child>
606                 <widget class="GtkToolButton" id="toolbutton2">
607                   <property name="visible">True</property>
608                   <property name="sensitive">False</property>
609                   <property name="tooltip" translatable="yes">Redo</property>
610                   <property name="stock_id">gtk-redo</property>
611                   <property name="visible_horizontal">True</property>
612                   <property name="visible_vertical">True</property>
613                   <property name="is_important">False</property>
614                 </widget>
615                 <packing>
616                   <property name="expand">False</property>
617                   <property name="homogeneous">True</property>
618                 </packing>
619               </child>
620
621               <child>
622                 <widget class="GtkSeparatorToolItem" id="separatortoolitem2">
623                   <property name="visible">True</property>
624                   <property name="draw">True</property>
625                   <property name="visible_horizontal">True</property>
626                   <property name="visible_vertical">True</property>
627                 </widget>
628                 <packing>
629                   <property name="expand">False</property>
630                   <property name="homogeneous">False</property>
631                 </packing>
632               </child>
633
634               <child>
635                 <widget class="GtkToolButton" id="buttonGotoCase">
636                   <property name="visible">True</property>
637                   <property name="sensitive">False</property>
638                   <property name="tooltip" translatable="yes">Go To Case</property>
639                   <property name="stock_id">gtk-jump-to</property>
640                   <property name="visible_horizontal">True</property>
641                   <property name="visible_vertical">True</property>
642                   <property name="is_important">False</property>
643                   <signal name="clicked" handler="on_go_to_case_activate" last_modification_time="Mon, 19 Jun 2006 11:41:44 GMT"/>
644                 </widget>
645                 <packing>
646                   <property name="expand">False</property>
647                   <property name="homogeneous">True</property>
648                 </packing>
649               </child>
650
651               <child>
652                 <widget class="GtkToolButton" id="variables">
653                   <property name="visible">True</property>
654                   <property name="sensitive">False</property>
655                   <property name="tooltip" translatable="yes">Variables</property>
656                   <property name="stock_id">pspp-goto-variable</property>
657                   <property name="label" translatable="yes"></property>
658                   <property name="use_underline">True</property>
659                   <property name="visible_horizontal">True</property>
660                   <property name="visible_vertical">True</property>
661                   <property name="is_important">False</property>
662                 </widget>
663                 <packing>
664                   <property name="expand">False</property>
665                   <property name="homogeneous">True</property>
666                 </packing>
667               </child>
668
669               <child>
670                 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
671                   <property name="visible">True</property>
672                   <property name="draw">True</property>
673                   <property name="visible_horizontal">True</property>
674                   <property name="visible_vertical">True</property>
675                 </widget>
676                 <packing>
677                   <property name="expand">False</property>
678                   <property name="homogeneous">False</property>
679                 </packing>
680               </child>
681
682               <child>
683                 <widget class="GtkToolButton" id="toolbutton3">
684                   <property name="visible">True</property>
685                   <property name="sensitive">False</property>
686                   <property name="tooltip" translatable="yes">Find</property>
687                   <property name="stock_id">gtk-find</property>
688                   <property name="visible_horizontal">True</property>
689                   <property name="visible_vertical">True</property>
690                   <property name="is_important">False</property>
691                 </widget>
692                 <packing>
693                   <property name="expand">False</property>
694                   <property name="homogeneous">True</property>
695                 </packing>
696               </child>
697
698               <child>
699                 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
700                   <property name="visible">True</property>
701                   <property name="draw">True</property>
702                   <property name="visible_horizontal">True</property>
703                   <property name="visible_vertical">True</property>
704                 </widget>
705                 <packing>
706                   <property name="expand">False</property>
707                   <property name="homogeneous">False</property>
708                 </packing>
709               </child>
710
711               <child>
712                 <widget class="GtkToolButton" id="insert_case">
713                   <property name="visible">True</property>
714                   <property name="sensitive">False</property>
715                   <property name="tooltip" translatable="yes">Insert Case</property>
716                   <property name="stock_id">pspp-insert-case</property>
717                   <property name="label" translatable="yes"></property>
718                   <property name="use_underline">True</property>
719                   <property name="visible_horizontal">True</property>
720                   <property name="visible_vertical">True</property>
721                   <property name="is_important">False</property>
722                   <signal name="clicked" handler="on_insert_case_clicked" last_modification_time="Sat, 01 Jul 2006 08:41:07 GMT"/>
723                 </widget>
724                 <packing>
725                   <property name="expand">False</property>
726                   <property name="homogeneous">True</property>
727                 </packing>
728               </child>
729
730               <child>
731                 <widget class="GtkToolButton" id="insert_variable">
732                   <property name="visible">True</property>
733                   <property name="sensitive">False</property>
734                   <property name="tooltip" translatable="yes">Insert Variable</property>
735                   <property name="stock_id">pspp-insert-variable</property>
736                   <property name="label" translatable="yes"></property>
737                   <property name="use_underline">True</property>
738                   <property name="visible_horizontal">True</property>
739                   <property name="visible_vertical">True</property>
740                   <property name="is_important">False</property>
741                 </widget>
742                 <packing>
743                   <property name="expand">False</property>
744                   <property name="homogeneous">True</property>
745                 </packing>
746               </child>
747
748               <child>
749                 <widget class="GtkSeparatorToolItem" id="separatortoolitem6">
750                   <property name="visible">True</property>
751                   <property name="draw">True</property>
752                   <property name="visible_horizontal">True</property>
753                   <property name="visible_vertical">True</property>
754                 </widget>
755                 <packing>
756                   <property name="expand">False</property>
757                   <property name="homogeneous">False</property>
758                 </packing>
759               </child>
760
761               <child>
762                 <widget class="GtkToolButton" id="toolbutton8">
763                   <property name="visible">True</property>
764                   <property name="sensitive">False</property>
765                   <property name="tooltip" translatable="yes">Split File</property>
766                   <property name="stock_id">pspp-split-file</property>
767                   <property name="label" translatable="yes"></property>
768                   <property name="use_underline">True</property>
769                   <property name="visible_horizontal">True</property>
770                   <property name="visible_vertical">True</property>
771                   <property name="is_important">False</property>
772                 </widget>
773                 <packing>
774                   <property name="expand">False</property>
775                   <property name="homogeneous">True</property>
776                 </packing>
777               </child>
778
779               <child>
780                 <widget class="GtkToolButton" id="toolbutton9">
781                   <property name="visible">True</property>
782                   <property name="sensitive">False</property>
783                   <property name="tooltip" translatable="yes">Weight Cases</property>
784                   <property name="stock_id">pspp-weight-cases</property>
785                   <property name="label" translatable="yes"></property>
786                   <property name="use_underline">True</property>
787                   <property name="visible_horizontal">True</property>
788                   <property name="visible_vertical">True</property>
789                   <property name="is_important">False</property>
790                 </widget>
791                 <packing>
792                   <property name="expand">False</property>
793                   <property name="homogeneous">True</property>
794                 </packing>
795               </child>
796
797               <child>
798                 <widget class="GtkToolButton" id="toolbutton10">
799                   <property name="visible">True</property>
800                   <property name="sensitive">False</property>
801                   <property name="tooltip" translatable="yes">Select Cases</property>
802                   <property name="stock_id">pspp-select-cases</property>
803                   <property name="label" translatable="yes"></property>
804                   <property name="use_underline">True</property>
805                   <property name="visible_horizontal">True</property>
806                   <property name="visible_vertical">True</property>
807                   <property name="is_important">False</property>
808                 </widget>
809                 <packing>
810                   <property name="expand">False</property>
811                   <property name="homogeneous">True</property>
812                 </packing>
813               </child>
814
815               <child>
816                 <widget class="GtkSeparatorToolItem" id="separatortoolitem7">
817                   <property name="visible">True</property>
818                   <property name="draw">True</property>
819                   <property name="visible_horizontal">True</property>
820                   <property name="visible_vertical">True</property>
821                 </widget>
822                 <packing>
823                   <property name="expand">False</property>
824                   <property name="homogeneous">False</property>
825                 </packing>
826               </child>
827
828               <child>
829                 <widget class="GtkToggleToolButton" id="togglebutton-value-labels">
830                   <property name="visible">True</property>
831                   <property name="tooltip" translatable="yes">Value Labels</property>
832                   <property name="stock_id">pspp-value-labels</property>
833                   <property name="label" translatable="yes"></property>
834                   <property name="use_underline">True</property>
835                   <property name="visible_horizontal">True</property>
836                   <property name="visible_vertical">True</property>
837                   <property name="is_important">False</property>
838                   <property name="active">False</property>
839                   <signal name="toggled" handler="on_togglebutton_value_labels_toggled" last_modification_time="Mon, 19 Jun 2006 13:09:37 GMT"/>
840                 </widget>
841                 <packing>
842                   <property name="expand">False</property>
843                   <property name="homogeneous">True</property>
844                 </packing>
845               </child>
846
847               <child>
848                 <widget class="GtkToolButton" id="toolbutton12">
849                   <property name="visible">True</property>
850                   <property name="sensitive">False</property>
851                   <property name="tooltip" translatable="yes">Use Sets</property>
852                   <property name="label" translatable="yes"></property>
853                   <property name="use_underline">True</property>
854                   <property name="visible_horizontal">True</property>
855                   <property name="visible_vertical">True</property>
856                   <property name="is_important">False</property>
857                 </widget>
858                 <packing>
859                   <property name="expand">False</property>
860                   <property name="homogeneous">True</property>
861                 </packing>
862               </child>
863             </widget>
864           </child>
865         </widget>
866         <packing>
867           <property name="padding">0</property>
868           <property name="expand">False</property>
869           <property name="fill">False</property>
870         </packing>
871       </child>
872
873       <child>
874         <widget class="GtkNotebook" id="notebook">
875           <property name="visible">True</property>
876           <property name="can_focus">True</property>
877           <property name="show_tabs">True</property>
878           <property name="show_border">True</property>
879           <property name="tab_pos">GTK_POS_BOTTOM</property>
880           <property name="scrollable">True</property>
881           <property name="enable_popup">True</property>
882
883           <child>
884             <widget class="GtkVBox" id="vbox3">
885               <property name="visible">True</property>
886               <property name="homogeneous">False</property>
887               <property name="spacing">0</property>
888
889               <child>
890                 <widget class="GtkTable" id="table2">
891                   <property name="visible">True</property>
892                   <property name="n_rows">1</property>
893                   <property name="n_columns">2</property>
894                   <property name="homogeneous">False</property>
895                   <property name="row_spacing">0</property>
896                   <property name="column_spacing">0</property>
897
898                   <child>
899                     <widget class="GtkEntry" id="entry4">
900                       <property name="visible">True</property>
901                       <property name="can_focus">True</property>
902                       <property name="editable">True</property>
903                       <property name="visibility">True</property>
904                       <property name="max_length">0</property>
905                       <property name="text" translatable="yes"></property>
906                       <property name="has_frame">True</property>
907                       <property name="invisible_char">*</property>
908                       <property name="activates_default">False</property>
909                     </widget>
910                     <packing>
911                       <property name="left_attach">1</property>
912                       <property name="right_attach">2</property>
913                       <property name="top_attach">0</property>
914                       <property name="bottom_attach">1</property>
915                       <property name="y_options"></property>
916                     </packing>
917                   </child>
918
919                   <child>
920                     <widget class="GtkEntry" id="cell_ref_entry">
921                       <property name="visible">True</property>
922                       <property name="sensitive">False</property>
923                       <property name="editable">False</property>
924                       <property name="visibility">True</property>
925                       <property name="max_length">0</property>
926                       <property name="text" translatable="yes"></property>
927                       <property name="has_frame">True</property>
928                       <property name="invisible_char">*</property>
929                       <property name="activates_default">False</property>
930                       <property name="width_chars">25</property>
931                     </widget>
932                     <packing>
933                       <property name="left_attach">0</property>
934                       <property name="right_attach">1</property>
935                       <property name="top_attach">0</property>
936                       <property name="bottom_attach">1</property>
937                       <property name="x_options">fill</property>
938                       <property name="y_options"></property>
939                     </packing>
940                   </child>
941                 </widget>
942                 <packing>
943                   <property name="padding">0</property>
944                   <property name="expand">False</property>
945                   <property name="fill">False</property>
946                 </packing>
947               </child>
948
949               <child>
950                 <widget class="GtkScrolledWindow" id="scrolledwindow1">
951                   <property name="visible">True</property>
952                   <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
953                   <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
954                   <property name="shadow_type">GTK_SHADOW_NONE</property>
955                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
956
957                   <child>
958                     <widget class="Custom" id="data_sheet">
959                       <property name="visible">True</property>
960                       <property name="creation_function">psppire_data_sheet_create</property>
961                       <property name="int1">0</property>
962                       <property name="int2">0</property>
963                       <property name="last_modification_time">Sun, 30 Oct 2005 08:53:47 GMT</property>
964                     </widget>
965                   </child>
966                 </widget>
967                 <packing>
968                   <property name="padding">0</property>
969                   <property name="expand">True</property>
970                   <property name="fill">True</property>
971                 </packing>
972               </child>
973             </widget>
974             <packing>
975               <property name="tab_expand">False</property>
976               <property name="tab_fill">True</property>
977             </packing>
978           </child>
979
980           <child>
981             <widget class="GtkLabel" id="label1">
982               <property name="visible">True</property>
983               <property name="label" translatable="yes">Data View</property>
984               <property name="use_underline">False</property>
985               <property name="use_markup">False</property>
986               <property name="justify">GTK_JUSTIFY_LEFT</property>
987               <property name="wrap">False</property>
988               <property name="selectable">False</property>
989               <property name="xalign">0.5</property>
990               <property name="yalign">0.5</property>
991               <property name="xpad">0</property>
992               <property name="ypad">0</property>
993               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
994               <property name="width_chars">-1</property>
995               <property name="single_line_mode">False</property>
996               <property name="angle">0</property>
997             </widget>
998             <packing>
999               <property name="type">tab</property>
1000             </packing>
1001           </child>
1002
1003           <child>
1004             <widget class="GtkScrolledWindow" id="scrolledwindow2">
1005               <property name="visible">True</property>
1006               <property name="can_focus">True</property>
1007               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
1008               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1009               <property name="shadow_type">GTK_SHADOW_NONE</property>
1010               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1011
1012               <child>
1013                 <widget class="Custom" id="variable_sheet">
1014                   <property name="visible">True</property>
1015                   <property name="creation_function">psppire_variable_sheet_create</property>
1016                   <property name="int1">0</property>
1017                   <property name="int2">0</property>
1018                   <property name="last_modification_time">Sun, 30 Oct 2005 08:54:45 GMT</property>
1019                 </widget>
1020               </child>
1021             </widget>
1022             <packing>
1023               <property name="tab_expand">False</property>
1024               <property name="tab_fill">True</property>
1025             </packing>
1026           </child>
1027
1028           <child>
1029             <widget class="GtkLabel" id="label2">
1030               <property name="visible">True</property>
1031               <property name="label" translatable="yes">Variable View</property>
1032               <property name="use_underline">False</property>
1033               <property name="use_markup">False</property>
1034               <property name="justify">GTK_JUSTIFY_LEFT</property>
1035               <property name="wrap">False</property>
1036               <property name="selectable">False</property>
1037               <property name="xalign">0.5</property>
1038               <property name="yalign">0.5</property>
1039               <property name="xpad">0</property>
1040               <property name="ypad">0</property>
1041               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1042               <property name="width_chars">-1</property>
1043               <property name="single_line_mode">False</property>
1044               <property name="angle">0</property>
1045             </widget>
1046             <packing>
1047               <property name="type">tab</property>
1048             </packing>
1049           </child>
1050         </widget>
1051         <packing>
1052           <property name="padding">0</property>
1053           <property name="expand">True</property>
1054           <property name="fill">True</property>
1055         </packing>
1056       </child>
1057
1058       <child>
1059         <placeholder/>
1060       </child>
1061
1062       <child>
1063         <widget class="GtkHBox" id="status-bar">
1064           <property name="border_width">5</property>
1065           <property name="visible">True</property>
1066           <property name="homogeneous">False</property>
1067           <property name="spacing">5</property>
1068
1069           <child>
1070             <widget class="GtkFrame" id="frame2">
1071               <property name="visible">True</property>
1072               <property name="label_xalign">0</property>
1073               <property name="label_yalign">0.5</property>
1074               <property name="shadow_type">GTK_SHADOW_IN</property>
1075
1076               <child>
1077                 <widget class="GtkEventBox" id="eventbox1">
1078                   <property name="visible">True</property>
1079                   <property name="tooltip" translatable="yes">Information Area</property>
1080                   <property name="visible_window">True</property>
1081                   <property name="above_child">False</property>
1082
1083                   <child>
1084                     <widget class="GtkLabel" id="information-area">
1085                       <property name="visible">True</property>
1086                       <property name="label" translatable="yes"></property>
1087                       <property name="use_underline">False</property>
1088                       <property name="use_markup">False</property>
1089                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1090                       <property name="wrap">False</property>
1091                       <property name="selectable">False</property>
1092                       <property name="xalign">0.5</property>
1093                       <property name="yalign">0.5</property>
1094                       <property name="xpad">0</property>
1095                       <property name="ypad">0</property>
1096                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1097                       <property name="width_chars">-1</property>
1098                       <property name="single_line_mode">True</property>
1099                       <property name="angle">0</property>
1100                     </widget>
1101                   </child>
1102                 </widget>
1103               </child>
1104
1105               <child>
1106                 <placeholder/>
1107               </child>
1108             </widget>
1109             <packing>
1110               <property name="padding">0</property>
1111               <property name="expand">True</property>
1112               <property name="fill">True</property>
1113             </packing>
1114           </child>
1115
1116           <child>
1117             <widget class="GtkFrame" id="frame3">
1118               <property name="visible">True</property>
1119               <property name="label_xalign">0</property>
1120               <property name="label_yalign">0.5</property>
1121               <property name="shadow_type">GTK_SHADOW_IN</property>
1122
1123               <child>
1124                 <widget class="GtkEventBox" id="eventbox2">
1125                   <property name="visible">True</property>
1126                   <property name="tooltip" translatable="yes">Processor Area</property>
1127                   <property name="visible_window">True</property>
1128                   <property name="above_child">False</property>
1129
1130                   <child>
1131                     <widget class="GtkLabel" id="processor-area">
1132                       <property name="visible">True</property>
1133                       <property name="label" translatable="yes"></property>
1134                       <property name="use_underline">False</property>
1135                       <property name="use_markup">False</property>
1136                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1137                       <property name="wrap">False</property>
1138                       <property name="selectable">False</property>
1139                       <property name="xalign">0.5</property>
1140                       <property name="yalign">0.5</property>
1141                       <property name="xpad">0</property>
1142                       <property name="ypad">0</property>
1143                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1144                       <property name="width_chars">35</property>
1145                       <property name="single_line_mode">True</property>
1146                       <property name="angle">0</property>
1147                     </widget>
1148                   </child>
1149                 </widget>
1150               </child>
1151             </widget>
1152             <packing>
1153               <property name="padding">0</property>
1154               <property name="expand">False</property>
1155               <property name="fill">False</property>
1156             </packing>
1157           </child>
1158
1159           <child>
1160             <widget class="GtkFrame" id="frame4">
1161               <property name="visible">True</property>
1162               <property name="label_xalign">0</property>
1163               <property name="label_yalign">0.5</property>
1164               <property name="shadow_type">GTK_SHADOW_IN</property>
1165
1166               <child>
1167                 <widget class="GtkEventBox" id="eventbox3">
1168                   <property name="visible">True</property>
1169                   <property name="tooltip" translatable="yes">OMS Area</property>
1170                   <property name="visible_window">True</property>
1171                   <property name="above_child">False</property>
1172
1173                   <child>
1174                     <widget class="GtkLabel" id="oms-area">
1175                       <property name="visible">True</property>
1176                       <property name="label" translatable="yes"></property>
1177                       <property name="use_underline">False</property>
1178                       <property name="use_markup">False</property>
1179                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1180                       <property name="wrap">False</property>
1181                       <property name="selectable">False</property>
1182                       <property name="xalign">0.5</property>
1183                       <property name="yalign">0.5</property>
1184                       <property name="xpad">0</property>
1185                       <property name="ypad">0</property>
1186                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1187                       <property name="width_chars">3</property>
1188                       <property name="single_line_mode">True</property>
1189                       <property name="angle">0</property>
1190                     </widget>
1191                   </child>
1192                 </widget>
1193               </child>
1194             </widget>
1195             <packing>
1196               <property name="padding">0</property>
1197               <property name="expand">False</property>
1198               <property name="fill">False</property>
1199             </packing>
1200           </child>
1201
1202           <child>
1203             <widget class="GtkFrame" id="frame5">
1204               <property name="visible">True</property>
1205               <property name="label_xalign">0</property>
1206               <property name="label_yalign">0.5</property>
1207               <property name="shadow_type">GTK_SHADOW_IN</property>
1208
1209               <child>
1210                 <widget class="GtkEventBox" id="eventbox4">
1211                   <property name="visible">True</property>
1212                   <property name="tooltip" translatable="yes">Case Counter Area</property>
1213                   <property name="visible_window">True</property>
1214                   <property name="above_child">False</property>
1215
1216                   <child>
1217                     <widget class="GtkLabel" id="case-counter-area">
1218                       <property name="visible">True</property>
1219                       <property name="label" translatable="yes"></property>
1220                       <property name="use_underline">False</property>
1221                       <property name="use_markup">False</property>
1222                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1223                       <property name="wrap">False</property>
1224                       <property name="selectable">False</property>
1225                       <property name="xalign">0.5</property>
1226                       <property name="yalign">0.5</property>
1227                       <property name="xpad">0</property>
1228                       <property name="ypad">0</property>
1229                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1230                       <property name="width_chars">10</property>
1231                       <property name="single_line_mode">True</property>
1232                       <property name="angle">0</property>
1233                     </widget>
1234                   </child>
1235                 </widget>
1236               </child>
1237             </widget>
1238             <packing>
1239               <property name="padding">0</property>
1240               <property name="expand">False</property>
1241               <property name="fill">False</property>
1242             </packing>
1243           </child>
1244
1245           <child>
1246             <widget class="GtkFrame" id="frame6">
1247               <property name="visible">True</property>
1248               <property name="label_xalign">0</property>
1249               <property name="label_yalign">0.5</property>
1250               <property name="shadow_type">GTK_SHADOW_IN</property>
1251
1252               <child>
1253                 <widget class="GtkEventBox" id="eventbox5">
1254                   <property name="visible">True</property>
1255                   <property name="tooltip" translatable="yes">Filter Use Status Area</property>
1256                   <property name="visible_window">True</property>
1257                   <property name="above_child">False</property>
1258
1259                   <child>
1260                     <widget class="GtkLabel" id="filter-use-status-area">
1261                       <property name="visible">True</property>
1262                       <property name="label" translatable="yes"></property>
1263                       <property name="use_underline">False</property>
1264                       <property name="use_markup">False</property>
1265                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1266                       <property name="wrap">False</property>
1267                       <property name="selectable">False</property>
1268                       <property name="xalign">0.5</property>
1269                       <property name="yalign">0.5</property>
1270                       <property name="xpad">0</property>
1271                       <property name="ypad">0</property>
1272                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1273                       <property name="width_chars">10</property>
1274                       <property name="single_line_mode">True</property>
1275                       <property name="angle">0</property>
1276                     </widget>
1277                   </child>
1278                 </widget>
1279               </child>
1280             </widget>
1281             <packing>
1282               <property name="padding">0</property>
1283               <property name="expand">False</property>
1284               <property name="fill">False</property>
1285             </packing>
1286           </child>
1287
1288           <child>
1289             <widget class="GtkFrame" id="frame7">
1290               <property name="visible">True</property>
1291               <property name="label_xalign">0</property>
1292               <property name="label_yalign">0.5</property>
1293               <property name="shadow_type">GTK_SHADOW_IN</property>
1294
1295               <child>
1296                 <widget class="GtkEventBox" id="eventbox6">
1297                   <property name="visible">True</property>
1298                   <property name="tooltip" translatable="yes">Weight Status Area</property>
1299                   <property name="visible_window">True</property>
1300                   <property name="above_child">False</property>
1301
1302                   <child>
1303                     <widget class="GtkLabel" id="weight-status-area">
1304                       <property name="visible">True</property>
1305                       <property name="label" translatable="yes"></property>
1306                       <property name="use_underline">False</property>
1307                       <property name="use_markup">False</property>
1308                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1309                       <property name="wrap">False</property>
1310                       <property name="selectable">False</property>
1311                       <property name="xalign">0.5</property>
1312                       <property name="yalign">0.5</property>
1313                       <property name="xpad">0</property>
1314                       <property name="ypad">0</property>
1315                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1316                       <property name="width_chars">10</property>
1317                       <property name="single_line_mode">True</property>
1318                       <property name="angle">0</property>
1319                     </widget>
1320                   </child>
1321                 </widget>
1322               </child>
1323             </widget>
1324             <packing>
1325               <property name="padding">0</property>
1326               <property name="expand">False</property>
1327               <property name="fill">False</property>
1328             </packing>
1329           </child>
1330
1331           <child>
1332             <widget class="GtkFrame" id="frame8">
1333               <property name="visible">True</property>
1334               <property name="label_xalign">0</property>
1335               <property name="label_yalign">0.5</property>
1336               <property name="shadow_type">GTK_SHADOW_IN</property>
1337
1338               <child>
1339                 <widget class="GtkEventBox" id="eventbox7">
1340                   <property name="visible">True</property>
1341                   <property name="tooltip" translatable="yes">Split File Status Area</property>
1342                   <property name="visible_window">True</property>
1343                   <property name="above_child">False</property>
1344
1345                   <child>
1346                     <widget class="GtkLabel" id="split-file-status-area">
1347                       <property name="visible">True</property>
1348                       <property name="label" translatable="yes"></property>
1349                       <property name="use_underline">False</property>
1350                       <property name="use_markup">False</property>
1351                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1352                       <property name="wrap">False</property>
1353                       <property name="selectable">False</property>
1354                       <property name="xalign">0.5</property>
1355                       <property name="yalign">0.5</property>
1356                       <property name="xpad">0</property>
1357                       <property name="ypad">0</property>
1358                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1359                       <property name="width_chars">10</property>
1360                       <property name="single_line_mode">True</property>
1361                       <property name="angle">0</property>
1362                     </widget>
1363                   </child>
1364                 </widget>
1365               </child>
1366             </widget>
1367             <packing>
1368               <property name="padding">0</property>
1369               <property name="expand">False</property>
1370               <property name="fill">False</property>
1371             </packing>
1372           </child>
1373         </widget>
1374         <packing>
1375           <property name="padding">0</property>
1376           <property name="expand">False</property>
1377           <property name="fill">False</property>
1378         </packing>
1379       </child>
1380     </widget>
1381   </child>
1382 </widget>
1383
1384 <widget class="GtkWindow" id="var_type_dialog">
1385   <property name="border_width">6</property>
1386   <property name="title" translatable="yes">Variable Type</property>
1387   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1388   <property name="window_position">GTK_WIN_POS_NONE</property>
1389   <property name="modal">True</property>
1390   <property name="default_width">485</property>
1391   <property name="resizable">False</property>
1392   <property name="destroy_with_parent">False</property>
1393   <property name="decorated">True</property>
1394   <property name="skip_taskbar_hint">True</property>
1395   <property name="skip_pager_hint">True</property>
1396   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1397   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1398   <property name="focus_on_map">True</property>
1399   <property name="urgency_hint">False</property>
1400
1401   <child>
1402     <widget class="GtkHBox" id="hbox1">
1403       <property name="border_width">5</property>
1404       <property name="visible">True</property>
1405       <property name="homogeneous">False</property>
1406       <property name="spacing">5</property>
1407
1408       <child>
1409         <widget class="GtkVBox" id="vbox2">
1410           <property name="border_width">13</property>
1411           <property name="visible">True</property>
1412           <property name="homogeneous">True</property>
1413           <property name="spacing">0</property>
1414
1415           <child>
1416             <widget class="GtkRadioButton" id="radiobutton1">
1417               <property name="visible">True</property>
1418               <property name="can_focus">True</property>
1419               <property name="label" translatable="yes">Numeric</property>
1420               <property name="use_underline">True</property>
1421               <property name="relief">GTK_RELIEF_NORMAL</property>
1422               <property name="focus_on_click">True</property>
1423               <property name="active">True</property>
1424               <property name="inconsistent">False</property>
1425               <property name="draw_indicator">True</property>
1426             </widget>
1427             <packing>
1428               <property name="padding">0</property>
1429               <property name="expand">False</property>
1430               <property name="fill">False</property>
1431             </packing>
1432           </child>
1433
1434           <child>
1435             <widget class="GtkRadioButton" id="radiobutton2">
1436               <property name="visible">True</property>
1437               <property name="can_focus">True</property>
1438               <property name="label" translatable="yes">Comma</property>
1439               <property name="use_underline">True</property>
1440               <property name="relief">GTK_RELIEF_NORMAL</property>
1441               <property name="focus_on_click">True</property>
1442               <property name="active">False</property>
1443               <property name="inconsistent">False</property>
1444               <property name="draw_indicator">True</property>
1445               <property name="group">radiobutton1</property>
1446             </widget>
1447             <packing>
1448               <property name="padding">0</property>
1449               <property name="expand">False</property>
1450               <property name="fill">False</property>
1451             </packing>
1452           </child>
1453
1454           <child>
1455             <widget class="GtkRadioButton" id="radiobutton3">
1456               <property name="visible">True</property>
1457               <property name="can_focus">True</property>
1458               <property name="label" translatable="yes">Dot</property>
1459               <property name="use_underline">True</property>
1460               <property name="relief">GTK_RELIEF_NORMAL</property>
1461               <property name="focus_on_click">True</property>
1462               <property name="active">False</property>
1463               <property name="inconsistent">False</property>
1464               <property name="draw_indicator">True</property>
1465               <property name="group">radiobutton1</property>
1466             </widget>
1467             <packing>
1468               <property name="padding">0</property>
1469               <property name="expand">False</property>
1470               <property name="fill">False</property>
1471             </packing>
1472           </child>
1473
1474           <child>
1475             <widget class="GtkRadioButton" id="radiobutton4">
1476               <property name="visible">True</property>
1477               <property name="can_focus">True</property>
1478               <property name="label" translatable="yes">Scientific notation</property>
1479               <property name="use_underline">True</property>
1480               <property name="relief">GTK_RELIEF_NORMAL</property>
1481               <property name="focus_on_click">True</property>
1482               <property name="active">False</property>
1483               <property name="inconsistent">False</property>
1484               <property name="draw_indicator">True</property>
1485               <property name="group">radiobutton1</property>
1486             </widget>
1487             <packing>
1488               <property name="padding">0</property>
1489               <property name="expand">False</property>
1490               <property name="fill">False</property>
1491             </packing>
1492           </child>
1493
1494           <child>
1495             <widget class="GtkRadioButton" id="radiobutton5">
1496               <property name="visible">True</property>
1497               <property name="can_focus">True</property>
1498               <property name="label" translatable="yes">Date</property>
1499               <property name="use_underline">True</property>
1500               <property name="relief">GTK_RELIEF_NORMAL</property>
1501               <property name="focus_on_click">True</property>
1502               <property name="active">False</property>
1503               <property name="inconsistent">False</property>
1504               <property name="draw_indicator">True</property>
1505               <property name="group">radiobutton1</property>
1506             </widget>
1507             <packing>
1508               <property name="padding">0</property>
1509               <property name="expand">False</property>
1510               <property name="fill">False</property>
1511             </packing>
1512           </child>
1513
1514           <child>
1515             <widget class="GtkRadioButton" id="radiobutton6">
1516               <property name="visible">True</property>
1517               <property name="can_focus">True</property>
1518               <property name="label" translatable="yes">Dollar</property>
1519               <property name="use_underline">True</property>
1520               <property name="relief">GTK_RELIEF_NORMAL</property>
1521               <property name="focus_on_click">True</property>
1522               <property name="active">False</property>
1523               <property name="inconsistent">False</property>
1524               <property name="draw_indicator">True</property>
1525               <property name="group">radiobutton1</property>
1526             </widget>
1527             <packing>
1528               <property name="padding">0</property>
1529               <property name="expand">False</property>
1530               <property name="fill">False</property>
1531             </packing>
1532           </child>
1533
1534           <child>
1535             <widget class="GtkRadioButton" id="radiobutton7">
1536               <property name="visible">True</property>
1537               <property name="can_focus">True</property>
1538               <property name="label" translatable="yes">Custom currency</property>
1539               <property name="use_underline">True</property>
1540               <property name="relief">GTK_RELIEF_NORMAL</property>
1541               <property name="focus_on_click">True</property>
1542               <property name="active">False</property>
1543               <property name="inconsistent">False</property>
1544               <property name="draw_indicator">True</property>
1545               <property name="group">radiobutton1</property>
1546             </widget>
1547             <packing>
1548               <property name="padding">0</property>
1549               <property name="expand">False</property>
1550               <property name="fill">False</property>
1551             </packing>
1552           </child>
1553
1554           <child>
1555             <widget class="GtkRadioButton" id="radiobutton8">
1556               <property name="visible">True</property>
1557               <property name="can_focus">True</property>
1558               <property name="label" translatable="yes">String</property>
1559               <property name="use_underline">True</property>
1560               <property name="relief">GTK_RELIEF_NORMAL</property>
1561               <property name="focus_on_click">True</property>
1562               <property name="active">False</property>
1563               <property name="inconsistent">False</property>
1564               <property name="draw_indicator">True</property>
1565               <property name="group">radiobutton1</property>
1566             </widget>
1567             <packing>
1568               <property name="padding">0</property>
1569               <property name="expand">False</property>
1570               <property name="fill">False</property>
1571             </packing>
1572           </child>
1573         </widget>
1574         <packing>
1575           <property name="padding">0</property>
1576           <property name="expand">False</property>
1577           <property name="fill">False</property>
1578         </packing>
1579       </child>
1580
1581       <child>
1582         <widget class="GtkVBox" id="middle_box">
1583           <property name="visible">True</property>
1584           <property name="homogeneous">False</property>
1585           <property name="spacing">10</property>
1586
1587           <child>
1588             <widget class="GtkScrolledWindow" id="scrolledwindow4">
1589               <property name="width_request">20</property>
1590               <property name="height_request">194</property>
1591               <property name="can_focus">True</property>
1592               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1593               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1594               <property name="shadow_type">GTK_SHADOW_IN</property>
1595               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1596
1597               <child>
1598                 <widget class="GtkTreeView" id="date_format_list_view">
1599                   <property name="visible">True</property>
1600                   <property name="can_focus">True</property>
1601                   <property name="headers_visible">False</property>
1602                   <property name="rules_hint">False</property>
1603                   <property name="reorderable">False</property>
1604                   <property name="enable_search">True</property>
1605                   <property name="fixed_height_mode">False</property>
1606                   <property name="hover_selection">False</property>
1607                   <property name="hover_expand">False</property>
1608                 </widget>
1609               </child>
1610             </widget>
1611             <packing>
1612               <property name="padding">0</property>
1613               <property name="expand">False</property>
1614               <property name="fill">False</property>
1615             </packing>
1616           </child>
1617
1618           <child>
1619             <widget class="GtkHBox" id="custom_currency_hbox">
1620               <property name="homogeneous">False</property>
1621               <property name="spacing">15</property>
1622
1623               <child>
1624                 <widget class="GtkScrolledWindow" id="scrolledwindow5">
1625                   <property name="width_request">1</property>
1626                   <property name="height_request">120</property>
1627                   <property name="visible">True</property>
1628                   <property name="can_focus">True</property>
1629                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1630                   <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
1631                   <property name="shadow_type">GTK_SHADOW_IN</property>
1632                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1633
1634                   <child>
1635                     <widget class="GtkTreeView" id="custom_treeview">
1636                       <property name="visible">True</property>
1637                       <property name="can_focus">True</property>
1638                       <property name="headers_visible">False</property>
1639                       <property name="rules_hint">False</property>
1640                       <property name="reorderable">False</property>
1641                       <property name="enable_search">True</property>
1642                       <property name="fixed_height_mode">False</property>
1643                       <property name="hover_selection">False</property>
1644                       <property name="hover_expand">False</property>
1645                     </widget>
1646                   </child>
1647                 </widget>
1648                 <packing>
1649                   <property name="padding">0</property>
1650                   <property name="expand">True</property>
1651                   <property name="fill">True</property>
1652                 </packing>
1653               </child>
1654
1655               <child>
1656                 <widget class="GtkFrame" id="Sample">
1657                   <property name="visible">True</property>
1658                   <property name="label_xalign">0</property>
1659                   <property name="label_yalign">0.5</property>
1660                   <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
1661
1662                   <child>
1663                     <widget class="GtkAlignment" id="alignment2">
1664                       <property name="visible">True</property>
1665                       <property name="xalign">0.5</property>
1666                       <property name="yalign">0.5</property>
1667                       <property name="xscale">1</property>
1668                       <property name="yscale">1</property>
1669                       <property name="top_padding">0</property>
1670                       <property name="bottom_padding">0</property>
1671                       <property name="left_padding">12</property>
1672                       <property name="right_padding">0</property>
1673
1674                       <child>
1675                         <widget class="GtkVBox" id="vbox10">
1676                           <property name="visible">True</property>
1677                           <property name="homogeneous">True</property>
1678                           <property name="spacing">0</property>
1679
1680                           <child>
1681                             <widget class="GtkLabel" id="psample_label">
1682                               <property name="visible">True</property>
1683                               <property name="label" translatable="yes">positive</property>
1684                               <property name="use_underline">False</property>
1685                               <property name="use_markup">False</property>
1686                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1687                               <property name="wrap">False</property>
1688                               <property name="selectable">False</property>
1689                               <property name="xalign">0.5</property>
1690                               <property name="yalign">0.5</property>
1691                               <property name="xpad">0</property>
1692                               <property name="ypad">0</property>
1693                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1694                               <property name="width_chars">-1</property>
1695                               <property name="single_line_mode">False</property>
1696                               <property name="angle">0</property>
1697                             </widget>
1698                             <packing>
1699                               <property name="padding">0</property>
1700                               <property name="expand">True</property>
1701                               <property name="fill">True</property>
1702                             </packing>
1703                           </child>
1704
1705                           <child>
1706                             <widget class="GtkLabel" id="nsample_label">
1707                               <property name="visible">True</property>
1708                               <property name="label" translatable="yes">negative</property>
1709                               <property name="use_underline">False</property>
1710                               <property name="use_markup">False</property>
1711                               <property name="justify">GTK_JUSTIFY_LEFT</property>
1712                               <property name="wrap">False</property>
1713                               <property name="selectable">False</property>
1714                               <property name="xalign">0.5</property>
1715                               <property name="yalign">0.5</property>
1716                               <property name="xpad">0</property>
1717                               <property name="ypad">0</property>
1718                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1719                               <property name="width_chars">-1</property>
1720                               <property name="single_line_mode">False</property>
1721                               <property name="angle">0</property>
1722                             </widget>
1723                             <packing>
1724                               <property name="padding">0</property>
1725                               <property name="expand">True</property>
1726                               <property name="fill">True</property>
1727                             </packing>
1728                           </child>
1729                         </widget>
1730                       </child>
1731                     </widget>
1732                   </child>
1733
1734                   <child>
1735                     <widget class="GtkLabel" id="label13">
1736                       <property name="visible">True</property>
1737                       <property name="label" translatable="yes">Sample</property>
1738                       <property name="use_underline">False</property>
1739                       <property name="use_markup">True</property>
1740                       <property name="justify">GTK_JUSTIFY_LEFT</property>
1741                       <property name="wrap">False</property>
1742                       <property name="selectable">False</property>
1743                       <property name="xalign">0.5</property>
1744                       <property name="yalign">0.5</property>
1745                       <property name="xpad">0</property>
1746                       <property name="ypad">0</property>
1747                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1748                       <property name="width_chars">-1</property>
1749                       <property name="single_line_mode">False</property>
1750                       <property name="angle">0</property>
1751                     </widget>
1752                     <packing>
1753                       <property name="type">label_item</property>
1754                     </packing>
1755                   </child>
1756                 </widget>
1757                 <packing>
1758                   <property name="padding">0</property>
1759                   <property name="expand">True</property>
1760                   <property name="fill">True</property>
1761                   <property name="pack_type">GTK_PACK_END</property>
1762                 </packing>
1763               </child>
1764             </widget>
1765             <packing>
1766               <property name="padding">0</property>
1767               <property name="expand">True</property>
1768               <property name="fill">True</property>
1769             </packing>
1770           </child>
1771
1772           <child>
1773             <widget class="GtkScrolledWindow" id="dollar_window">
1774               <property name="can_focus">True</property>
1775               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1776               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1777               <property name="shadow_type">GTK_SHADOW_IN</property>
1778               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1779
1780               <child>
1781                 <widget class="GtkTreeView" id="dollar_treeview">
1782                   <property name="visible">True</property>
1783                   <property name="can_focus">True</property>
1784                   <property name="headers_visible">False</property>
1785                   <property name="rules_hint">False</property>
1786                   <property name="reorderable">False</property>
1787                   <property name="enable_search">True</property>
1788                   <property name="fixed_height_mode">False</property>
1789                   <property name="hover_selection">False</property>
1790                   <property name="hover_expand">False</property>
1791                 </widget>
1792               </child>
1793             </widget>
1794             <packing>
1795               <property name="padding">0</property>
1796               <property name="expand">True</property>
1797               <property name="fill">True</property>
1798             </packing>
1799           </child>
1800
1801           <child>
1802             <widget class="GtkTable" id="width_decimals">
1803               <property name="width_request">100</property>
1804               <property name="height_request">50</property>
1805               <property name="visible">True</property>
1806               <property name="n_rows">2</property>
1807               <property name="n_columns">2</property>
1808               <property name="homogeneous">False</property>
1809               <property name="row_spacing">1</property>
1810               <property name="column_spacing">2</property>
1811
1812               <child>
1813                 <widget class="GtkLabel" id="decimals_label">
1814                   <property name="visible">True</property>
1815                   <property name="label" translatable="yes">Decimal Places:</property>
1816                   <property name="use_underline">False</property>
1817                   <property name="use_markup">False</property>
1818                   <property name="justify">GTK_JUSTIFY_RIGHT</property>
1819                   <property name="wrap">False</property>
1820                   <property name="selectable">False</property>
1821                   <property name="xalign">0</property>
1822                   <property name="yalign">0.5</property>
1823                   <property name="xpad">0</property>
1824                   <property name="ypad">0</property>
1825                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1826                   <property name="width_chars">-1</property>
1827                   <property name="single_line_mode">False</property>
1828                   <property name="angle">0</property>
1829                 </widget>
1830                 <packing>
1831                   <property name="left_attach">0</property>
1832                   <property name="right_attach">1</property>
1833                   <property name="top_attach">1</property>
1834                   <property name="bottom_attach">2</property>
1835                   <property name="x_options">fill</property>
1836                   <property name="y_options"></property>
1837                 </packing>
1838               </child>
1839
1840               <child>
1841                 <widget class="GtkEntry" id="width_entry">
1842                   <property name="width_request">25</property>
1843                   <property name="can_focus">True</property>
1844                   <property name="editable">True</property>
1845                   <property name="visibility">True</property>
1846                   <property name="max_length">0</property>
1847                   <property name="text" translatable="yes"></property>
1848                   <property name="has_frame">True</property>
1849                   <property name="invisible_char">*</property>
1850                   <property name="activates_default">False</property>
1851                 </widget>
1852                 <packing>
1853                   <property name="left_attach">1</property>
1854                   <property name="right_attach">2</property>
1855                   <property name="top_attach">0</property>
1856                   <property name="bottom_attach">1</property>
1857                   <property name="y_options"></property>
1858                 </packing>
1859               </child>
1860
1861               <child>
1862                 <widget class="GtkEntry" id="decimals_entry">
1863                   <property name="width_request">25</property>
1864                   <property name="visible">True</property>
1865                   <property name="can_focus">True</property>
1866                   <property name="editable">True</property>
1867                   <property name="visibility">True</property>
1868                   <property name="max_length">0</property>
1869                   <property name="text" translatable="yes"></property>
1870                   <property name="has_frame">True</property>
1871                   <property name="invisible_char">*</property>
1872                   <property name="activates_default">False</property>
1873                 </widget>
1874                 <packing>
1875                   <property name="left_attach">1</property>
1876                   <property name="right_attach">2</property>
1877                   <property name="top_attach">1</property>
1878                   <property name="bottom_attach">2</property>
1879                   <property name="y_options"></property>
1880                 </packing>
1881               </child>
1882
1883               <child>
1884                 <widget class="GtkHBox" id="hbox2">
1885                   <property name="visible">True</property>
1886                   <property name="homogeneous">False</property>
1887                   <property name="spacing">0</property>
1888
1889                   <child>
1890                     <widget class="GtkLabel" id="width_label">
1891                       <property name="visible">True</property>
1892                       <property name="label" translatable="yes">Width:</property>
1893                       <property name="use_underline">False</property>
1894                       <property name="use_markup">False</property>
1895                       <property name="justify">GTK_JUSTIFY_RIGHT</property>
1896                       <property name="wrap">False</property>
1897                       <property name="selectable">False</property>
1898                       <property name="xalign">0.5</property>
1899                       <property name="yalign">0.5</property>
1900                       <property name="xpad">0</property>
1901                       <property name="ypad">0</property>
1902                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1903                       <property name="width_chars">-1</property>
1904                       <property name="single_line_mode">False</property>
1905                       <property name="angle">0</property>
1906                     </widget>
1907                     <packing>
1908                       <property name="padding">0</property>
1909                       <property name="expand">False</property>
1910                       <property name="fill">False</property>
1911                       <property name="pack_type">GTK_PACK_END</property>
1912                     </packing>
1913                   </child>
1914                 </widget>
1915                 <packing>
1916                   <property name="left_attach">0</property>
1917                   <property name="right_attach">1</property>
1918                   <property name="top_attach">0</property>
1919                   <property name="bottom_attach">1</property>
1920                   <property name="x_options">fill</property>
1921                   <property name="y_options">fill</property>
1922                 </packing>
1923               </child>
1924             </widget>
1925             <packing>
1926               <property name="padding">0</property>
1927               <property name="expand">True</property>
1928               <property name="fill">True</property>
1929             </packing>
1930           </child>
1931         </widget>
1932         <packing>
1933           <property name="padding">0</property>
1934           <property name="expand">True</property>
1935           <property name="fill">False</property>
1936         </packing>
1937       </child>
1938
1939       <child>
1940         <widget class="GtkVButtonBox" id="vbuttonbox6">
1941           <property name="visible">True</property>
1942           <property name="layout_style">GTK_BUTTONBOX_START</property>
1943           <property name="spacing">5</property>
1944
1945           <child>
1946             <widget class="GtkButton" id="var_type_ok">
1947               <property name="visible">True</property>
1948               <property name="can_default">True</property>
1949               <property name="can_focus">True</property>
1950               <property name="label">gtk-ok</property>
1951               <property name="use_stock">True</property>
1952               <property name="relief">GTK_RELIEF_NORMAL</property>
1953               <property name="focus_on_click">True</property>
1954             </widget>
1955           </child>
1956
1957           <child>
1958             <widget class="GtkButton" id="var_type_cancel">
1959               <property name="visible">True</property>
1960               <property name="can_default">True</property>
1961               <property name="can_focus">True</property>
1962               <property name="label">gtk-cancel</property>
1963               <property name="use_stock">True</property>
1964               <property name="relief">GTK_RELIEF_NORMAL</property>
1965               <property name="focus_on_click">True</property>
1966               <signal name="clicked" handler="on_var_type_cancel_clicked" object="var_type_dialog" last_modification_time="Mon, 31 Oct 2005 09:49:33 GMT"/>
1967             </widget>
1968           </child>
1969
1970           <child>
1971             <widget class="GtkButton" id="help_button_variable_type">
1972               <property name="visible">True</property>
1973               <property name="can_default">True</property>
1974               <property name="can_focus">True</property>
1975               <property name="label">gtk-help</property>
1976               <property name="use_stock">True</property>
1977               <property name="relief">GTK_RELIEF_NORMAL</property>
1978               <property name="focus_on_click">True</property>
1979             </widget>
1980           </child>
1981         </widget>
1982         <packing>
1983           <property name="padding">0</property>
1984           <property name="expand">True</property>
1985           <property name="fill">True</property>
1986         </packing>
1987       </child>
1988     </widget>
1989   </child>
1990 </widget>
1991
1992 <widget class="GtkWindow" id="val_labs_dialog">
1993   <property name="title" translatable="yes">Value Labels</property>
1994   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1995   <property name="window_position">GTK_WIN_POS_NONE</property>
1996   <property name="modal">True</property>
1997   <property name="resizable">False</property>
1998   <property name="destroy_with_parent">False</property>
1999   <property name="decorated">True</property>
2000   <property name="skip_taskbar_hint">True</property>
2001   <property name="skip_pager_hint">True</property>
2002   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2003   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2004   <property name="focus_on_map">True</property>
2005   <property name="urgency_hint">False</property>
2006
2007   <child>
2008     <widget class="GtkHBox" id="hbox3">
2009       <property name="border_width">5</property>
2010       <property name="visible">True</property>
2011       <property name="homogeneous">False</property>
2012       <property name="spacing">0</property>
2013
2014       <child>
2015         <widget class="GtkFrame" id="frame1">
2016           <property name="visible">True</property>
2017           <property name="label_xalign">0</property>
2018           <property name="label_yalign">0.5</property>
2019           <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2020
2021           <child>
2022             <widget class="GtkAlignment" id="alignment1">
2023               <property name="border_width">8</property>
2024               <property name="visible">True</property>
2025               <property name="xalign">0.5</property>
2026               <property name="yalign">0.5</property>
2027               <property name="xscale">1</property>
2028               <property name="yscale">1</property>
2029               <property name="top_padding">0</property>
2030               <property name="bottom_padding">0</property>
2031               <property name="left_padding">12</property>
2032               <property name="right_padding">0</property>
2033
2034               <child>
2035                 <widget class="GtkTable" id="table3">
2036                   <property name="visible">True</property>
2037                   <property name="n_rows">2</property>
2038                   <property name="n_columns">2</property>
2039                   <property name="homogeneous">False</property>
2040                   <property name="row_spacing">5</property>
2041                   <property name="column_spacing">0</property>
2042
2043                   <child>
2044                     <widget class="GtkVButtonBox" id="vbuttonbox2">
2045                       <property name="border_width">5</property>
2046                       <property name="visible">True</property>
2047                       <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
2048                       <property name="spacing">0</property>
2049
2050                       <child>
2051                         <widget class="GtkButton" id="val_labs_add">
2052                           <property name="visible">True</property>
2053                           <property name="sensitive">False</property>
2054                           <property name="can_default">True</property>
2055                           <property name="can_focus">True</property>
2056                           <property name="label">gtk-add</property>
2057                           <property name="use_stock">True</property>
2058                           <property name="relief">GTK_RELIEF_NORMAL</property>
2059                           <property name="focus_on_click">True</property>
2060                         </widget>
2061                       </child>
2062
2063                       <child>
2064                         <widget class="GtkButton" id="val_labs_change">
2065                           <property name="visible">True</property>
2066                           <property name="sensitive">False</property>
2067                           <property name="can_default">True</property>
2068                           <property name="can_focus">True</property>
2069                           <property name="label">gtk-apply</property>
2070                           <property name="use_stock">True</property>
2071                           <property name="relief">GTK_RELIEF_NORMAL</property>
2072                           <property name="focus_on_click">True</property>
2073                         </widget>
2074                       </child>
2075
2076                       <child>
2077                         <widget class="GtkButton" id="val_labs_remove">
2078                           <property name="visible">True</property>
2079                           <property name="sensitive">False</property>
2080                           <property name="can_default">True</property>
2081                           <property name="can_focus">True</property>
2082                           <property name="label">gtk-remove</property>
2083                           <property name="use_stock">True</property>
2084                           <property name="relief">GTK_RELIEF_NORMAL</property>
2085                           <property name="focus_on_click">True</property>
2086                         </widget>
2087                       </child>
2088                     </widget>
2089                     <packing>
2090                       <property name="left_attach">0</property>
2091                       <property name="right_attach">1</property>
2092                       <property name="top_attach">1</property>
2093                       <property name="bottom_attach">2</property>
2094                       <property name="x_options">fill</property>
2095                     </packing>
2096                   </child>
2097
2098                   <child>
2099                     <widget class="GtkTable" id="table4">
2100                       <property name="border_width">5</property>
2101                       <property name="visible">True</property>
2102                       <property name="n_rows">2</property>
2103                       <property name="n_columns">2</property>
2104                       <property name="homogeneous">False</property>
2105                       <property name="row_spacing">4</property>
2106                       <property name="column_spacing">5</property>
2107
2108                       <child>
2109                         <widget class="GtkLabel" id="label5">
2110                           <property name="visible">True</property>
2111                           <property name="label" translatable="yes">Value:</property>
2112                           <property name="use_underline">False</property>
2113                           <property name="use_markup">False</property>
2114                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2115                           <property name="wrap">False</property>
2116                           <property name="selectable">False</property>
2117                           <property name="xalign">0</property>
2118                           <property name="yalign">0.5</property>
2119                           <property name="xpad">0</property>
2120                           <property name="ypad">0</property>
2121                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2122                           <property name="width_chars">-1</property>
2123                           <property name="single_line_mode">False</property>
2124                           <property name="angle">0</property>
2125                         </widget>
2126                         <packing>
2127                           <property name="left_attach">0</property>
2128                           <property name="right_attach">1</property>
2129                           <property name="top_attach">0</property>
2130                           <property name="bottom_attach">1</property>
2131                           <property name="x_options">fill</property>
2132                           <property name="y_options"></property>
2133                         </packing>
2134                       </child>
2135
2136                       <child>
2137                         <widget class="GtkLabel" id="label6">
2138                           <property name="visible">True</property>
2139                           <property name="label" translatable="yes">Value Label:</property>
2140                           <property name="use_underline">False</property>
2141                           <property name="use_markup">False</property>
2142                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2143                           <property name="wrap">False</property>
2144                           <property name="selectable">False</property>
2145                           <property name="xalign">0</property>
2146                           <property name="yalign">0.5</property>
2147                           <property name="xpad">0</property>
2148                           <property name="ypad">0</property>
2149                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2150                           <property name="width_chars">-1</property>
2151                           <property name="single_line_mode">False</property>
2152                           <property name="angle">0</property>
2153                         </widget>
2154                         <packing>
2155                           <property name="left_attach">0</property>
2156                           <property name="right_attach">1</property>
2157                           <property name="top_attach">1</property>
2158                           <property name="bottom_attach">2</property>
2159                           <property name="x_options">fill</property>
2160                           <property name="y_options"></property>
2161                         </packing>
2162                       </child>
2163
2164                       <child>
2165                         <widget class="GtkEntry" id="label_entry">
2166                           <property name="visible">True</property>
2167                           <property name="can_focus">True</property>
2168                           <property name="editable">True</property>
2169                           <property name="visibility">True</property>
2170                           <property name="max_length">0</property>
2171                           <property name="text" translatable="yes"></property>
2172                           <property name="has_frame">True</property>
2173                           <property name="invisible_char">*</property>
2174                           <property name="activates_default">False</property>
2175                         </widget>
2176                         <packing>
2177                           <property name="left_attach">1</property>
2178                           <property name="right_attach">2</property>
2179                           <property name="top_attach">1</property>
2180                           <property name="bottom_attach">2</property>
2181                           <property name="y_options"></property>
2182                         </packing>
2183                       </child>
2184
2185                       <child>
2186                         <widget class="GtkHBox" id="hbox4">
2187                           <property name="visible">True</property>
2188                           <property name="homogeneous">False</property>
2189                           <property name="spacing">0</property>
2190
2191                           <child>
2192                             <widget class="GtkEntry" id="value_entry">
2193                               <property name="width_request">85</property>
2194                               <property name="visible">True</property>
2195                               <property name="can_focus">True</property>
2196                               <property name="editable">True</property>
2197                               <property name="visibility">True</property>
2198                               <property name="max_length">0</property>
2199                               <property name="text" translatable="yes"></property>
2200                               <property name="has_frame">True</property>
2201                               <property name="invisible_char">*</property>
2202                               <property name="activates_default">False</property>
2203                             </widget>
2204                             <packing>
2205                               <property name="padding">1</property>
2206                               <property name="expand">False</property>
2207                               <property name="fill">False</property>
2208                             </packing>
2209                           </child>
2210                         </widget>
2211                         <packing>
2212                           <property name="left_attach">1</property>
2213                           <property name="right_attach">2</property>
2214                           <property name="top_attach">0</property>
2215                           <property name="bottom_attach">1</property>
2216                           <property name="x_options">fill</property>
2217                           <property name="y_options">fill</property>
2218                         </packing>
2219                       </child>
2220                     </widget>
2221                     <packing>
2222                       <property name="left_attach">0</property>
2223                       <property name="right_attach">2</property>
2224                       <property name="top_attach">0</property>
2225                       <property name="bottom_attach">1</property>
2226                       <property name="x_options">fill</property>
2227                     </packing>
2228                   </child>
2229
2230                   <child>
2231                     <widget class="GtkScrolledWindow" id="scrolledwindow3">
2232                       <property name="visible">True</property>
2233                       <property name="can_focus">True</property>
2234                       <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2235                       <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2236                       <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
2237                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2238
2239                       <child>
2240                         <widget class="GtkTreeView" id="treeview1">
2241                           <property name="visible">True</property>
2242                           <property name="can_focus">True</property>
2243                           <property name="headers_visible">False</property>
2244                           <property name="rules_hint">False</property>
2245                           <property name="reorderable">False</property>
2246                           <property name="enable_search">False</property>
2247                           <property name="fixed_height_mode">False</property>
2248                           <property name="hover_selection">False</property>
2249                           <property name="hover_expand">False</property>
2250                         </widget>
2251                       </child>
2252                     </widget>
2253                     <packing>
2254                       <property name="left_attach">1</property>
2255                       <property name="right_attach">2</property>
2256                       <property name="top_attach">1</property>
2257                       <property name="bottom_attach">2</property>
2258                       <property name="x_options">fill</property>
2259                       <property name="y_options">fill</property>
2260                     </packing>
2261                   </child>
2262                 </widget>
2263               </child>
2264             </widget>
2265           </child>
2266
2267           <child>
2268             <widget class="GtkLabel" id="label7">
2269               <property name="visible">True</property>
2270               <property name="label" translatable="yes">Value Labels</property>
2271               <property name="use_underline">False</property>
2272               <property name="use_markup">True</property>
2273               <property name="justify">GTK_JUSTIFY_LEFT</property>
2274               <property name="wrap">False</property>
2275               <property name="selectable">False</property>
2276               <property name="xalign">0.5</property>
2277               <property name="yalign">0.5</property>
2278               <property name="xpad">0</property>
2279               <property name="ypad">0</property>
2280               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2281               <property name="width_chars">-1</property>
2282               <property name="single_line_mode">False</property>
2283               <property name="angle">0</property>
2284             </widget>
2285             <packing>
2286               <property name="type">label_item</property>
2287             </packing>
2288           </child>
2289         </widget>
2290         <packing>
2291           <property name="padding">10</property>
2292           <property name="expand">True</property>
2293           <property name="fill">True</property>
2294         </packing>
2295       </child>
2296
2297       <child>
2298         <widget class="GtkVButtonBox" id="vbuttonbox3">
2299           <property name="border_width">5</property>
2300           <property name="visible">True</property>
2301           <property name="layout_style">GTK_BUTTONBOX_START</property>
2302           <property name="spacing">5</property>
2303
2304           <child>
2305             <widget class="GtkButton" id="val_labs_ok">
2306               <property name="visible">True</property>
2307               <property name="can_default">True</property>
2308               <property name="can_focus">True</property>
2309               <property name="label">gtk-ok</property>
2310               <property name="use_stock">True</property>
2311               <property name="relief">GTK_RELIEF_NORMAL</property>
2312               <property name="focus_on_click">True</property>
2313               <signal name="clicked" handler="gtk_widget_hide" object="val_labs_dialog" last_modification_time="Fri, 25 Nov 2005 23:15:33 GMT"/>
2314             </widget>
2315           </child>
2316
2317           <child>
2318             <widget class="GtkButton" id="val_labs_cancel">
2319               <property name="visible">True</property>
2320               <property name="can_default">True</property>
2321               <property name="can_focus">True</property>
2322               <property name="label">gtk-cancel</property>
2323               <property name="use_stock">True</property>
2324               <property name="relief">GTK_RELIEF_NORMAL</property>
2325               <property name="focus_on_click">True</property>
2326               <signal name="clicked" handler="gtk_widget_hide" object="val_labs_dialog" last_modification_time="Fri, 25 Nov 2005 23:15:44 GMT"/>
2327             </widget>
2328           </child>
2329
2330           <child>
2331             <widget class="GtkButton" id="help_button_value_labels">
2332               <property name="visible">True</property>
2333               <property name="can_default">True</property>
2334               <property name="can_focus">True</property>
2335               <property name="label">gtk-help</property>
2336               <property name="use_stock">True</property>
2337               <property name="relief">GTK_RELIEF_NORMAL</property>
2338               <property name="focus_on_click">True</property>
2339             </widget>
2340           </child>
2341         </widget>
2342         <packing>
2343           <property name="padding">0</property>
2344           <property name="expand">False</property>
2345           <property name="fill">False</property>
2346           <property name="pack_type">GTK_PACK_END</property>
2347         </packing>
2348       </child>
2349     </widget>
2350   </child>
2351 </widget>
2352
2353 <widget class="GtkWindow" id="missing_values_dialog">
2354   <property name="border_width">10</property>
2355   <property name="title" translatable="yes">Missing Values</property>
2356   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2357   <property name="window_position">GTK_WIN_POS_NONE</property>
2358   <property name="modal">True</property>
2359   <property name="resizable">False</property>
2360   <property name="destroy_with_parent">False</property>
2361   <property name="decorated">True</property>
2362   <property name="skip_taskbar_hint">True</property>
2363   <property name="skip_pager_hint">True</property>
2364   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2365   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2366   <property name="focus_on_map">True</property>
2367   <property name="urgency_hint">False</property>
2368
2369   <child>
2370     <widget class="GtkTable" id="table6">
2371       <property name="visible">True</property>
2372       <property name="n_rows">2</property>
2373       <property name="n_columns">2</property>
2374       <property name="homogeneous">False</property>
2375       <property name="row_spacing">0</property>
2376       <property name="column_spacing">0</property>
2377
2378       <child>
2379         <widget class="GtkVButtonBox" id="vbuttonbox5">
2380           <property name="border_width">5</property>
2381           <property name="visible">True</property>
2382           <property name="layout_style">GTK_BUTTONBOX_START</property>
2383           <property name="spacing">5</property>
2384
2385           <child>
2386             <widget class="GtkButton" id="missing_val_ok">
2387               <property name="visible">True</property>
2388               <property name="can_default">True</property>
2389               <property name="can_focus">True</property>
2390               <property name="label">gtk-ok</property>
2391               <property name="use_stock">True</property>
2392               <property name="relief">GTK_RELIEF_NORMAL</property>
2393               <property name="focus_on_click">True</property>
2394               <signal name="clicked" handler="gtk_widget_hide" object="val_labs_dialog" last_modification_time="Fri, 25 Nov 2005 23:15:33 GMT"/>
2395             </widget>
2396           </child>
2397
2398           <child>
2399             <widget class="GtkButton" id="missing_val_cancel">
2400               <property name="visible">True</property>
2401               <property name="can_default">True</property>
2402               <property name="can_focus">True</property>
2403               <property name="label">gtk-cancel</property>
2404               <property name="use_stock">True</property>
2405               <property name="relief">GTK_RELIEF_NORMAL</property>
2406               <property name="focus_on_click">True</property>
2407               <signal name="clicked" handler="gtk_widget_hide" object="val_labs_dialog" last_modification_time="Fri, 25 Nov 2005 23:15:44 GMT"/>
2408             </widget>
2409           </child>
2410
2411           <child>
2412             <widget class="GtkButton" id="help_button_missing_values">
2413               <property name="visible">True</property>
2414               <property name="can_default">True</property>
2415               <property name="can_focus">True</property>
2416               <property name="label">gtk-help</property>
2417               <property name="use_stock">True</property>
2418               <property name="relief">GTK_RELIEF_NORMAL</property>
2419               <property name="focus_on_click">True</property>
2420             </widget>
2421           </child>
2422         </widget>
2423         <packing>
2424           <property name="left_attach">1</property>
2425           <property name="right_attach">2</property>
2426           <property name="top_attach">0</property>
2427           <property name="bottom_attach">1</property>
2428         </packing>
2429       </child>
2430
2431       <child>
2432         <widget class="GtkVBox" id="vbox5">
2433           <property name="visible">True</property>
2434           <property name="homogeneous">False</property>
2435           <property name="spacing">12</property>
2436
2437           <child>
2438             <widget class="GtkRadioButton" id="no_missing">
2439               <property name="visible">True</property>
2440               <property name="can_focus">True</property>
2441               <property name="label" translatable="yes">_No missing values</property>
2442               <property name="use_underline">True</property>
2443               <property name="relief">GTK_RELIEF_NORMAL</property>
2444               <property name="focus_on_click">True</property>
2445               <property name="active">True</property>
2446               <property name="inconsistent">False</property>
2447               <property name="draw_indicator">True</property>
2448             </widget>
2449             <packing>
2450               <property name="padding">0</property>
2451               <property name="expand">False</property>
2452               <property name="fill">False</property>
2453             </packing>
2454           </child>
2455
2456           <child>
2457             <widget class="GtkVBox" id="vbox6">
2458               <property name="visible">True</property>
2459               <property name="homogeneous">False</property>
2460               <property name="spacing">0</property>
2461
2462               <child>
2463                 <widget class="GtkRadioButton" id="discrete_missing">
2464                   <property name="visible">True</property>
2465                   <property name="can_focus">True</property>
2466                   <property name="label" translatable="yes">_Discrete missing values</property>
2467                   <property name="use_underline">True</property>
2468                   <property name="relief">GTK_RELIEF_NORMAL</property>
2469                   <property name="focus_on_click">False</property>
2470                   <property name="active">False</property>
2471                   <property name="inconsistent">False</property>
2472                   <property name="draw_indicator">True</property>
2473                   <property name="group">no_missing</property>
2474                 </widget>
2475                 <packing>
2476                   <property name="padding">0</property>
2477                   <property name="expand">False</property>
2478                   <property name="fill">False</property>
2479                 </packing>
2480               </child>
2481
2482               <child>
2483                 <widget class="GtkHBox" id="hbox10">
2484                   <property name="visible">True</property>
2485                   <property name="homogeneous">False</property>
2486                   <property name="spacing">0</property>
2487
2488                   <child>
2489                     <widget class="GtkHBox" id="hbox5">
2490                       <property name="border_width">5</property>
2491                       <property name="visible">True</property>
2492                       <property name="homogeneous">True</property>
2493                       <property name="spacing">5</property>
2494
2495                       <child>
2496                         <widget class="GtkEntry" id="mv0">
2497                           <property name="width_request">75</property>
2498                           <property name="visible">True</property>
2499                           <property name="can_focus">True</property>
2500                           <property name="editable">True</property>
2501                           <property name="visibility">True</property>
2502                           <property name="max_length">0</property>
2503                           <property name="text" translatable="yes"></property>
2504                           <property name="has_frame">True</property>
2505                           <property name="invisible_char">*</property>
2506                           <property name="activates_default">False</property>
2507                         </widget>
2508                         <packing>
2509                           <property name="padding">0</property>
2510                           <property name="expand">False</property>
2511                           <property name="fill">False</property>
2512                         </packing>
2513                       </child>
2514
2515                       <child>
2516                         <widget class="GtkEntry" id="mv1">
2517                           <property name="width_request">75</property>
2518                           <property name="visible">True</property>
2519                           <property name="can_focus">True</property>
2520                           <property name="editable">True</property>
2521                           <property name="visibility">True</property>
2522                           <property name="max_length">0</property>
2523                           <property name="text" translatable="yes"></property>
2524                           <property name="has_frame">True</property>
2525                           <property name="invisible_char">*</property>
2526                           <property name="activates_default">False</property>
2527                         </widget>
2528                         <packing>
2529                           <property name="padding">0</property>
2530                           <property name="expand">False</property>
2531                           <property name="fill">False</property>
2532                         </packing>
2533                       </child>
2534
2535                       <child>
2536                         <widget class="GtkEntry" id="mv2">
2537                           <property name="width_request">75</property>
2538                           <property name="visible">True</property>
2539                           <property name="can_focus">True</property>
2540                           <property name="editable">True</property>
2541                           <property name="visibility">True</property>
2542                           <property name="max_length">0</property>
2543                           <property name="text" translatable="yes"></property>
2544                           <property name="has_frame">True</property>
2545                           <property name="invisible_char">*</property>
2546                           <property name="activates_default">False</property>
2547                         </widget>
2548                         <packing>
2549                           <property name="padding">0</property>
2550                           <property name="expand">False</property>
2551                           <property name="fill">False</property>
2552                         </packing>
2553                       </child>
2554                     </widget>
2555                     <packing>
2556                       <property name="padding">20</property>
2557                       <property name="expand">True</property>
2558                       <property name="fill">True</property>
2559                     </packing>
2560                   </child>
2561                 </widget>
2562                 <packing>
2563                   <property name="padding">0</property>
2564                   <property name="expand">True</property>
2565                   <property name="fill">True</property>
2566                 </packing>
2567               </child>
2568             </widget>
2569             <packing>
2570               <property name="padding">0</property>
2571               <property name="expand">False</property>
2572               <property name="fill">False</property>
2573             </packing>
2574           </child>
2575         </widget>
2576         <packing>
2577           <property name="left_attach">0</property>
2578           <property name="right_attach">1</property>
2579           <property name="top_attach">0</property>
2580           <property name="bottom_attach">1</property>
2581           <property name="y_options">fill</property>
2582         </packing>
2583       </child>
2584
2585       <child>
2586         <widget class="GtkVBox" id="vbox7">
2587           <property name="visible">True</property>
2588           <property name="homogeneous">False</property>
2589           <property name="spacing">0</property>
2590
2591           <child>
2592             <widget class="GtkRadioButton" id="range_missing">
2593               <property name="visible">True</property>
2594               <property name="can_focus">True</property>
2595               <property name="label" translatable="yes">_Range plus one optional discrete missing value</property>
2596               <property name="use_underline">True</property>
2597               <property name="relief">GTK_RELIEF_NORMAL</property>
2598               <property name="focus_on_click">False</property>
2599               <property name="active">False</property>
2600               <property name="inconsistent">False</property>
2601               <property name="draw_indicator">True</property>
2602               <property name="group">no_missing</property>
2603             </widget>
2604             <packing>
2605               <property name="padding">0</property>
2606               <property name="expand">False</property>
2607               <property name="fill">False</property>
2608             </packing>
2609           </child>
2610
2611           <child>
2612             <widget class="GtkVBox" id="vbox8">
2613               <property name="visible">True</property>
2614               <property name="homogeneous">False</property>
2615               <property name="spacing">5</property>
2616
2617               <child>
2618                 <widget class="GtkHBox" id="hbox7">
2619                   <property name="visible">True</property>
2620                   <property name="homogeneous">False</property>
2621                   <property name="spacing">0</property>
2622
2623                   <child>
2624                     <widget class="GtkHBox" id="hbox8">
2625                       <property name="visible">True</property>
2626                       <property name="homogeneous">False</property>
2627                       <property name="spacing">0</property>
2628
2629                       <child>
2630                         <widget class="GtkLabel" id="label11">
2631                           <property name="visible">True</property>
2632                           <property name="label" translatable="yes">_Low:</property>
2633                           <property name="use_underline">True</property>
2634                           <property name="use_markup">False</property>
2635                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2636                           <property name="wrap">False</property>
2637                           <property name="selectable">False</property>
2638                           <property name="xalign">0.5</property>
2639                           <property name="yalign">0.5</property>
2640                           <property name="xpad">0</property>
2641                           <property name="ypad">0</property>
2642                           <property name="mnemonic_widget">mv-low</property>
2643                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2644                           <property name="width_chars">-1</property>
2645                           <property name="single_line_mode">False</property>
2646                           <property name="angle">0</property>
2647                         </widget>
2648                         <packing>
2649                           <property name="padding">20</property>
2650                           <property name="expand">False</property>
2651                           <property name="fill">False</property>
2652                         </packing>
2653                       </child>
2654
2655                       <child>
2656                         <widget class="GtkEntry" id="mv-low">
2657                           <property name="width_request">75</property>
2658                           <property name="visible">True</property>
2659                           <property name="can_focus">True</property>
2660                           <property name="editable">True</property>
2661                           <property name="visibility">True</property>
2662                           <property name="max_length">0</property>
2663                           <property name="text" translatable="yes"></property>
2664                           <property name="has_frame">True</property>
2665                           <property name="invisible_char">*</property>
2666                           <property name="activates_default">False</property>
2667                         </widget>
2668                         <packing>
2669                           <property name="padding">0</property>
2670                           <property name="expand">False</property>
2671                           <property name="fill">True</property>
2672                         </packing>
2673                       </child>
2674                     </widget>
2675                     <packing>
2676                       <property name="padding">0</property>
2677                       <property name="expand">True</property>
2678                       <property name="fill">True</property>
2679                     </packing>
2680                   </child>
2681
2682                   <child>
2683                     <widget class="GtkHBox" id="hbox9">
2684                       <property name="visible">True</property>
2685                       <property name="homogeneous">False</property>
2686                       <property name="spacing">0</property>
2687
2688                       <child>
2689                         <widget class="GtkLabel" id="label12">
2690                           <property name="visible">True</property>
2691                           <property name="label" translatable="yes">_High:</property>
2692                           <property name="use_underline">True</property>
2693                           <property name="use_markup">False</property>
2694                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2695                           <property name="wrap">False</property>
2696                           <property name="selectable">False</property>
2697                           <property name="xalign">0.5</property>
2698                           <property name="yalign">0.5</property>
2699                           <property name="xpad">0</property>
2700                           <property name="ypad">0</property>
2701                           <property name="mnemonic_widget">mv-high</property>
2702                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2703                           <property name="width_chars">-1</property>
2704                           <property name="single_line_mode">False</property>
2705                           <property name="angle">0</property>
2706                         </widget>
2707                         <packing>
2708                           <property name="padding">0</property>
2709                           <property name="expand">False</property>
2710                           <property name="fill">False</property>
2711                         </packing>
2712                       </child>
2713
2714                       <child>
2715                         <widget class="GtkEntry" id="mv-high">
2716                           <property name="width_request">75</property>
2717                           <property name="visible">True</property>
2718                           <property name="can_focus">True</property>
2719                           <property name="editable">True</property>
2720                           <property name="visibility">True</property>
2721                           <property name="max_length">0</property>
2722                           <property name="text" translatable="yes"></property>
2723                           <property name="has_frame">True</property>
2724                           <property name="invisible_char">*</property>
2725                           <property name="activates_default">False</property>
2726                         </widget>
2727                         <packing>
2728                           <property name="padding">5</property>
2729                           <property name="expand">True</property>
2730                           <property name="fill">True</property>
2731                         </packing>
2732                       </child>
2733                     </widget>
2734                     <packing>
2735                       <property name="padding">20</property>
2736                       <property name="expand">True</property>
2737                       <property name="fill">False</property>
2738                     </packing>
2739                   </child>
2740
2741                   <child>
2742                     <placeholder/>
2743                   </child>
2744
2745                   <child>
2746                     <placeholder/>
2747                   </child>
2748                 </widget>
2749                 <packing>
2750                   <property name="padding">0</property>
2751                   <property name="expand">True</property>
2752                   <property name="fill">True</property>
2753                 </packing>
2754               </child>
2755
2756               <child>
2757                 <widget class="GtkHBox" id="hbox6">
2758                   <property name="visible">True</property>
2759                   <property name="homogeneous">False</property>
2760                   <property name="spacing">0</property>
2761
2762                   <child>
2763                     <widget class="GtkLabel" id="label10">
2764                       <property name="visible">True</property>
2765                       <property name="label" translatable="yes">Di_screte value:</property>
2766                       <property name="use_underline">True</property>
2767                       <property name="use_markup">False</property>
2768                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2769                       <property name="wrap">False</property>
2770                       <property name="selectable">False</property>
2771                       <property name="xalign">0.5</property>
2772                       <property name="yalign">0.5</property>
2773                       <property name="xpad">0</property>
2774                       <property name="ypad">0</property>
2775                       <property name="mnemonic_widget">mv-discrete</property>
2776                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2777                       <property name="width_chars">-1</property>
2778                       <property name="single_line_mode">False</property>
2779                       <property name="angle">0</property>
2780                     </widget>
2781                     <packing>
2782                       <property name="padding">20</property>
2783                       <property name="expand">False</property>
2784                       <property name="fill">False</property>
2785                     </packing>
2786                   </child>
2787
2788                   <child>
2789                     <widget class="GtkEntry" id="mv-discrete">
2790                       <property name="width_request">75</property>
2791                       <property name="visible">True</property>
2792                       <property name="can_focus">True</property>
2793                       <property name="editable">True</property>
2794                       <property name="visibility">True</property>
2795                       <property name="max_length">0</property>
2796                       <property name="text" translatable="yes"></property>
2797                       <property name="has_frame">True</property>
2798                       <property name="invisible_char">*</property>
2799                       <property name="activates_default">False</property>
2800                     </widget>
2801                     <packing>
2802                       <property name="padding">0</property>
2803                       <property name="expand">False</property>
2804                       <property name="fill">True</property>
2805                     </packing>
2806                   </child>
2807                 </widget>
2808                 <packing>
2809                   <property name="padding">0</property>
2810                   <property name="expand">True</property>
2811                   <property name="fill">True</property>
2812                 </packing>
2813               </child>
2814             </widget>
2815             <packing>
2816               <property name="padding">0</property>
2817               <property name="expand">True</property>
2818               <property name="fill">True</property>
2819             </packing>
2820           </child>
2821         </widget>
2822         <packing>
2823           <property name="left_attach">0</property>
2824           <property name="right_attach">2</property>
2825           <property name="top_attach">1</property>
2826           <property name="bottom_attach">2</property>
2827           <property name="x_options">fill</property>
2828         </packing>
2829       </child>
2830     </widget>
2831   </child>
2832 </widget>
2833
2834 <widget class="GtkDialog" id="go_to_case_dialog">
2835   <property name="title" translatable="yes">Go To Case</property>
2836   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2837   <property name="window_position">GTK_WIN_POS_NONE</property>
2838   <property name="modal">True</property>
2839   <property name="resizable">False</property>
2840   <property name="destroy_with_parent">False</property>
2841   <property name="decorated">True</property>
2842   <property name="skip_taskbar_hint">True</property>
2843   <property name="skip_pager_hint">True</property>
2844   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2845   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2846   <property name="focus_on_map">True</property>
2847   <property name="urgency_hint">False</property>
2848   <property name="has_separator">False</property>
2849
2850   <child internal-child="vbox">
2851     <widget class="GtkVBox" id="dialog-vbox1">
2852       <property name="visible">True</property>
2853       <property name="homogeneous">False</property>
2854       <property name="spacing">0</property>
2855
2856       <child internal-child="action_area">
2857         <widget class="GtkHButtonBox" id="dialog-action_area1">
2858           <property name="visible">True</property>
2859           <property name="layout_style">GTK_BUTTONBOX_END</property>
2860
2861           <child>
2862             <widget class="GtkButton" id="button_go_to_case_ok">
2863               <property name="visible">True</property>
2864               <property name="can_default">True</property>
2865               <property name="can_focus">True</property>
2866               <property name="label">gtk-ok</property>
2867               <property name="use_stock">True</property>
2868               <property name="relief">GTK_RELIEF_NORMAL</property>
2869               <property name="focus_on_click">True</property>
2870               <property name="response_id">-5</property>
2871             </widget>
2872           </child>
2873         </widget>
2874         <packing>
2875           <property name="padding">0</property>
2876           <property name="expand">False</property>
2877           <property name="fill">True</property>
2878           <property name="pack_type">GTK_PACK_END</property>
2879         </packing>
2880       </child>
2881
2882       <child>
2883         <widget class="GtkHBox" id="hbox11">
2884           <property name="visible">True</property>
2885           <property name="homogeneous">False</property>
2886           <property name="spacing">3</property>
2887
2888           <child>
2889             <widget class="GtkLabel" id="label14">
2890               <property name="visible">True</property>
2891               <property name="label" translatable="yes">Case Number:</property>
2892               <property name="use_underline">False</property>
2893               <property name="use_markup">False</property>
2894               <property name="justify">GTK_JUSTIFY_LEFT</property>
2895               <property name="wrap">False</property>
2896               <property name="selectable">False</property>
2897               <property name="xalign">0.5</property>
2898               <property name="yalign">0.5</property>
2899               <property name="xpad">0</property>
2900               <property name="ypad">0</property>
2901               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2902               <property name="width_chars">-1</property>
2903               <property name="single_line_mode">False</property>
2904               <property name="angle">0</property>
2905             </widget>
2906             <packing>
2907               <property name="padding">0</property>
2908               <property name="expand">False</property>
2909               <property name="fill">False</property>
2910             </packing>
2911           </child>
2912
2913           <child>
2914             <widget class="GtkEntry" id="entry_go_to_case">
2915               <property name="width_request">50</property>
2916               <property name="visible">True</property>
2917               <property name="can_focus">True</property>
2918               <property name="editable">True</property>
2919               <property name="visibility">True</property>
2920               <property name="max_length">0</property>
2921               <property name="text" translatable="yes"></property>
2922               <property name="has_frame">True</property>
2923               <property name="invisible_char">*</property>
2924               <property name="activates_default">False</property>
2925             </widget>
2926             <packing>
2927               <property name="padding">0</property>
2928               <property name="expand">True</property>
2929               <property name="fill">True</property>
2930             </packing>
2931           </child>
2932         </widget>
2933         <packing>
2934           <property name="padding">0</property>
2935           <property name="expand">True</property>
2936           <property name="fill">True</property>
2937         </packing>
2938       </child>
2939     </widget>
2940   </child>
2941 </widget>
2942
2943 <widget class="GtkWindow" id="sort-cases-dialog">
2944   <property name="border_width">10</property>
2945   <property name="can_focus">True</property>
2946   <property name="title" translatable="yes">Sort Cases</property>
2947   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2948   <property name="window_position">GTK_WIN_POS_NONE</property>
2949   <property name="modal">True</property>
2950   <property name="resizable">True</property>
2951   <property name="destroy_with_parent">False</property>
2952   <property name="decorated">True</property>
2953   <property name="skip_taskbar_hint">True</property>
2954   <property name="skip_pager_hint">True</property>
2955   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2956   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2957   <property name="focus_on_map">True</property>
2958   <property name="urgency_hint">False</property>
2959
2960   <child>
2961     <widget class="GtkHBox" id="hbox12">
2962       <property name="visible">True</property>
2963       <property name="homogeneous">False</property>
2964       <property name="spacing">9</property>
2965
2966       <child>
2967         <widget class="GtkScrolledWindow" id="scrolledwindow6">
2968           <property name="border_width">10</property>
2969           <property name="visible">True</property>
2970           <property name="can_focus">True</property>
2971           <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2972           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2973           <property name="shadow_type">GTK_SHADOW_IN</property>
2974           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2975
2976           <child>
2977             <widget class="GtkTreeView" id="sort-cases-treeview-dict">
2978               <property name="visible">True</property>
2979               <property name="can_focus">True</property>
2980               <property name="headers_visible">False</property>
2981               <property name="rules_hint">False</property>
2982               <property name="reorderable">True</property>
2983               <property name="enable_search">True</property>
2984               <property name="fixed_height_mode">True</property>
2985               <property name="hover_selection">False</property>
2986               <property name="hover_expand">False</property>
2987             </widget>
2988           </child>
2989         </widget>
2990         <packing>
2991           <property name="padding">0</property>
2992           <property name="expand">True</property>
2993           <property name="fill">True</property>
2994         </packing>
2995       </child>
2996
2997       <child>
2998         <widget class="GtkAlignment" id="alignment3">
2999           <property name="visible">True</property>
3000           <property name="xalign">0.5</property>
3001           <property name="yalign">0.25</property>
3002           <property name="xscale">0.460000008345</property>
3003           <property name="yscale">0.0799999982119</property>
3004           <property name="top_padding">0</property>
3005           <property name="bottom_padding">0</property>
3006           <property name="left_padding">0</property>
3007           <property name="right_padding">0</property>
3008
3009           <child>
3010             <widget class="GtkButton" id="sort-cases-button">
3011               <property name="visible">True</property>
3012               <property name="can_focus">True</property>
3013               <property name="relief">GTK_RELIEF_NORMAL</property>
3014               <property name="focus_on_click">True</property>
3015
3016               <child>
3017                 <widget class="GtkArrow" id="sort-cases-arrow">
3018                   <property name="visible">True</property>
3019                   <property name="arrow_type">GTK_ARROW_RIGHT</property>
3020                   <property name="shadow_type">GTK_SHADOW_OUT</property>
3021                   <property name="xalign">0.5</property>
3022                   <property name="yalign">0.5</property>
3023                   <property name="xpad">0</property>
3024                   <property name="ypad">0</property>
3025                 </widget>
3026               </child>
3027             </widget>
3028           </child>
3029         </widget>
3030         <packing>
3031           <property name="padding">0</property>
3032           <property name="expand">True</property>
3033           <property name="fill">True</property>
3034         </packing>
3035       </child>
3036
3037       <child>
3038         <widget class="GtkVBox" id="vbox11">
3039           <property name="visible">True</property>
3040           <property name="homogeneous">False</property>
3041           <property name="spacing">4</property>
3042
3043           <child>
3044             <widget class="GtkFrame" id="Sort Order">
3045               <property name="height_request">75</property>
3046               <property name="visible">True</property>
3047               <property name="label_xalign">0</property>
3048               <property name="label_yalign">0.5</property>
3049               <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
3050
3051               <child>
3052                 <widget class="GtkVBox" id="vbox13">
3053                   <property name="border_width">12</property>
3054                   <property name="height_request">66</property>
3055                   <property name="visible">True</property>
3056                   <property name="homogeneous">True</property>
3057                   <property name="spacing">5</property>
3058
3059                   <child>
3060                     <widget class="GtkRadioButton" id="sort-cases-button-ascending">
3061                       <property name="visible">True</property>
3062                       <property name="can_focus">True</property>
3063                       <property name="label" translatable="yes">Ascending</property>
3064                       <property name="use_underline">True</property>
3065                       <property name="relief">GTK_RELIEF_NORMAL</property>
3066                       <property name="focus_on_click">True</property>
3067                       <property name="active">False</property>
3068                       <property name="inconsistent">False</property>
3069                       <property name="draw_indicator">True</property>
3070                     </widget>
3071                     <packing>
3072                       <property name="padding">0</property>
3073                       <property name="expand">False</property>
3074                       <property name="fill">False</property>
3075                     </packing>
3076                   </child>
3077
3078                   <child>
3079                     <widget class="GtkRadioButton" id="radiobutton-descending">
3080                       <property name="visible">True</property>
3081                       <property name="can_focus">True</property>
3082                       <property name="label" translatable="yes">Descending</property>
3083                       <property name="use_underline">True</property>
3084                       <property name="relief">GTK_RELIEF_NORMAL</property>
3085                       <property name="focus_on_click">True</property>
3086                       <property name="active">False</property>
3087                       <property name="inconsistent">False</property>
3088                       <property name="draw_indicator">True</property>
3089                       <property name="group">sort-cases-button-ascending</property>
3090                     </widget>
3091                     <packing>
3092                       <property name="padding">0</property>
3093                       <property name="expand">False</property>
3094                       <property name="fill">False</property>
3095                     </packing>
3096                   </child>
3097                 </widget>
3098               </child>
3099
3100               <child>
3101                 <widget class="GtkLabel" id="label15">
3102                   <property name="visible">True</property>
3103                   <property name="label" translatable="yes">Sort Order</property>
3104                   <property name="use_underline">False</property>
3105                   <property name="use_markup">True</property>
3106                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3107                   <property name="wrap">False</property>
3108                   <property name="selectable">False</property>
3109                   <property name="xalign">0.5</property>
3110                   <property name="yalign">0.5</property>
3111                   <property name="xpad">0</property>
3112                   <property name="ypad">0</property>
3113                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3114                   <property name="width_chars">-1</property>
3115                   <property name="single_line_mode">False</property>
3116                   <property name="angle">0</property>
3117                 </widget>
3118                 <packing>
3119                   <property name="type">label_item</property>
3120                 </packing>
3121               </child>
3122             </widget>
3123             <packing>
3124               <property name="padding">0</property>
3125               <property name="expand">False</property>
3126               <property name="fill">True</property>
3127               <property name="pack_type">GTK_PACK_END</property>
3128             </packing>
3129           </child>
3130
3131           <child>
3132             <widget class="GtkVBox" id="vbox12">
3133               <property name="visible">True</property>
3134               <property name="homogeneous">False</property>
3135               <property name="spacing">0</property>
3136
3137               <child>
3138                 <widget class="GtkLabel" id="label16">
3139                   <property name="visible">True</property>
3140                   <property name="label" translatable="yes">Sort by:</property>
3141                   <property name="use_underline">False</property>
3142                   <property name="use_markup">False</property>
3143                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3144                   <property name="wrap">False</property>
3145                   <property name="selectable">False</property>
3146                   <property name="xalign">0</property>
3147                   <property name="yalign">0.5</property>
3148                   <property name="xpad">0</property>
3149                   <property name="ypad">0</property>
3150                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3151                   <property name="width_chars">-1</property>
3152                   <property name="single_line_mode">False</property>
3153                   <property name="angle">0</property>
3154                 </widget>
3155                 <packing>
3156                   <property name="padding">0</property>
3157                   <property name="expand">False</property>
3158                   <property name="fill">False</property>
3159                 </packing>
3160               </child>
3161
3162               <child>
3163                 <widget class="GtkScrolledWindow" id="scrolledwindow7">
3164                   <property name="visible">True</property>
3165                   <property name="can_focus">True</property>
3166                   <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
3167                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3168                   <property name="shadow_type">GTK_SHADOW_IN</property>
3169                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3170
3171                   <child>
3172                     <widget class="GtkTreeView" id="sort-cases-treeview-criteria">
3173                       <property name="visible">True</property>
3174                       <property name="can_focus">True</property>
3175                       <property name="headers_visible">False</property>
3176                       <property name="rules_hint">False</property>
3177                       <property name="reorderable">False</property>
3178                       <property name="enable_search">True</property>
3179                       <property name="fixed_height_mode">True</property>
3180                       <property name="hover_selection">False</property>
3181                       <property name="hover_expand">False</property>
3182                     </widget>
3183                   </child>
3184                 </widget>
3185                 <packing>
3186                   <property name="padding">0</property>
3187                   <property name="expand">True</property>
3188                   <property name="fill">True</property>
3189                 </packing>
3190               </child>
3191             </widget>
3192             <packing>
3193               <property name="padding">0</property>
3194               <property name="expand">True</property>
3195               <property name="fill">True</property>
3196               <property name="pack_type">GTK_PACK_END</property>
3197             </packing>
3198           </child>
3199         </widget>
3200         <packing>
3201           <property name="padding">0</property>
3202           <property name="expand">True</property>
3203           <property name="fill">True</property>
3204         </packing>
3205       </child>
3206
3207       <child>
3208         <widget class="GtkVButtonBox" id="vbuttonbox7">
3209           <property name="visible">True</property>
3210           <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
3211           <property name="spacing">0</property>
3212
3213           <child>
3214             <widget class="GtkButton" id="sort-cases-ok">
3215               <property name="visible">True</property>
3216               <property name="can_default">True</property>
3217               <property name="can_focus">True</property>
3218               <property name="label">gtk-ok</property>
3219               <property name="use_stock">True</property>
3220               <property name="relief">GTK_RELIEF_NORMAL</property>
3221               <property name="focus_on_click">True</property>
3222             </widget>
3223           </child>
3224
3225           <child>
3226             <widget class="GtkButton" id="sort-cases-paste">
3227               <property name="visible">True</property>
3228               <property name="sensitive">False</property>
3229               <property name="can_default">True</property>
3230               <property name="can_focus">True</property>
3231               <property name="label">gtk-paste</property>
3232               <property name="use_stock">True</property>
3233               <property name="relief">GTK_RELIEF_NORMAL</property>
3234               <property name="focus_on_click">True</property>
3235             </widget>
3236           </child>
3237
3238           <child>
3239             <widget class="GtkButton" id="sort-cases-reset">
3240               <property name="visible">True</property>
3241               <property name="can_default">True</property>
3242               <property name="can_focus">True</property>
3243               <property name="label">gtk-refresh</property>
3244               <property name="use_stock">True</property>
3245               <property name="relief">GTK_RELIEF_NORMAL</property>
3246               <property name="focus_on_click">True</property>
3247             </widget>
3248           </child>
3249
3250           <child>
3251             <widget class="GtkButton" id="sort-cases-cancel">
3252               <property name="visible">True</property>
3253               <property name="can_default">True</property>
3254               <property name="can_focus">True</property>
3255               <property name="label">gtk-cancel</property>
3256               <property name="use_stock">True</property>
3257               <property name="relief">GTK_RELIEF_NORMAL</property>
3258               <property name="focus_on_click">True</property>
3259             </widget>
3260           </child>
3261
3262           <child>
3263             <widget class="GtkButton" id="help_button_sort_cases">
3264               <property name="visible">True</property>
3265               <property name="can_default">True</property>
3266               <property name="can_focus">True</property>
3267               <property name="label">gtk-help</property>
3268               <property name="use_stock">True</property>
3269               <property name="relief">GTK_RELIEF_NORMAL</property>
3270               <property name="focus_on_click">True</property>
3271             </widget>
3272           </child>
3273         </widget>
3274         <packing>
3275           <property name="padding">6</property>
3276           <property name="expand">True</property>
3277           <property name="fill">False</property>
3278         </packing>
3279       </child>
3280     </widget>
3281   </child>
3282 </widget>
3283
3284 </glade-interface>