Merge 'master' into 'gtk3'.
[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                 <property name="activates-default">True</property>
39               </object>
40               <packing>
41                 <property name="position">1</property>
42               </packing>
43             </child>
44           </object>
45           <packing>
46             <property name="fill">False</property>
47             <property name="padding">5</property>
48             <property name="position">0</property>
49           </packing>
50         </child>
51         <child>
52           <object class="PsppireHButtonBox" id="psppire-hbuttonbox5">
53             <property name="visible">True</property>
54             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
55             <property name="border_width">5</property>
56             <property name="layout_style">spread</property>
57             <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK</property>
58             <property name="default">PSPPIRE_BUTTON_GOTO_MASK</property>
59           </object>
60           <packing>
61             <property name="expand">False</property>
62             <property name="fill">False</property>
63             <property name="pack_type">end</property>
64             <property name="position">1</property>
65           </packing>
66         </child>
67       </object>
68     </child>
69   </object>
70   <object class="GtkAdjustment" id="adjustment1">
71     <property name="lower">1</property>
72     <property name="upper">1</property>
73     <property name="step_increment">1</property>
74     <property name="page_increment">10</property>
75   </object>
76 </interface>