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="GtkVBox" id="vbox9">
  18                 <property name="visible">True</property>
  19                 <property name="margin-start">5</property>
  20                 <property name="margin-end">5</property>
  21                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  22                 <property name="orientation">vertical</property>
  23                 <child>
  24                   <object class="GtkLabel" id="label16">
  25                     <property name="visible">True</property>
  26                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  27                     <property name="xalign">0</property>
  28                     <property name="label" translatable="yes">Comments:</property>
  29                   </object>
  30                   <packing>
  31                     <property name="expand">False</property>
  32                     <property name="fill">False</property>
  33                     <property name="position">0</property>
  34                   </packing>
  35                 </child>
  36                 <child>
  37                   <object class="GtkScrolledWindow" id="scrolledwindow12">
  38                     <property name="visible">True</property>
  39                     <property name="can_focus">True</property>
  40                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  41                     <property name="hscrollbar_policy">automatic</property>
  42                     <property name="vscrollbar_policy">automatic</property>
  43                     <property name="shadow_type">in</property>
  44                     <child>
  45                       <object class="GtkTextView" id="comments-textview1">
  46                         <property name="visible">True</property>
  47                         <property name="can_focus">True</property>
  48                       </object>
  49                     </child>
  50                   </object>
  51                   <packing>
  52                     <property name="position">1</property>
  53                   </packing>
  54             </child>
  55           </object>
  56           <packing>
  57             <property name="padding">5</property>
  58             <property name="position">0</property>
  59           </packing>
  60         </child>
  61         <child>
  62           <object class="GtkHBox" id="hbox13">
  63             <property name="visible">True</property>
  64             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  65             <child>
  66               <object class="GtkCheckButton" id="comments-checkbutton1">
  67                 <property name="label" translatable="yes">Display comments in output</property>
  68                 <property name="visible">True</property>
  69                 <property name="can_focus">True</property>
  70                 <property name="receives_default">False</property>
  71                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  72                 <property name="draw_indicator">True</property>
  73               </object>
  74               <packing>
  75                 <property name="expand">False</property>
  76                 <property name="fill">False</property>
  77                 <property name="padding">5</property>
  78                 <property name="position">0</property>
  79               </packing>
  80             </child>
  81             <child>
  82               <object class="GtkLabel" id="column-number-label">
  83                 <property name="visible">True</property>
  84                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  85                 <property name="xalign">1</property>
  86                 <property name="label" translatable="yes">Column Number: 0</property>
  87               </object>
  88               <packing>
  89                 <property name="padding">5</property>
  90                 <property name="pack_type">end</property>
  91                 <property name="position">1</property>
  92               </packing>
  93             </child>
  94           </object>
  95           <packing>
  96             <property name="expand">False</property>
  97             <property name="fill">False</property>
  98             <property name="pack_type">end</property>
  99             <property name="position">2</property>
 100           </packing>
 101         </child>
 102         <child>
 103           <object class="PsppireHButtonBox" id="psppire-hbuttonbox2">
 104             <property name="visible">True</property>
 105             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 106             <property name="border_width">5</property>
 107           </object>
 108           <packing>
 109             <property name="expand">False</property>
 110             <property name="fill">False</property>
 111             <property name="pack_type">end</property>
 112             <property name="position">1</property>
 113           </packing>
 114         </child>
 115       </object>
 116     </child>
 117   </object>
 118 </interface>