gui: Factor out duplicated code for executing and pasting syntax.
[pspp] / src / ui / gui / goto-case.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="goto-case-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">Goto Case</property>
9     <property name="modal">True</property>
10     <property name="orientation">Vertical</property>
11     <child internal-child="hbox">
12       <object class="GtkVBox" id="dialog-hbox8">
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">5</property>
16         <child>
17           <object class="GtkHBox" id="hbox22">
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             <property name="spacing">5</property>
21             <child>
22               <object class="GtkLabel" id="label33">
23                 <property name="visible">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="xalign">1</property>
26                 <property name="label" translatable="yes">Goto Case Number:</property>
27               </object>
28               <packing>
29                 <property name="position">0</property>
30               </packing>
31             </child>
32             <child>
33               <object class="GtkSpinButton" id="goto-case-case-num-entry">
34                 <property name="visible">True</property>
35                 <property name="adjustment">adjustment1</property>
36                 <property name="can_focus">True</property>
37                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
38               </object>
39               <packing>
40                 <property name="position">1</property>
41               </packing>
42             </child>
43           </object>
44           <packing>
45             <property name="fill">False</property>
46             <property name="padding">5</property>
47             <property name="position">0</property>
48           </packing>
49         </child>
50         <child>
51           <object class="PsppireHButtonBox" id="psppire-hbuttonbox5">
52             <property name="visible">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="layout_style">spread</property>
56             <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK</property>
57           </object>
58           <packing>
59             <property name="expand">False</property>
60             <property name="fill">False</property>
61             <property name="pack_type">end</property>
62             <property name="position">1</property>
63           </packing>
64         </child>
65       </object>
66     </child>
67   </object>
68   <object class="GtkAdjustment" id="adjustment1">
69     <property name="lower">1</property>
70     <property name="upper">1</property>
71     <property name="step_increment">1</property>
72     <property name="page_increment">10</property>
73   </object>
74 </interface>