pintos-os.org Git - pspp/blob - src/ui/gui/comments.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="comments-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">Data File Comments</property>
   9     <property name="modal">True</property>
  10     <property name="help-page">DOCUMENT</property>
  11     <child>
  12       <object class="GtkVBox" id="dialog-hbox7">
  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">2</property>
  16         <child>
  17           <object class="GtkAlignment" id="alignment7">
  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="left_padding">5</property>
  21             <property name="right_padding">5</property>
  22             <child>
  23               <object class="GtkVBox" id="vbox9">
  24                 <property name="visible">True</property>
  25                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  26                 <property name="orientation">vertical</property>
  27                 <child>
  28                   <object class="GtkLabel" id="label16">
  29                     <property name="visible">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="xalign">0</property>
  32                     <property name="label" translatable="yes">Comments:</property>
  33                   </object>
  34                   <packing>
  35                     <property name="expand">False</property>
  36                     <property name="fill">False</property>
  37                     <property name="position">0</property>
  38                   </packing>
  39                 </child>
  40                 <child>
  41                   <object class="GtkScrolledWindow" id="scrolledwindow12">
  42                     <property name="visible">True</property>
  43                     <property name="can_focus">True</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="hscrollbar_policy">automatic</property>
  46                     <property name="vscrollbar_policy">automatic</property>
  47                     <property name="shadow_type">in</property>
  48                     <child>
  49                       <object class="GtkTextView" id="comments-textview1">
  50                         <property name="visible">True</property>
  51                         <property name="can_focus">True</property>
  52                       </object>
  53                     </child>
  54                   </object>
  55                   <packing>
  56                     <property name="position">1</property>
  57                   </packing>
  58                 </child>
  59               </object>
  60             </child>
  61           </object>
  62           <packing>
  63             <property name="padding">5</property>
  64             <property name="position">0</property>
  65           </packing>
  66         </child>
  67         <child>
  68           <object class="GtkHBox" id="hbox13">
  69             <property name="visible">True</property>
  70             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  71             <child>
  72               <object class="GtkCheckButton" id="comments-checkbutton1">
  73                 <property name="label" translatable="yes">Display comments in output</property>
  74                 <property name="visible">True</property>
  75                 <property name="can_focus">True</property>
  76                 <property name="receives_default">False</property>
  77                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  78                 <property name="draw_indicator">True</property>
  79               </object>
  80               <packing>
  81                 <property name="expand">False</property>
  82                 <property name="fill">False</property>
  83                 <property name="padding">5</property>
  84                 <property name="position">0</property>
  85               </packing>
  86             </child>
  87             <child>
  88               <object class="GtkLabel" id="column-number-label">
  89                 <property name="visible">True</property>
  90                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  91                 <property name="xalign">1</property>
  92                 <property name="label" translatable="yes">Column Number: 0</property>
  93               </object>
  94               <packing>
  95                 <property name="padding">5</property>
  96                 <property name="pack_type">end</property>
  97                 <property name="position">1</property>
  98               </packing>
  99             </child>
 100           </object>
 101           <packing>
 102             <property name="expand">False</property>
 103             <property name="fill">False</property>
 104             <property name="pack_type">end</property>
 105             <property name="position">2</property>
 106           </packing>
 107         </child>
 108         <child>
 109           <object class="PsppireHButtonBox" id="psppire-hbuttonbox2">
 110             <property name="visible">True</property>
 111             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 112             <property name="border_width">5</property>
 113           </object>
 114           <packing>
 115             <property name="expand">False</property>
 116             <property name="fill">False</property>
 117             <property name="pack_type">end</property>
 118             <property name="position">1</property>
 119           </packing>
 120         </child>
 121       </object>
 122     </child>
 123   </object>
 124 </interface>