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>
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>
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>
35 <property name="expand">False</property>
36 <property name="position">0</property>
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>
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>
54 <property name="expand">False</property>
55 <property name="fill">False</property>
56 <property name="position">0</property>
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>
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>
81 <property name="position">1</property>
86 <property name="position">1</property>
91 <property name="position">1</property>
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>
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>
109 <property name="expand">False</property>
110 <property name="fill">False</property>
111 <property name="position">0</property>
116 <property name="expand">False</property>
117 <property name="pack_type">end</property>
118 <property name="position">0</property>
124 <action-widget response="0">close-button</action-widget>