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

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--Generated with glade3 3.4.5 on Thu Dec 18 20:43:13 2008 -->
   4 <glade-interface>
   5   <widget class="GtkDialog" id="message-dialog">
   6     <property name="width_request">600</property>
   7     <property name="height_request">350</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="border_width">12</property>
  10     <property name="title" translatable="yes">Messages Reported</property>
  11     <property name="modal">True</property>
  12     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
  13     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  14     <property name="has_separator">False</property>
  15     <child internal-child="vbox">
  16       <widget class="GtkVBox" id="dialog-vbox1">
  17         <property name="visible">True</property>
  18         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  19         <property name="spacing">24</property>
  20         <child>
  21           <widget class="GtkHBox" id="hbox1">
  22             <property name="visible">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="spacing">12</property>
  25             <child>
  26               <widget class="GtkImage" id="image1">
  27                 <property name="visible">True</property>
  28                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  29                 <property name="yalign">0</property>
  30                 <property name="stock">gtk-dialog-info</property>
  31                 <property name="icon_size">6</property>
  32               </widget>
  33               <packing>
  34                 <property name="expand">False</property>
  35               </packing>
  36             </child>
  37             <child>
  38               <widget class="GtkVBox" id="vbox1">
  39                 <property name="visible">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="spacing">6</property>
  42                 <child>
  43                   <widget class="GtkLabel" id="lead-in">
  44                     <property name="visible">True</property>
  45                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  46                     <property name="xalign">0</property>
  47                     <property name="label" translatable="yes">The PSPP processor reported # errors.  The first # and last # are shown below:</property>
  48                     <property name="wrap">True</property>
  49                   </widget>
  50                   <packing>
  51                     <property name="expand">False</property>
  52                     <property name="fill">False</property>
  53                   </packing>
  54                 </child>
  55                 <child>
  56                   <widget class="GtkScrolledWindow" id="scrolledwindow1">
  57                     <property name="visible">True</property>
  58                     <property name="can_focus">True</property>
  59                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  60                     <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  61                     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  62                     <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
  63                     <child>
  64                       <widget class="GtkTextView" id="message">
  65                         <property name="visible">True</property>
  66                         <property name="can_focus">True</property>
  67                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  68                         <property name="editable">False</property>
  69                         <property name="wrap_mode">GTK_WRAP_WORD</property>
  70                         <property name="left_margin">6</property>
  71                         <property name="right_margin">6</property>
  72                         <property name="cursor_visible">False</property>
  73                       </widget>
  74                     </child>
  75                   </widget>
  76                   <packing>
  77                     <property name="position">1</property>
  78                   </packing>
  79                 </child>
  80               </widget>
  81               <packing>
  82                 <property name="position">1</property>
  83               </packing>
  84             </child>
  85           </widget>
  86           <packing>
  87             <property name="position">1</property>
  88           </packing>
  89         </child>
  90         <child internal-child="action_area">
  91           <widget class="GtkHButtonBox" id="dialog-action_area1">
  92             <property name="visible">True</property>
  93             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  94             <property name="layout_style">GTK_BUTTONBOX_END</property>
  95             <child>
  96               <widget class="GtkButton" id="close-button">
  97                 <property name="visible">True</property>
  98                 <property name="can_focus">True</property>
  99                 <property name="receives_default">True</property>
 100                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 101                 <property name="label" translatable="yes">gtk-close</property>
 102                 <property name="use_stock">True</property>
 103                 <property name="response_id">0</property>
 104               </widget>
 105             </child>
 106           </widget>
 107           <packing>
 108             <property name="expand">False</property>
 109             <property name="pack_type">GTK_PACK_END</property>
 110           </packing>
 111         </child>
 112       </widget>
 113     </child>
 114   </widget>
 115 </glade-interface>