1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
6 <widget class="GtkDialog" id="dialog">
7 <property name="border_width">6</property>
8 <property name="title" translatable="yes">dialog1</property>
9 <property name="type">GTK_WINDOW_TOPLEVEL</property>
10 <property name="window_position">GTK_WIN_POS_NONE</property>
11 <property name="modal">False</property>
12 <property name="default_width">400</property>
13 <property name="default_height">300</property>
14 <property name="resizable">True</property>
15 <property name="destroy_with_parent">False</property>
16 <property name="decorated">True</property>
17 <property name="skip_taskbar_hint">False</property>
18 <property name="skip_pager_hint">False</property>
19 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
20 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
21 <property name="has_separator">False</property>
23 <child internal-child="vbox">
24 <widget class="GtkVBox" id="dialog-vbox1">
25 <property name="visible">True</property>
26 <property name="homogeneous">False</property>
27 <property name="spacing">0</property>
29 <child internal-child="action_area">
30 <widget class="GtkHButtonBox" id="dialog-action_area1">
31 <property name="visible">True</property>
32 <property name="layout_style">GTK_BUTTONBOX_END</property>
35 <widget class="GtkButton" id="Close">
36 <property name="visible">True</property>
37 <property name="can_default">True</property>
38 <property name="can_focus">True</property>
39 <property name="label">gtk-close</property>
40 <property name="use_stock">True</property>
41 <property name="relief">GTK_RELIEF_NORMAL</property>
42 <property name="focus_on_click">True</property>
43 <property name="response_id">-7</property>
44 <accelerator key="Escape" modifiers="0" signal="clicked"/>
49 <property name="padding">0</property>
50 <property name="expand">False</property>
51 <property name="fill">True</property>
52 <property name="pack_type">GTK_PACK_END</property>
57 <widget class="GtkVPaned" id="vpaned1">
58 <property name="visible">True</property>
59 <property name="can_focus">True</property>
62 <widget class="GtkScrolledWindow" id="scrolledwindow1">
63 <property name="visible">True</property>
64 <property name="can_focus">True</property>
65 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
66 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
67 <property name="shadow_type">GTK_SHADOW_IN</property>
68 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
71 <widget class="GtkTreeView" id="ErrorList">
72 <property name="width_request">150</property>
73 <property name="visible">True</property>
74 <property name="can_focus">True</property>
75 <property name="headers_visible">False</property>
76 <property name="rules_hint">False</property>
77 <property name="reorderable">False</property>
78 <property name="enable_search">True</property>
83 <property name="shrink">True</property>
84 <property name="resize">False</property>
89 <widget class="GtkScrolledWindow" id="scrolledwindow2">
90 <property name="visible">True</property>
91 <property name="can_focus">True</property>
92 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
93 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
94 <property name="shadow_type">GTK_SHADOW_IN</property>
95 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
98 <widget class="GtkTextView" id="ErrorDescription">
99 <property name="visible">True</property>
100 <property name="can_focus">True</property>
101 <property name="editable">False</property>
102 <property name="overwrite">False</property>
103 <property name="accepts_tab">True</property>
104 <property name="justification">GTK_JUSTIFY_LEFT</property>
105 <property name="wrap_mode">GTK_WRAP_WORD</property>
106 <property name="cursor_visible">False</property>
107 <property name="pixels_above_lines">0</property>
108 <property name="pixels_below_lines">0</property>
109 <property name="pixels_inside_wrap">0</property>
110 <property name="left_margin">0</property>
111 <property name="right_margin">0</property>
112 <property name="indent">0</property>
113 <property name="text" translatable="yes"></property>
118 <property name="shrink">True</property>
119 <property name="resize">True</property>
124 <property name="padding">0</property>
125 <property name="expand">True</property>
126 <property name="fill">True</property>
127 <property name="pack_type">GTK_PACK_END</property>