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

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.18.3 -->
   3 <interface>
   4   <requires lib="gtk+" version="3.4.2"/>
   5   <requires lib="psppire" version="2054.22072"/>
   6   <object class="PsppireDialog" id="variable-info-dialog">
   7     <property name="can_focus">False</property>
   8     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   9     <property name="title" translatable="yes">Variables</property>
  10     <property name="modal">True</property>
  11     <property name="slidable">True</property>
  12     <property name="help_page">Variable-Attributes</property>
  13     <child>
  14       <object class="GtkPaned" id="dialog-hbox2">
  15         <property name="visible">True</property>
  16         <property name="orientation">horizontal</property>
  17         <property name="can_focus">False</property>
  18         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  19         <child>
  20           <object class="GtkScrolledWindow" id="scrolledwindow13">
  21             <property name="visible">True</property>
  22             <property name="can_focus">True</property>
  23             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  24             <property name="hscrollbar_policy">never</property>
  25             <property name="shadow_type">in</property>
  26             <child>
  27               <object class="PsppireDictView" id="treeview2">
  28                 <property name="visible">True</property>
  29                 <property name="can_focus">True</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="border_width">0</property>
  32                 <property name="headers_visible">False</property>
  33                 <property name="reorderable">True</property>
  34                 <property name="fixed_height_mode">True</property>
  35                 <child internal-child="selection">
  36                   <object class="GtkTreeSelection" id="psppire-dictview-selection1"/>
  37                 </child>
  38               </object>
  39             </child>
  40           </object>
  41           <packing>
  42             <property name="resize">False</property>
  43             <property name="shrink">True</property>
  44           </packing>
  45         </child>
  46         <child>
  47           <object class="GtkBox" id="vbox23">
  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="orientation">vertical</property>
  52             <property name="spacing">5</property>
  53             <child>
  54               <object class="PsppireHButtonBox" id="psppire-hbuttonbox4">
  55                 <property name="visible">True</property>
  56                 <property name="can_focus">False</property>
  57                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  58                 <property name="border_width">5</property>
  59                 <property name="homogeneous">True</property>
  60                 <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_PASTE_MASK</property>
  61               </object>
  62               <packing>
  63                 <property name="expand">False</property>
  64                 <property name="fill">False</property>
  65                 <property name="pack_type">end</property>
  66                 <property name="position">1</property>
  67               </packing>
  68             </child>
  69             <child>
  70               <object class="GtkScrolledWindow" id="scrolledwindow14">
  71                 <property name="visible">True</property>
  72                 <property name="can_focus">True</property>
  73                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  74                 <property name="shadow_type">in</property>
  75                 <child>
  76                   <object class="GtkLayout" id="layout1">
  77                     <property name="height_request">200</property>
  78                     <property name="visible">True</property>
  79                     <property name="can_focus">False</property>
  80                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  81                   </object>
  82                 </child>
  83               </object>
  84               <packing>
  85                 <property name="expand">True</property>
  86                 <property name="fill">True</property>
  87                 <property name="padding">5</property>
  88                 <property name="position">2</property>
  89               </packing>
  90             </child>
  91           </object>
  92           <packing>
  93             <property name="resize">True</property>
  94             <property name="shrink">True</property>
  95           </packing>
  96         </child>
  97       </object>
  98     </child>
  99   </object>
 100 </interface>