1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
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>
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>
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>
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>
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>
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>
53 <property name="expand">False</property>
54 <property name="fill">False</property>
62 <property name="expand">False</property>
63 <property name="fill">False</property>
64 <property name="position">1</property>
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>
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>
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>
83 <property name="expand">False</property>
84 <property name="fill">False</property>
85 <property name="padding">5</property>
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>
95 <property name="expand">False</property>
96 <property name="fill">False</property>
97 <property name="position">1</property>
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>
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>
114 <property name="expand">False</property>
115 <property name="fill">False</property>
116 <property name="padding">5</property>
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>
126 <property name="expand">False</property>
127 <property name="fill">False</property>
128 <property name="position">1</property>
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>
142 <property name="expand">False</property>
143 <property name="position">2</property>
148 <property name="position">1</property>
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>
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>
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>
177 <property name="position">1</property>
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>
190 <property name="position">2</property>
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>
203 <property name="position">3</property>
208 <property name="position">2</property>
213 <property name="expand">False</property>
214 <property name="position">3</property>
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>
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>