Fix bug when searching through an empty dataset.
[pspp] / src / ui / gui / sort.ui
1 <?xml version="1.0"?>
2 <interface>
3   <requires lib="psppire" version="2054.17080"/>
4   <!-- interface-requires gtk+ 2.12 -->
5   <!-- interface-naming-policy project-wide -->
6   <object class="PsppireDialog" id="sort-cases-dialog">
7     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
8     <property name="title" translatable="yes">Sort Cases</property>
9     <property name="modal">True</property>
10     <property name="help-page">SORT-CASES</property>
11     <child>
12       <object class="GtkHBox" id="dialog-hbox4">
13         <property name="visible">True</property>
14         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
15         <property name="spacing">2</property>
16         <child>
17           <object class="GtkHBox" id="hbox14">
18             <property name="visible">True</property>
19             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
20             <child>
21               <object class="GtkScrolledWindow" id="scrolledwindow6">
22                 <property name="visible">True</property>
23                 <property name="can_focus">True</property>
24                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
25                 <property name="hscrollbar_policy">never</property>
26                 <property name="vscrollbar_policy">automatic</property>
27                 <property name="shadow_type">etched-in</property>
28                 <child>
29                   <object class="PsppireDictView" id="sort-cases-treeview1">
30                     <property name="visible">True</property>
31                     <property name="can_focus">True</property>
32                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
33                     <property name="headers_visible">False</property>
34                   </object>
35                 </child>
36               </object>
37               <packing>
38                 <property name="position">0</property>
39               </packing>
40             </child>
41             <child>
42               <object class="GtkAlignment" id="alignment6">
43                 <property name="visible">True</property>
44                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
45                 <property name="yalign">0.25</property>
46                 <property name="xscale">0</property>
47                 <property name="yscale">0</property>
48                 <child>
49                   <object class="PsppireSelector" id="sort-cases-selector">
50                     <property name="visible">True</property>
51                     <property name="can_focus">True</property>
52                     <property name="receives_default">True</property>
53                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
54                     <property name="border_width">5</property>
55                     <property name="source_widget">sort-cases-treeview1</property>
56                     <property name="dest_widget">sort-cases-treeview2</property>
57                   </object>
58                 </child>
59               </object>
60               <packing>
61                 <property name="expand">False</property>
62                 <property name="fill">False</property>
63                 <property name="position">1</property>
64               </packing>
65             </child>
66             <child>
67               <object class="GtkVBox" id="vbox12">
68                 <property name="visible">True</property>
69                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
70                 <child>
71                   <object class="GtkVBox" id="vbox16">
72                     <property name="visible">True</property>
73                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
74                     <property name="orientation">vertical</property>
75                     <child>
76                       <object class="GtkLabel" id="label18">
77                         <property name="visible">True</property>
78                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
79                         <property name="xalign">0</property>
80                         <property name="label" translatable="yes">Sort by:</property>
81                       </object>
82                       <packing>
83                         <property name="expand">False</property>
84                         <property name="position">0</property>
85                       </packing>
86                     </child>
87                     <child>
88                       <object class="GtkScrolledWindow" id="scrolledwindow7">
89                         <property name="visible">True</property>
90                         <property name="can_focus">True</property>
91                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
92                         <property name="hscrollbar_policy">never</property>
93                         <property name="vscrollbar_policy">automatic</property>
94                         <property name="shadow_type">etched-in</property>
95                         <child>
96                           <object class="PsppireVarView" id="sort-cases-treeview2">
97                             <property name="visible">True</property>
98                             <property name="can_focus">True</property>
99                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
100                             <property name="headers_visible">False</property>
101                           </object>
102                         </child>
103                       </object>
104                       <packing>
105                         <property name="position">1</property>
106                       </packing>
107                     </child>
108                   </object>
109                   <packing>
110                     <property name="padding">5</property>
111                     <property name="position">0</property>
112                   </packing>
113                 </child>
114                 <child>
115                   <object class="GtkFrame" id="frame9">
116                     <property name="visible">True</property>
117                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
118                     <property name="label_xalign">0</property>
119                     <child>
120                       <object class="GtkAlignment" id="alignment5">
121                         <property name="visible">True</property>
122                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
123                         <property name="left_padding">12</property>
124                         <child>
125                           <object class="GtkVButtonBox" id="vbuttonbox4">
126                             <property name="visible">True</property>
127                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
128                             <property name="layout_style">spread</property>
129                             <child>
130                               <object class="GtkRadioButton" id="sort-cases-radiobutton0">
131                                 <property name="label" translatable="yes">Ascending</property>
132                                 <property name="visible">True</property>
133                                 <property name="can_focus">True</property>
134                                 <property name="receives_default">False</property>
135                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
136                                 <property name="active">True</property>
137                                 <property name="draw_indicator">True</property>
138                               </object>
139                               <packing>
140                                 <property name="expand">False</property>
141                                 <property name="fill">False</property>
142                                 <property name="position">0</property>
143                               </packing>
144                             </child>
145                             <child>
146                               <object class="GtkRadioButton" id="sort-cases-radiobutton1">
147                                 <property name="label" translatable="yes">Descending</property>
148                                 <property name="visible">True</property>
149                                 <property name="can_focus">True</property>
150                                 <property name="receives_default">False</property>
151                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
152                                 <property name="draw_indicator">True</property>
153                                 <property name="group">sort-cases-radiobutton0</property>
154                               </object>
155                               <packing>
156                                 <property name="expand">False</property>
157                                 <property name="fill">False</property>
158                                 <property name="position">1</property>
159                               </packing>
160                             </child>
161                           </object>
162                         </child>
163                       </object>
164                     </child>
165                     <child type="label">
166                       <object class="GtkLabel" id="label17">
167                         <property name="visible">True</property>
168                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
169                         <property name="label" translatable="yes">Sort Order</property>
170                         <property name="use_markup">True</property>
171                       </object>
172                     </child>
173                   </object>
174                   <packing>
175                     <property name="expand">False</property>
176                     <property name="padding">5</property>
177                     <property name="position">1</property>
178                   </packing>
179                 </child>
180               </object>
181               <packing>
182                 <property name="position">2</property>
183               </packing>
184             </child>
185           </object>
186           <packing>
187             <property name="position">0</property>
188           </packing>
189         </child>
190         <child>
191           <object class="PsppireVButtonBox" id="psppire-buttonbox4">
192             <property name="visible">True</property>
193             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
194             <property name="border_width">5</property>
195           </object>
196           <packing>
197             <property name="expand">False</property>
198             <property name="fill">False</property>
199             <property name="pack_type">end</property>
200             <property name="position">1</property>
201           </packing>
202         </child>
203       </object>
204     </child>
205   </object>
206 </interface>