find-dialog.c: Replace exp10 with our own integer version
[pspp] / src / ui / gui / goto-case.ui
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!-- PSPP - a program for statistical analysis. -->
3 <!-- Copyright (C) 2017 Free Software Foundation, Inc. -->
4
5 <!-- This program is free software: you can redistribute it and/or modify -->
6 <!-- it under the terms of the GNU General Public License as published by -->
7 <!-- the Free Software Foundation, either version 3 of the License, or -->
8 <!-- (at your option) any later version. -->
9
10 <!-- This program is distributed in the hope that it will be useful, -->
11 <!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
12 <!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the -->
13 <!-- GNU General Public License for more details. -->
14
15 <!-- You should have received a copy of the GNU General Public License -->
16 <!-- along with this program.  If not, see <http://www.gnu.org/licenses/>. -->
17
18 <!-- Generated with glade 3.18.3 -->
19 <interface>
20   <requires lib="gtk+" version="3.4.2"/>
21   <requires lib="psppire" version="2054.17080"/>
22   <object class="GtkAdjustment" id="adjustment1">
23     <property name="lower">1</property>
24     <property name="upper">1</property>
25     <property name="step_increment">1</property>
26     <property name="page_increment">10</property>
27   </object>
28   <object class="PsppireDialog" id="goto-case-dialog">
29     <property name="can_focus">False</property>
30     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
31     <property name="title" translatable="yes">Goto Case</property>
32     <property name="modal">True</property>
33     <child>
34       <object class="GtkBox" id="dialog-hbox8">
35         <property name="visible">True</property>
36         <property name="can_focus">False</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="orientation">vertical</property>
39         <property name="spacing">5</property>
40         <child>
41           <object class="GtkBox" id="hbox22">
42             <property name="visible">True</property>
43             <property name="can_focus">False</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="spacing">5</property>
46             <child>
47               <object class="GtkLabel" id="label33">
48                 <property name="visible">True</property>
49                 <property name="can_focus">False</property>
50                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
51                 <property name="xalign">1</property>
52                 <property name="label" translatable="yes">Goto Case Number:</property>
53               </object>
54               <packing>
55                 <property name="expand">False</property>
56                 <property name="fill">True</property>
57                 <property name="position">0</property>
58               </packing>
59             </child>
60             <child>
61               <object class="GtkSpinButton" id="goto-case-case-num-entry">
62                 <property name="visible">True</property>
63                 <property name="can_focus">True</property>
64                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
65                 <property name="activates_default">True</property>
66                 <property name="adjustment">adjustment1</property>
67               </object>
68               <packing>
69                 <property name="expand">False</property>
70                 <property name="fill">True</property>
71                 <property name="position">1</property>
72               </packing>
73             </child>
74           </object>
75           <packing>
76             <property name="expand">False</property>
77             <property name="fill">False</property>
78             <property name="padding">5</property>
79             <property name="position">0</property>
80           </packing>
81         </child>
82         <child>
83           <object class="PsppireButtonbox" id="psppire-hbuttonbox5">
84             <property name="orientation">horizontal</property>
85             <property name="visible">True</property>
86             <property name="can_focus">False</property>
87             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
88             <property name="border_width">5</property>
89             <property name="layout_style">spread</property>
90             <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK</property>
91             <property name="default">PSPPIRE_BUTTON_GOTO_MASK</property>
92           </object>
93           <packing>
94             <property name="expand">False</property>
95             <property name="fill">False</property>
96             <property name="pack_type">end</property>
97             <property name="position">1</property>
98           </packing>
99         </child>
100       </object>
101     </child>
102   </object>
103 </interface>