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_conffile">
7
<property name="border_width">5</property>
8
<property name="visible">True</property>
9
<property name="title" translatable="yes"></property>
10
<property name="type">GTK_WINDOW_TOPLEVEL</property>
11
<property name="window_position">GTK_WIN_POS_NONE</property>
12
<property name="modal">True</property>
13
<property name="resizable">False</property>
14
<property name="destroy_with_parent">False</property>
15
<property name="icon">synaptic_mini.xpm</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="focus_on_map">True</property>
22
<property name="urgency_hint">True</property>
23
<property name="has_separator">False</property>
25
<child internal-child="vbox">
26
<widget class="GtkVBox" id="dialog-vbox1">
27
<property name="visible">True</property>
28
<property name="homogeneous">False</property>
29
<property name="spacing">12</property>
31
<child internal-child="action_area">
32
<widget class="GtkHButtonBox" id="dialog-action_area1">
33
<property name="visible">True</property>
34
<property name="layout_style">GTK_BUTTONBOX_END</property>
37
<widget class="GtkButton" id="button2">
38
<property name="visible">True</property>
39
<property name="can_default">True</property>
40
<property name="has_default">True</property>
41
<property name="can_focus">True</property>
42
<property name="has_focus">True</property>
43
<property name="relief">GTK_RELIEF_NORMAL</property>
44
<property name="focus_on_click">True</property>
45
<property name="response_id">-9</property>
48
<widget class="GtkAlignment" id="alignment3">
49
<property name="visible">True</property>
50
<property name="xalign">0.5</property>
51
<property name="yalign">0.5</property>
52
<property name="xscale">0</property>
53
<property name="yscale">0</property>
54
<property name="top_padding">0</property>
55
<property name="bottom_padding">0</property>
56
<property name="left_padding">0</property>
57
<property name="right_padding">0</property>
60
<widget class="GtkHBox" id="hbox4">
61
<property name="visible">True</property>
62
<property name="homogeneous">False</property>
63
<property name="spacing">2</property>
66
<widget class="GtkImage" id="image3">
67
<property name="visible">True</property>
68
<property name="stock">gtk-cancel</property>
69
<property name="icon_size">4</property>
70
<property name="xalign">0.5</property>
71
<property name="yalign">0.5</property>
72
<property name="xpad">0</property>
73
<property name="ypad">0</property>
76
<property name="padding">0</property>
77
<property name="expand">False</property>
78
<property name="fill">False</property>
83
<widget class="GtkLabel" id="label4">
84
<property name="visible">True</property>
85
<property name="label" translatable="yes">_Keep</property>
86
<property name="use_underline">True</property>
87
<property name="use_markup">False</property>
88
<property name="justify">GTK_JUSTIFY_LEFT</property>
89
<property name="wrap">False</property>
90
<property name="selectable">False</property>
91
<property name="xalign">0.5</property>
92
<property name="yalign">0.5</property>
93
<property name="xpad">0</property>
94
<property name="ypad">0</property>
95
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
96
<property name="width_chars">-1</property>
97
<property name="single_line_mode">False</property>
98
<property name="angle">0</property>
101
<property name="padding">0</property>
102
<property name="expand">False</property>
103
<property name="fill">False</property>
114
<widget class="GtkButton" id="button3">
115
<property name="visible">True</property>
116
<property name="can_default">True</property>
117
<property name="can_focus">True</property>
118
<property name="relief">GTK_RELIEF_NORMAL</property>
119
<property name="focus_on_click">True</property>
120
<property name="response_id">-8</property>
123
<widget class="GtkAlignment" id="alignment2">
124
<property name="visible">True</property>
125
<property name="xalign">0.5</property>
126
<property name="yalign">0.5</property>
127
<property name="xscale">0</property>
128
<property name="yscale">0</property>
129
<property name="top_padding">0</property>
130
<property name="bottom_padding">0</property>
131
<property name="left_padding">0</property>
132
<property name="right_padding">0</property>
135
<widget class="GtkHBox" id="hbox3">
136
<property name="visible">True</property>
137
<property name="homogeneous">False</property>
138
<property name="spacing">2</property>
141
<widget class="GtkImage" id="image2">
142
<property name="visible">True</property>
143
<property name="stock">gtk-ok</property>
144
<property name="icon_size">4</property>
145
<property name="xalign">0.5</property>
146
<property name="yalign">0.5</property>
147
<property name="xpad">0</property>
148
<property name="ypad">0</property>
151
<property name="padding">0</property>
152
<property name="expand">False</property>
153
<property name="fill">False</property>
158
<widget class="GtkLabel" id="label3">
159
<property name="visible">True</property>
160
<property name="label" translatable="yes">_Replace</property>
161
<property name="use_underline">True</property>
162
<property name="use_markup">False</property>
163
<property name="justify">GTK_JUSTIFY_LEFT</property>
164
<property name="wrap">False</property>
165
<property name="selectable">False</property>
166
<property name="xalign">0.5</property>
167
<property name="yalign">0.5</property>
168
<property name="xpad">0</property>
169
<property name="ypad">0</property>
170
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
171
<property name="width_chars">-1</property>
172
<property name="single_line_mode">False</property>
173
<property name="angle">0</property>
176
<property name="padding">0</property>
177
<property name="expand">False</property>
178
<property name="fill">False</property>
189
<property name="padding">0</property>
190
<property name="expand">False</property>
191
<property name="fill">True</property>
192
<property name="pack_type">GTK_PACK_END</property>
197
<widget class="GtkHBox" id="hbox1">
198
<property name="border_width">6</property>
199
<property name="visible">True</property>
200
<property name="homogeneous">False</property>
201
<property name="spacing">12</property>
204
<widget class="GtkImage" id="image">
205
<property name="visible">True</property>
206
<property name="stock">gtk-dialog-question</property>
207
<property name="icon_size">6</property>
208
<property name="xalign">0</property>
209
<property name="yalign">0</property>
210
<property name="xpad">0</property>
211
<property name="ypad">0</property>
214
<property name="padding">0</property>
215
<property name="expand">False</property>
216
<property name="fill">False</property>
221
<widget class="GtkVBox" id="vbox_messages">
222
<property name="visible">True</property>
223
<property name="homogeneous">False</property>
224
<property name="spacing">12</property>
227
<widget class="GtkLabel" id="label_message">
228
<property name="visible">True</property>
229
<property name="label" translatable="yes"></property>
230
<property name="use_underline">False</property>
231
<property name="use_markup">True</property>
232
<property name="justify">GTK_JUSTIFY_LEFT</property>
233
<property name="wrap">True</property>
234
<property name="selectable">False</property>
235
<property name="xalign">0</property>
236
<property name="yalign">0.5</property>
237
<property name="xpad">0</property>
238
<property name="ypad">0</property>
239
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
240
<property name="width_chars">-1</property>
241
<property name="single_line_mode">False</property>
242
<property name="angle">0</property>
245
<property name="padding">0</property>
246
<property name="expand">False</property>
247
<property name="fill">False</property>
252
<property name="padding">0</property>
253
<property name="expand">True</property>
254
<property name="fill">True</property>
259
<property name="padding">0</property>
260
<property name="expand">True</property>
261
<property name="fill">True</property>
266
<widget class="GtkExpander" id="expander1">
267
<property name="visible">True</property>
268
<property name="can_focus">True</property>
269
<property name="expanded">False</property>
270
<property name="spacing">0</property>
273
<widget class="GtkVBox" id="vbox_diff">
274
<property name="visible">True</property>
275
<property name="homogeneous">False</property>
276
<property name="spacing">0</property>
279
<widget class="GtkScrolledWindow" id="scrolledwindow1">
280
<property name="visible">True</property>
281
<property name="can_focus">True</property>
282
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
283
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
284
<property name="shadow_type">GTK_SHADOW_IN</property>
285
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
288
<widget class="GtkTextView" id="textview_diff">
289
<property name="width_request">600</property>
290
<property name="height_request">400</property>
291
<property name="visible">True</property>
292
<property name="can_focus">True</property>
293
<property name="editable">False</property>
294
<property name="overwrite">False</property>
295
<property name="accepts_tab">True</property>
296
<property name="justification">GTK_JUSTIFY_LEFT</property>
297
<property name="wrap_mode">GTK_WRAP_NONE</property>
298
<property name="cursor_visible">False</property>
299
<property name="pixels_above_lines">0</property>
300
<property name="pixels_below_lines">0</property>
301
<property name="pixels_inside_wrap">0</property>
302
<property name="left_margin">0</property>
303
<property name="right_margin">0</property>
304
<property name="indent">0</property>
305
<property name="text" translatable="yes"></property>
310
<property name="padding">0</property>
311
<property name="expand">False</property>
312
<property name="fill">False</property>
319
<widget class="GtkLabel" id="label1">
320
<property name="visible">True</property>
321
<property name="label" translatable="yes">Difference between the files</property>
322
<property name="use_underline">False</property>
323
<property name="use_markup">False</property>
324
<property name="justify">GTK_JUSTIFY_LEFT</property>
325
<property name="wrap">False</property>
326
<property name="selectable">False</property>
327
<property name="xalign">0.5</property>
328
<property name="yalign">0.5</property>
329
<property name="xpad">0</property>
330
<property name="ypad">0</property>
331
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
332
<property name="width_chars">-1</property>
333
<property name="single_line_mode">False</property>
334
<property name="angle">0</property>
337
<property name="type">label_item</property>
342
<property name="padding">0</property>
343
<property name="expand">True</property>
344
<property name="fill">True</property>