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

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--*- mode: xml -*-->
   4 <glade-interface>
   5   <requires lib="psppire"/>
   6   <widget 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">Variables</property>
   9     <property name="modal">True</property>
  10     <property name="slidable">True</property>
  11     <child internal-child="hbox">
  12       <widget 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           <widget 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">GTK_POLICY_NEVER</property>
  21             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  22             <property name="shadow_type">GTK_SHADOW_IN</property>
  23             <child>
  24               <widget 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               </widget>
  32             </child>
  33           </widget>
  34           <packing>
  35             <property name="resize">False</property>
  36             <property name="shrink">True</property>
  37           </packing>
  38         </child>
  39         <child>
  40           <widget 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="spacing">5</property>
  44             <child>
  45               <widget class="GtkLabel" id="label24">
  46                 <property name="visible">True</property>
  47                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  48                 <property name="xalign">0</property>
  49                 <property name="label" translatable="yes">Variable Information:</property>
  50               </widget>
  51               <packing>
  52                 <property name="expand">False</property>
  53                 <property name="fill">False</property>
  54                 <property name="padding">5</property>
  55               </packing>
  56             </child>
  57             <child>
  58               <widget class="GtkScrolledWindow" id="scrolledwindow14">
  59                 <property name="visible">True</property>
  60                 <property name="can_focus">True</property>
  61                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  62                 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
  63                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  64                 <property name="shadow_type">GTK_SHADOW_IN</property>
  65                 <child>
  66                   <widget class="GtkTextView" id="textview1">
  67                     <property name="height_request">200</property>
  68                     <property name="visible">True</property>
  69                     <property name="events">GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  70                     <property name="editable">False</property>
  71                     <property name="wrap_mode">GTK_WRAP_WORD_CHAR</property>
  72                     <property name="left_margin">3</property>
  73                     <property name="cursor_visible">False</property>
  74                     <property name="accepts_tab">False</property>
  75                   </widget>
  76                 </child>
  77               </widget>
  78               <packing>
  79                 <property name="padding">5</property>
  80                 <property name="position">2</property>
  81               </packing>
  82             </child>
  83             <child>
  84               <widget class="PsppireHButtonBox" id="psppire-hbuttonbox4">
  85                 <property name="visible">True</property>
  86                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  87                 <property name="border_width">5</property>
  88                 <property name="homogeneous">True</property>
  89                 <property name="buttons">PSPPIRE_BUTTON_GOTO_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK | PSPPIRE_BUTTON_PASTE_MASK</property>
  90               </widget>
  91               <packing>
  92                 <property name="expand">False</property>
  93                 <property name="fill">False</property>
  94                 <property name="pack_type">GTK_PACK_END</property>
  95                 <property name="position">1</property>
  96               </packing>
  97             </child>
  98           </widget>
  99           <packing>
 100             <property name="resize">True</property>
 101             <property name="shrink">True</property>
 102           </packing>
 103         </child>
 104       </widget>
 105     </child>
 106   </widget>
 107 </glade-interface>