pintos-os.org Git - pspp/blob - src/ui/gui/variable-info.ui

   1 <?xml version="1.0"?>
   2 <interface>
   3   <requires lib="psppire" version="2054.22072"/>
   4   <!-- interface-requires gtk+ 2.12 -->
   5   <!-- interface-naming-policy project-wide -->
   6   <object class="PsppireDialog" id="variable-info-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">Variables</property>
   9     <property name="modal">True</property>
  10     <property name="slidable">True</property>
  11     <child internal-child="hbox">
  12       <object class="GtkHPaned" id="dialog-hbox2">
  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         <child>
  16           <object class="GtkScrolledWindow" id="scrolledwindow13">
  17             <property name="visible">True</property>
  18             <property name="can_focus">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="hscrollbar_policy">never</property>
  21             <property name="vscrollbar_policy">automatic</property>
  22             <property name="shadow_type">in</property>
  23             <child>
  24               <object class="PsppireDictView" id="treeview2">
  25                 <property name="visible">True</property>
  26                 <property name="can_focus">True</property>
  27                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  28                 <property name="headers_visible">False</property>
  29                 <property name="reorderable">True</property>
  30                 <property name="fixed_height_mode">True</property>
  31               </object>
  32             </child>
  33           </object>
  34           <packing>
  35             <property name="resize">False</property>
  36             <property name="shrink">True</property>
  37           </packing>
  38         </child>
  39         <child>
  40           <object class="GtkVBox" id="vbox23">
  41             <property name="visible">True</property>
  42             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  43             <property name="orientation">vertical</property>
  44             <property name="spacing">5</property>
  45             <child>
  46               <object class="GtkScrolledWindow" id="scrolledwindow14">
  47                 <property name="visible">True</property>
  48                 <property name="can_focus">True</property>
  49                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  50                 <property name="hscrollbar_policy">automatic</property>
  51                 <property name="vscrollbar_policy">automatic</property>
  52                 <property name="shadow_type">in</property>
  53                 <child>
  54                   <object class="GtkLayout" id="layout1">
  55                     <property name="height_request">200</property>
  56                     <property name="visible">True</property>
  57                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  58                   </object>
  59                 </child>
  60               </object>
  61               <packing>
  62                 <property name="padding">5</property>
  63                 <property name="position">2</property>
  64               </packing>
  65             </child>
  66             <child>
  67               <object class="PsppireHButtonBox" id="psppire-hbuttonbox4">
  68                 <property name="visible">True</property>
  69                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  70                 <property name="border_width">5</property>
  71                 <property name="homogeneous">True</property>
  72                 <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_PASTE_MASK</property>
  73               </object>
  74               <packing>
  75                 <property name="expand">False</property>
  76                 <property name="fill">False</property>
  77                 <property name="pack_type">end</property>
  78                 <property name="position">1</property>
  79               </packing>
  80             </child>
  81           </object>
  82           <packing>
  83             <property name="resize">True</property>
  84             <property name="shrink">True</property>
  85           </packing>
  86         </child>
  87       </object>
  88     </child>
  89   </object>
  90 </interface>