1069fc1b09f95186cf0e97cff3ebabb101bb7779
[pspp-builds.git] / 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>