src/ui/gui/message-dialog.ui

   1 <?xml version="1.0"?>
   2 <interface>
   3   <!-- interface-requires gtk+ 2.12 -->
   4   <!-- interface-naming-policy project-wide -->
   5   <object 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">center-on-parent</property>
  13     <property name="type_hint">dialog</property>
  14     <property name="has_separator">False</property>
  15     <child internal-child="vbox">
  16       <object 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="orientation">vertical</property>
  20         <property name="spacing">24</property>
  21         <child>
  22           <object class="GtkHBox" id="hbox1">
  23             <property name="visible">True</property>
  24             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  25             <property name="spacing">12</property>
  26             <child>
  27               <object class="GtkImage" id="image1">
  28                 <property name="visible">True</property>
  29                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  30                 <property name="yalign">0</property>
  31                 <property name="stock">gtk-dialog-info</property>
  32                 <property name="icon-size">6</property>
  33               </object>
  34               <packing>
  35                 <property name="expand">False</property>
  36                 <property name="position">0</property>
  37               </packing>
  38             </child>
  39             <child>
  40               <object class="GtkVBox" id="vbox1">
  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="orientation">vertical</property>
  44                 <property name="spacing">6</property>
  45                 <child>
  46                   <object class="GtkLabel" id="lead-in">
  47                     <property name="visible">True</property>
  48                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  49                     <property name="xalign">0</property>
  50                     <property name="label" translatable="yes">The PSPP processor reported # errors.  The first # and last # are shown below:</property>
  51                     <property name="wrap">True</property>
  52                   </object>
  53                   <packing>
  54                     <property name="expand">False</property>
  55                     <property name="fill">False</property>
  56                     <property name="position">0</property>
  57                   </packing>
  58                 </child>
  59                 <child>
  60                   <object class="GtkScrolledWindow" id="scrolledwindow1">
  61                     <property name="visible">True</property>
  62                     <property name="can_focus">True</property>
  63                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  64                     <property name="hscrollbar_policy">automatic</property>
  65                     <property name="vscrollbar_policy">automatic</property>
  66                     <property name="shadow_type">etched-in</property>
  67                     <child>
  68                       <object class="GtkTextView" id="message">
  69                         <property name="visible">True</property>
  70                         <property name="can_focus">True</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="editable">False</property>
  73                         <property name="wrap_mode">word</property>
  74                         <property name="left_margin">6</property>
  75                         <property name="right_margin">6</property>
  76                         <property name="cursor_visible">False</property>
  77                       </object>
  78                     </child>
  79                   </object>
  80                   <packing>
  81                     <property name="position">1</property>
  82                   </packing>
  83                 </child>
  84               </object>
  85               <packing>
  86                 <property name="position">1</property>
  87               </packing>
  88             </child>
  89           </object>
  90           <packing>
  91             <property name="position">1</property>
  92           </packing>
  93         </child>
  94         <child internal-child="action_area">
  95           <object class="GtkHButtonBox" id="dialog-action_area1">
  96             <property name="visible">True</property>
  97             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  98             <property name="layout_style">end</property>
  99             <child>
 100               <object class="GtkButton" id="close-button">
 101                 <property name="label">gtk-close</property>
 102                 <property name="visible">True</property>
 103                 <property name="can_focus">True</property>
 104                 <property name="receives_default">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="use_stock">True</property>
 107               </object>
 108               <packing>
 109                 <property name="expand">False</property>
 110                 <property name="fill">False</property>
 111                 <property name="position">0</property>
 112               </packing>
 113             </child>
 114           </object>
 115           <packing>
 116             <property name="expand">False</property>
 117             <property name="pack_type">end</property>
 118             <property name="position">0</property>
 119           </packing>
 120         </child>
 121       </object>
 122     </child>
 123     <action-widgets>
 124       <action-widget response="0">close-button</action-widget>
 125     </action-widgets>
 126   </object>
 127 </interface>