pintos-os.org Git - pspp/blob - 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>