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