Ensure that windows opens the right file for output.
[pspp] / 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.0 on Sat Feb  9 22:47:30 2008 -->
4 <glade-interface>
5   <widget class="GtkDialog" id="message-dialog">
6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7     <property name="border_width">5</property>
8     <property name="title" translatable="yes">Messages Reported</property>
9     <property name="modal">True</property>
10     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
11     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
12     <property name="has_separator">False</property>
13     <child internal-child="vbox">
14       <widget class="GtkVBox" id="dialog-vbox1">
15         <property name="visible">True</property>
16         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
17         <property name="spacing">2</property>
18         <child>
19           <widget class="GtkHBox" id="hbox1">
20             <property name="visible">True</property>
21             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
22             <child>
23               <widget class="GtkImage" id="image1">
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="stock">gtk-dialog-info</property>
27                 <property name="icon_size">6</property>
28               </widget>
29               <packing>
30                 <property name="expand">False</property>
31               </packing>
32             </child>
33             <child>
34               <widget class="GtkVBox" id="vbox1">
35                 <property name="visible">True</property>
36                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
37                 <child>
38                   <widget class="GtkLabel" id="lead-in">
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="xalign">0</property>
42                     <property name="label" translatable="yes">The PSPP processor reported # errors.  The first # and last # are shown below:</property>
43                     <property name="wrap">True</property>
44                   </widget>
45                   <packing>
46                     <property name="expand">False</property>
47                     <property name="fill">False</property>
48                   </packing>
49                 </child>
50                 <child>
51                   <widget class="GtkScrolledWindow" id="scrolledwindow1">
52                     <property name="visible">True</property>
53                     <property name="can_focus">True</property>
54                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
55                     <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
56                     <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
57                     <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
58                     <child>
59                       <widget class="GtkTextView" id="message">
60                         <property name="visible">True</property>
61                         <property name="can_focus">True</property>
62                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
63                         <property name="editable">False</property>
64                         <property name="wrap_mode">GTK_WRAP_WORD</property>
65                         <property name="cursor_visible">False</property>
66                       </widget>
67                     </child>
68                   </widget>
69                   <packing>
70                     <property name="position">1</property>
71                   </packing>
72                 </child>
73               </widget>
74               <packing>
75                 <property name="position">1</property>
76               </packing>
77             </child>
78           </widget>
79           <packing>
80             <property name="position">1</property>
81           </packing>
82         </child>
83         <child internal-child="action_area">
84           <widget class="GtkHButtonBox" id="dialog-action_area1">
85             <property name="visible">True</property>
86             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
87             <property name="layout_style">GTK_BUTTONBOX_END</property>
88             <child>
89               <widget class="GtkButton" id="button1">
90                 <property name="visible">True</property>
91                 <property name="can_focus">True</property>
92                 <property name="receives_default">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="label" translatable="yes">gtk-close</property>
95                 <property name="use_stock">True</property>
96                 <property name="response_id">0</property>
97               </widget>
98             </child>
99           </widget>
100           <packing>
101             <property name="expand">False</property>
102             <property name="pack_type">GTK_PACK_END</property>
103           </packing>
104         </child>
105       </widget>
106     </child>
107   </widget>
108 </glade-interface>