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>