← Back to branch summary

~ubuntu-branches/ubuntu/saucy/monodevelop/saucy-proposed

« back to all changes in this revision

Viewing changes to src/core/MonoDevelop.Core.Gui/Base.glade

  • Committer: Bazaar Package Importer
  • Author(s): Jo Shields
  • Date: 2010-09-10 16:54:48 UTC
  • mfrom: (19.1.1 experimental)
  • Revision ID: james.westby@ubuntu.com-20100910165448-0rybfk25zd4o9431
Tags: 2.4+dfsg-2
* debian/patches/inject_Mono.Debugger.Soft_source.patch,
  debian/patches/use_system_Mono.Debugger.Soft.patch,
  debian/control:
  + Build against system Soft Debugger, since we now have a new
    enough Mono to match MonoDevelop's required API

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/core/MonoDevelop.Core.Gui/Base.glade
1
 
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
 
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
 
 
4
 
<glade-interface>
5
 
 
6
 
<widget class="GtkDialog" id="TreeViewOptionDialog">
7
 
  <property name="border_width">6</property>
8
 
  <property name="width_request">770</property>
9
 
  <property name="height_request">545</property>
10
 
  <property name="visible">True</property>
11
 
  <property name="title" translatable="yes">Options</property>
12
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
13
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
14
 
  <property name="modal">False</property>
15
 
  <property name="resizable">True</property>
16
 
  <property name="destroy_with_parent">False</property>
17
 
  <property name="decorated">True</property>
18
 
  <property name="skip_taskbar_hint">False</property>
19
 
  <property name="skip_pager_hint">False</property>
20
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
21
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
22
 
  <property name="focus_on_map">True</property>
23
 
  <property name="urgency_hint">False</property>
24
 
  <property name="has_separator">True</property>
25
 
 
26
 
  <child internal-child="vbox">
27
 
    <widget class="GtkVBox" id="MainBox">
28
 
      <property name="visible">True</property>
29
 
      <property name="homogeneous">False</property>
30
 
      <property name="spacing">7</property>
31
 
 
32
 
      <child internal-child="action_area">
33
 
        <widget class="GtkHButtonBox" id="ActionArea">
34
 
          <property name="visible">True</property>
35
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
36
 
 
37
 
          <child>
38
 
            <widget class="GtkButton" id="cancelbutton">
39
 
              <property name="visible">True</property>
40
 
              <property name="can_default">True</property>
41
 
              <property name="can_focus">True</property>
42
 
              <property name="label">gtk-cancel</property>
43
 
              <property name="use_stock">True</property>
44
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
45
 
              <property name="focus_on_click">True</property>
46
 
              <property name="response_id">-6</property>
47
 
              <signal name="clicked" handler="CancelEvent" last_modification_time="Thu, 15 Jan 2004 07:06:35 GMT"/>
48
 
            </widget>
49
 
          </child>
50
 
 
51
 
          <child>
52
 
            <widget class="GtkButton" id="okbutton">
53
 
              <property name="visible">True</property>
54
 
              <property name="can_default">True</property>
55
 
              <property name="can_focus">True</property>
56
 
              <property name="label">gtk-ok</property>
57
 
              <property name="use_stock">True</property>
58
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
59
 
              <property name="focus_on_click">True</property>
60
 
              <property name="response_id">-5</property>
61
 
              <signal name="clicked" handler="AcceptEvent" last_modification_time="Thu, 15 Jan 2004 07:06:24 GMT"/>
62
 
            </widget>
63
 
          </child>
64
 
        </widget>
65
 
        <packing>
66
 
          <property name="padding">0</property>
67
 
          <property name="expand">False</property>
68
 
          <property name="fill">True</property>
69
 
          <property name="pack_type">GTK_PACK_END</property>
70
 
        </packing>
71
 
      </child>
72
 
 
73
 
      <child>
74
 
        <widget class="GtkHBox" id="DisplayBox">
75
 
          <property name="border_width">6</property>
76
 
          <property name="visible">True</property>
77
 
          <property name="homogeneous">False</property>
78
 
          <property name="spacing">12</property>
79
 
 
80
 
          <child>
81
 
            <widget class="GtkVBox" id="TreeViewContainer">
82
 
              <property name="visible">True</property>
83
 
              <property name="homogeneous">False</property>
84
 
              <property name="spacing">6</property>
85
 
 
86
 
              <child>
87
 
                <widget class="GtkLabel" id="label33">
88
 
                  <property name="visible">True</property>
89
 
                  <property name="label" translatable="yes">Cat_egories:</property>
90
 
                  <property name="use_underline">True</property>
91
 
                  <property name="use_markup">False</property>
92
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
93
 
                  <property name="wrap">False</property>
94
 
                  <property name="selectable">False</property>
95
 
                  <property name="xalign">0</property>
96
 
                  <property name="yalign">0.5</property>
97
 
                  <property name="xpad">0</property>
98
 
                  <property name="ypad">0</property>
99
 
                  <property name="mnemonic_widget">TreeView</property>
100
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
101
 
                  <property name="width_chars">-1</property>
102
 
                  <property name="single_line_mode">False</property>
103
 
                  <property name="angle">0</property>
104
 
                </widget>
105
 
                <packing>
106
 
                  <property name="padding">0</property>
107
 
                  <property name="expand">False</property>
108
 
                  <property name="fill">False</property>
109
 
                </packing>
110
 
              </child>
111
 
 
112
 
              <child>
113
 
                <widget class="GtkScrolledWindow" id="TreeViewScrolledWindow">
114
 
                  <property name="visible">True</property>
115
 
                  <property name="can_focus">True</property>
116
 
                  <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
117
 
                  <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
118
 
                  <property name="shadow_type">GTK_SHADOW_IN</property>
119
 
                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
120
 
 
121
 
                  <child>
122
 
                    <widget class="GtkTreeView" id="TreeView">
123
 
                      <property name="width_request">195</property>
124
 
                      <property name="visible">True</property>
125
 
                      <property name="can_focus">True</property>
126
 
                      <property name="headers_visible">False</property>
127
 
                      <property name="rules_hint">False</property>
128
 
                      <property name="reorderable">False</property>
129
 
                      <property name="enable_search">True</property>
130
 
                      <property name="fixed_height_mode">False</property>
131
 
                      <property name="hover_selection">False</property>
132
 
                      <property name="hover_expand">False</property>
133
 
                      <signal name="button_release_event" handler="OnButtonRelease" last_modification_time="Thu, 04 Mar 2004 06:11:16 GMT"/>
134
 
                    </widget>
135
 
                  </child>
136
 
                </widget>
137
 
                <packing>
138
 
                  <property name="padding">0</property>
139
 
                  <property name="expand">True</property>
140
 
                  <property name="fill">True</property>
141
 
                </packing>
142
 
              </child>
143
 
            </widget>
144
 
            <packing>
145
 
              <property name="padding">0</property>
146
 
              <property name="expand">False</property>
147
 
              <property name="fill">True</property>
148
 
            </packing>
149
 
          </child>
150
 
 
151
 
          <child>
152
 
            <widget class="GtkVBox" id="optionPanel">
153
 
              <property name="visible">True</property>
154
 
              <property name="homogeneous">False</property>
155
 
              <property name="spacing">0</property>
156
 
 
157
 
              <child>
158
 
                <widget class="GtkVBox" id="vbox30">
159
 
                  <property name="visible">True</property>
160
 
                  <property name="homogeneous">False</property>
161
 
                  <property name="spacing">6</property>
162
 
 
163
 
                  <child>
164
 
                    <widget class="GtkHBox" id="hbox20">
165
 
                      <property name="visible">True</property>
166
 
                      <property name="homogeneous">False</property>
167
 
                      <property name="spacing">6</property>
168
 
 
169
 
                      <child>
170
 
                        <widget class="GtkImage" id="panelImage">
171
 
                          <property name="visible">True</property>
172
 
                          <property name="stock">gtk-preferences</property>
173
 
                          <property name="icon_size">3</property>
174
 
                          <property name="xalign">0.5</property>
175
 
                          <property name="yalign">0.5</property>
176
 
                          <property name="xpad">0</property>
177
 
                          <property name="ypad">0</property>
178
 
                        </widget>
179
 
                        <packing>
180
 
                          <property name="padding">0</property>
181
 
                          <property name="expand">False</property>
182
 
                          <property name="fill">False</property>
183
 
                        </packing>
184
 
                      </child>
185
 
 
186
 
                      <child>
187
 
                        <widget class="GtkLabel" id="optionTitle">
188
 
                          <property name="visible">True</property>
189
 
                          <property name="label">&lt;span weight=&quot;bold&quot; size=&quot;x-large&quot;&gt;Title&lt;/span&gt;</property>
190
 
                          <property name="use_underline">False</property>
191
 
                          <property name="use_markup">True</property>
192
 
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
193
 
                          <property name="wrap">False</property>
194
 
                          <property name="selectable">False</property>
195
 
                          <property name="xalign">0.5</property>
196
 
                          <property name="yalign">0.5</property>
197
 
                          <property name="xpad">0</property>
198
 
                          <property name="ypad">0</property>
199
 
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
200
 
                          <property name="width_chars">-1</property>
201
 
                          <property name="single_line_mode">False</property>
202
 
                          <property name="angle">0</property>
203
 
                        </widget>
204
 
                        <packing>
205
 
                          <property name="padding">0</property>
206
 
                          <property name="expand">False</property>
207
 
                          <property name="fill">False</property>
208
 
                        </packing>
209
 
                      </child>
210
 
                    </widget>
211
 
                    <packing>
212
 
                      <property name="padding">0</property>
213
 
                      <property name="expand">True</property>
214
 
                      <property name="fill">True</property>
215
 
                    </packing>
216
 
                  </child>
217
 
 
218
 
                  <child>
219
 
                    <widget class="GtkHSeparator" id="hseparator1">
220
 
                      <property name="visible">True</property>
221
 
                    </widget>
222
 
                    <packing>
223
 
                      <property name="padding">0</property>
224
 
                      <property name="expand">True</property>
225
 
                      <property name="fill">True</property>
226
 
                    </packing>
227
 
                  </child>
228
 
                </widget>
229
 
                <packing>
230
 
                  <property name="padding">6</property>
231
 
                  <property name="expand">False</property>
232
 
                  <property name="fill">True</property>
233
 
                </packing>
234
 
              </child>
235
 
 
236
 
              <child>
237
 
                <widget class="GtkNotebook" id="mainBook">
238
 
                  <property name="visible">True</property>
239
 
                  <property name="show_tabs">False</property>
240
 
                  <property name="show_border">False</property>
241
 
                  <property name="tab_pos">GTK_POS_TOP</property>
242
 
                  <property name="scrollable">False</property>
243
 
                  <property name="enable_popup">False</property>
244
 
 
245
 
                  <child>
246
 
                    <widget class="GtkFrame" id="frame1">
247
 
                      <property name="visible">True</property>
248
 
                      <property name="label_xalign">0</property>
249
 
                      <property name="label_yalign">0.5</property>
250
 
                      <property name="shadow_type">GTK_SHADOW_NONE</property>
251
 
 
252
 
                      <child>
253
 
                        <placeholder/>
254
 
                      </child>
255
 
 
256
 
                      <child>
257
 
                        <widget class="GtkLabel" id="label5">
258
 
                          <property name="visible">True</property>
259
 
                          <property name="label" translatable="no"></property>
260
 
                          <property name="use_underline">False</property>
261
 
                          <property name="use_markup">False</property>
262
 
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
263
 
                          <property name="wrap">False</property>
264
 
                          <property name="selectable">False</property>
265
 
                          <property name="xalign">0.5</property>
266
 
                          <property name="yalign">0.5</property>
267
 
                          <property name="xpad">0</property>
268
 
                          <property name="ypad">0</property>
269
 
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
270
 
                          <property name="width_chars">-1</property>
271
 
                          <property name="single_line_mode">False</property>
272
 
                          <property name="angle">0</property>
273
 
                        </widget>
274
 
                        <packing>
275
 
                          <property name="type">label_item</property>
276
 
                        </packing>
277
 
                      </child>
278
 
                    </widget>
279
 
                    <packing>
280
 
                      <property name="tab_expand">False</property>
281
 
                      <property name="tab_fill">True</property>
282
 
                    </packing>
283
 
                  </child>
284
 
 
285
 
                  <child>
286
 
                    <widget class="GtkLabel" id="label4">
287
 
                      <property name="visible">True</property>
288
 
                      <property name="label" translatable="no"> </property>
289
 
                      <property name="use_underline">False</property>
290
 
                      <property name="use_markup">False</property>
291
 
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
292
 
                      <property name="wrap">False</property>
293
 
                      <property name="selectable">False</property>
294
 
                      <property name="xalign">0.5</property>
295
 
                      <property name="yalign">0.5</property>
296
 
                      <property name="xpad">0</property>
297
 
                      <property name="ypad">0</property>
298
 
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
299
 
                      <property name="width_chars">-1</property>
300
 
                      <property name="single_line_mode">False</property>
301
 
                      <property name="angle">0</property>
302
 
                    </widget>
303
 
                    <packing>
304
 
                      <property name="type">tab</property>
305
 
                    </packing>
306
 
                  </child>
307
 
                </widget>
308
 
                <packing>
309
 
                  <property name="padding">0</property>
310
 
                  <property name="expand">True</property>
311
 
                  <property name="fill">True</property>
312
 
                </packing>
313
 
              </child>
314
 
            </widget>
315
 
            <packing>
316
 
              <property name="padding">0</property>
317
 
              <property name="expand">True</property>
318
 
              <property name="fill">True</property>
319
 
            </packing>
320
 
          </child>
321
 
        </widget>
322
 
        <packing>
323
 
          <property name="padding">0</property>
324
 
          <property name="expand">True</property>
325
 
          <property name="fill">True</property>
326
 
        </packing>
327
 
      </child>
328
 
    </widget>
329
 
  </child>
330
 
</widget>
331
 
 
332
 
<widget class="GtkDialog" id="ErrorDialog">
333
 
  <property name="border_width">6</property>
334
 
  <property name="visible">True</property>
335
 
  <property name="title" translatable="yes">MonoDevelop</property>
336
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
337
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
338
 
  <property name="modal">True</property>
339
 
  <property name="resizable">True</property>
340
 
  <property name="destroy_with_parent">False</property>
341
 
  <property name="decorated">True</property>
342
 
  <property name="skip_taskbar_hint">False</property>
343
 
  <property name="skip_pager_hint">False</property>
344
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
345
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
346
 
  <property name="focus_on_map">True</property>
347
 
  <property name="urgency_hint">False</property>
348
 
  <property name="has_separator">True</property>
349
 
 
350
 
  <child internal-child="vbox">
351
 
    <widget class="GtkVBox" id="dialog-vbox5">
352
 
      <property name="visible">True</property>
353
 
      <property name="homogeneous">False</property>
354
 
      <property name="spacing">0</property>
355
 
 
356
 
      <child internal-child="action_area">
357
 
        <widget class="GtkHButtonBox" id="dialog-action_area5">
358
 
          <property name="visible">True</property>
359
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
360
 
 
361
 
          <child>
362
 
            <widget class="GtkButton" id="okButton">
363
 
              <property name="visible">True</property>
364
 
              <property name="can_default">True</property>
365
 
              <property name="can_focus">True</property>
366
 
              <property name="label">gtk-ok</property>
367
 
              <property name="use_stock">True</property>
368
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
369
 
              <property name="focus_on_click">True</property>
370
 
              <property name="response_id">-5</property>
371
 
            </widget>
372
 
          </child>
373
 
        </widget>
374
 
        <packing>
375
 
          <property name="padding">0</property>
376
 
          <property name="expand">False</property>
377
 
          <property name="fill">True</property>
378
 
          <property name="pack_type">GTK_PACK_END</property>
379
 
        </packing>
380
 
      </child>
381
 
 
382
 
      <child>
383
 
        <widget class="GtkHBox" id="hbox59">
384
 
          <property name="border_width">6</property>
385
 
          <property name="visible">True</property>
386
 
          <property name="homogeneous">False</property>
387
 
          <property name="spacing">6</property>
388
 
 
389
 
          <child>
390
 
            <widget class="GtkVBox" id="vbox72">
391
 
              <property name="visible">True</property>
392
 
              <property name="homogeneous">False</property>
393
 
              <property name="spacing">0</property>
394
 
 
395
 
              <child>
396
 
                <widget class="GtkImage" id="icon">
397
 
                  <property name="visible">True</property>
398
 
                  <property name="stock">gtk-dialog-error</property>
399
 
                  <property name="icon_size">6</property>
400
 
                  <property name="xalign">0.5</property>
401
 
                  <property name="yalign">0.5</property>
402
 
                  <property name="xpad">0</property>
403
 
                  <property name="ypad">0</property>
404
 
                </widget>
405
 
                <packing>
406
 
                  <property name="padding">0</property>
407
 
                  <property name="expand">False</property>
408
 
                  <property name="fill">False</property>
409
 
                </packing>
410
 
              </child>
411
 
            </widget>
412
 
            <packing>
413
 
              <property name="padding">0</property>
414
 
              <property name="expand">False</property>
415
 
              <property name="fill">False</property>
416
 
            </packing>
417
 
          </child>
418
 
 
419
 
          <child>
420
 
            <widget class="GtkVBox" id="vbox73">
421
 
              <property name="visible">True</property>
422
 
              <property name="homogeneous">False</property>
423
 
              <property name="spacing">12</property>
424
 
 
425
 
              <child>
426
 
                <widget class="GtkLabel" id="descriptionLabel">
427
 
                  <property name="width_request">540</property>
428
 
                  <property name="visible">True</property>
429
 
                  <property name="can_focus">True</property>
430
 
                  <property name="label">An exception has been thrown 1 2 3 4 5 6 7 8 9 10 11 12 13 14</property>
431
 
                  <property name="use_underline">False</property>
432
 
                  <property name="use_markup">False</property>
433
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
434
 
                  <property name="wrap">True</property>
435
 
                  <property name="selectable">True</property>
436
 
                  <property name="xalign">0</property>
437
 
                  <property name="yalign">0.5</property>
438
 
                  <property name="xpad">0</property>
439
 
                  <property name="ypad">0</property>
440
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
441
 
                  <property name="width_chars">-1</property>
442
 
                  <property name="single_line_mode">False</property>
443
 
                  <property name="angle">0</property>
444
 
                </widget>
445
 
                <packing>
446
 
                  <property name="padding">0</property>
447
 
                  <property name="expand">False</property>
448
 
                  <property name="fill">False</property>
449
 
                </packing>
450
 
              </child>
451
 
 
452
 
              <child>
453
 
                <widget class="GtkExpander" id="expander">
454
 
                  <property name="visible">True</property>
455
 
                  <property name="can_focus">True</property>
456
 
                  <property name="expanded">False</property>
457
 
                  <property name="spacing">0</property>
458
 
 
459
 
                  <child>
460
 
                    <widget class="GtkScrolledWindow" id="scrolledwindow10">
461
 
                      <property name="visible">True</property>
462
 
                      <property name="can_focus">True</property>
463
 
                      <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
464
 
                      <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
465
 
                      <property name="shadow_type">GTK_SHADOW_IN</property>
466
 
                      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
467
 
 
468
 
                      <child>
469
 
                        <widget class="GtkTextView" id="detailsTextView">
470
 
                          <property name="height_request">250</property>
471
 
                          <property name="visible">True</property>
472
 
                          <property name="can_focus">True</property>
473
 
                          <property name="editable">True</property>
474
 
                          <property name="overwrite">False</property>
475
 
                          <property name="accepts_tab">True</property>
476
 
                          <property name="justification">GTK_JUSTIFY_LEFT</property>
477
 
                          <property name="wrap_mode">GTK_WRAP_NONE</property>
478
 
                          <property name="cursor_visible">True</property>
479
 
                          <property name="pixels_above_lines">2</property>
480
 
                          <property name="pixels_below_lines">2</property>
481
 
                          <property name="pixels_inside_wrap">0</property>
482
 
                          <property name="left_margin">6</property>
483
 
                          <property name="right_margin">6</property>
484
 
                          <property name="indent">0</property>
485
 
                          <property name="text" translatable="yes"></property>
486
 
                        </widget>
487
 
                      </child>
488
 
                    </widget>
489
 
                  </child>
490
 
 
491
 
                  <child>
492
 
                    <widget class="GtkLabel" id="label102">
493
 
                      <property name="visible">True</property>
494
 
                      <property name="label" translatable="yes">Details</property>
495
 
                      <property name="use_underline">False</property>
496
 
                      <property name="use_markup">False</property>
497
 
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
498
 
                      <property name="wrap">False</property>
499
 
                      <property name="selectable">False</property>
500
 
                      <property name="xalign">0.5</property>
501
 
                      <property name="yalign">0.5</property>
502
 
                      <property name="xpad">0</property>
503
 
                      <property name="ypad">0</property>
504
 
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
505
 
                      <property name="width_chars">-1</property>
506
 
                      <property name="single_line_mode">False</property>
507
 
                      <property name="angle">0</property>
508
 
                    </widget>
509
 
                    <packing>
510
 
                      <property name="type">label_item</property>
511
 
                    </packing>
512
 
                  </child>
513
 
                </widget>
514
 
                <packing>
515
 
                  <property name="padding">0</property>
516
 
                  <property name="expand">True</property>
517
 
                  <property name="fill">True</property>
518
 
                </packing>
519
 
              </child>
520
 
            </widget>
521
 
            <packing>
522
 
              <property name="padding">0</property>
523
 
              <property name="expand">True</property>
524
 
              <property name="fill">True</property>
525
 
            </packing>
526
 
          </child>
527
 
        </widget>
528
 
        <packing>
529
 
          <property name="padding">0</property>
530
 
          <property name="expand">True</property>
531
 
          <property name="fill">True</property>
532
 
        </packing>
533
 
      </child>
534
 
    </widget>
535
 
  </child>
536
 
</widget>
537
 
 
538
 
<widget class="GtkDialog" id="AddinManagerDialog">
539
 
  <property name="visible">True</property>
540
 
  <property name="title" translatable="yes">MonoDevelop Add-in Manager</property>
541
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
542
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
543
 
  <property name="modal">False</property>
544
 
  <property name="default_width">700</property>
545
 
  <property name="default_height">550</property>
546
 
  <property name="resizable">True</property>
547
 
  <property name="destroy_with_parent">False</property>
548
 
  <property name="decorated">True</property>
549
 
  <property name="skip_taskbar_hint">False</property>
550
 
  <property name="skip_pager_hint">False</property>
551
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
552
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
553
 
  <property name="focus_on_map">True</property>
554
 
  <property name="urgency_hint">False</property>
555
 
  <property name="has_separator">True</property>
556
 
 
557
 
  <child internal-child="vbox">
558
 
    <widget class="GtkVBox" id="dialog-vbox8">
559
 
      <property name="visible">True</property>
560
 
      <property name="homogeneous">False</property>
561
 
      <property name="spacing">0</property>
562
 
 
563
 
      <child internal-child="action_area">
564
 
        <widget class="GtkHButtonBox" id="dialog-action_area8">
565
 
          <property name="visible">True</property>
566
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
567
 
 
568
 
          <child>
569
 
            <widget class="GtkButton" id="btnClose">
570
 
              <property name="visible">True</property>
571
 
              <property name="can_default">True</property>
572
 
              <property name="can_focus">True</property>
573
 
              <property name="label">gtk-close</property>
574
 
              <property name="use_stock">True</property>
575
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
576
 
              <property name="focus_on_click">True</property>
577
 
              <property name="response_id">-7</property>
578
 
            </widget>
579
 
          </child>
580
 
        </widget>
581
 
        <packing>
582
 
          <property name="padding">0</property>
583
 
          <property name="expand">False</property>
584
 
          <property name="fill">True</property>
585
 
          <property name="pack_type">GTK_PACK_END</property>
586
 
        </packing>
587
 
      </child>
588
 
 
589
 
      <child>
590
 
        <widget class="GtkVBox" id="vbox93">
591
 
          <property name="border_width">12</property>
592
 
          <property name="visible">True</property>
593
 
          <property name="homogeneous">False</property>
594
 
          <property name="spacing">6</property>
595
 
 
596
 
          <child>
597
 
            <widget class="GtkHBox" id="hbox85">
598
 
              <property name="visible">True</property>
599
 
              <property name="homogeneous">False</property>
600
 
              <property name="spacing">12</property>
601
 
 
602
 
              <child>
603
 
                <widget class="GtkImage" id="imageInstall">
604
 
                  <property name="visible">True</property>
605
 
                  <property name="stock">gtk-dialog-warning</property>
606
 
                  <property name="icon_size">6</property>
607
 
                  <property name="xalign">0.5</property>
608
 
                  <property name="yalign">0</property>
609
 
                  <property name="xpad">0</property>
610
 
                  <property name="ypad">0</property>
611
 
                </widget>
612
 
                <packing>
613
 
                  <property name="padding">0</property>
614
 
                  <property name="expand">False</property>
615
 
                  <property name="fill">False</property>
616
 
                </packing>
617
 
              </child>
618
 
 
619
 
              <child>
620
 
                <widget class="GtkLabel" id="label144">
621
 
                  <property name="visible">True</property>
622
 
                  <property name="label" translatable="yes">&lt;big&gt;&lt;b&gt;MonoDevelop Add-in Manager&lt;/b&gt;&lt;/big&gt;</property>
623
 
                  <property name="use_underline">False</property>
624
 
                  <property name="use_markup">True</property>
625
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
626
 
                  <property name="wrap">False</property>
627
 
                  <property name="selectable">False</property>
628
 
                  <property name="xalign">0.5</property>
629
 
                  <property name="yalign">0.5</property>
630
 
                  <property name="xpad">0</property>
631
 
                  <property name="ypad">0</property>
632
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
633
 
                  <property name="width_chars">-1</property>
634
 
                  <property name="single_line_mode">False</property>
635
 
                  <property name="angle">0</property>
636
 
                </widget>
637
 
                <packing>
638
 
                  <property name="padding">0</property>
639
 
                  <property name="expand">False</property>
640
 
                  <property name="fill">False</property>
641
 
                </packing>
642
 
              </child>
643
 
            </widget>
644
 
            <packing>
645
 
              <property name="padding">0</property>
646
 
              <property name="expand">False</property>
647
 
              <property name="fill">False</property>
648
 
            </packing>
649
 
          </child>
650
 
 
651
 
          <child>
652
 
            <widget class="GtkHBox" id="hbox73">
653
 
              <property name="visible">True</property>
654
 
              <property name="homogeneous">False</property>
655
 
              <property name="spacing">12</property>
656
 
 
657
 
              <child>
658
 
                <widget class="GtkLabel" id="label134">
659
 
                  <property name="visible">True</property>
660
 
                  <property name="label" translatable="yes">The following add-ins are currently installed:</property>
661
 
                  <property name="use_underline">False</property>
662
 
                  <property name="use_markup">False</property>
663
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
664
 
                  <property name="wrap">False</property>
665
 
                  <property name="selectable">False</property>
666
 
                  <property name="xalign">0</property>
667
 
                  <property name="yalign">0.5</property>
668
 
                  <property name="xpad">0</property>
669
 
                  <property name="ypad">0</property>
670
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
671
 
                  <property name="width_chars">-1</property>
672
 
                  <property name="single_line_mode">False</property>
673
 
                  <property name="angle">0</property>
674
 
                </widget>
675
 
                <packing>
676
 
                  <property name="padding">0</property>
677
 
                  <property name="expand">False</property>
678
 
                  <property name="fill">False</property>
679
 
                </packing>
680
 
              </child>
681
 
            </widget>
682
 
            <packing>
683
 
              <property name="padding">0</property>
684
 
              <property name="expand">False</property>
685
 
              <property name="fill">False</property>
686
 
            </packing>
687
 
          </child>
688
 
 
689
 
          <child>
690
 
            <widget class="GtkHBox" id="hbox65">
691
 
              <property name="visible">True</property>
692
 
              <property name="homogeneous">False</property>
693
 
              <property name="spacing">12</property>
694
 
 
695
 
              <child>
696
 
                <widget class="GtkHBox" id="hbox72">
697
 
                  <property name="visible">True</property>
698
 
                  <property name="homogeneous">False</property>
699
 
                  <property name="spacing">12</property>
700
 
 
701
 
                  <child>
702
 
                    <widget class="GtkScrolledWindow" id="scrolledwindow13">
703
 
                      <property name="visible">True</property>
704
 
                      <property name="can_focus">True</property>
705
 
                      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
706
 
                      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
707
 
                      <property name="shadow_type">GTK_SHADOW_IN</property>
708
 
                      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
709
 
 
710
 
                      <child>
711
 
                        <widget class="GtkTreeView" id="addinTree">
712
 
                          <property name="visible">True</property>
713
 
                          <property name="can_focus">True</property>
714
 
                          <property name="headers_visible">True</property>
715
 
                          <property name="rules_hint">False</property>
716
 
                          <property name="reorderable">False</property>
717
 
                          <property name="enable_search">True</property>
718
 
                          <property name="fixed_height_mode">False</property>
719
 
                          <property name="hover_selection">False</property>
720
 
                          <property name="hover_expand">False</property>
721
 
                          <signal name="cursor_changed" handler="OnSelectionChanged" last_modification_time="Fri, 07 Oct 2005 14:04:52 GMT"/>
722
 
                        </widget>
723
 
                      </child>
724
 
                    </widget>
725
 
                    <packing>
726
 
                      <property name="padding">0</property>
727
 
                      <property name="expand">True</property>
728
 
                      <property name="fill">True</property>
729
 
                    </packing>
730
 
                  </child>
731
 
 
732
 
                  <child>
733
 
                    <widget class="GtkVBox" id="vbox933">
734
 
                      <property name="visible">True</property>
735
 
                      <property name="homogeneous">False</property>
736
 
                      <property name="spacing">5</property>
737
 
 
738
 
                      <child>
739
 
                        <widget class="GtkButton" id="btnInstall">
740
 
                          <property name="visible">True</property>
741
 
                          <property name="can_focus">True</property>
742
 
                          <property name="relief">GTK_RELIEF_NORMAL</property>
743
 
                          <property name="focus_on_click">True</property>
744
 
                          <signal name="clicked" handler="OnInstall" last_modification_time="Wed, 05 Oct 2005 16:28:40 GMT"/>
745
 
 
746
 
                          <child>
747
 
                            <widget class="GtkAlignment" id="alignment3">
748
 
                              <property name="visible">True</property>
749
 
                              <property name="xalign">0.5</property>
750
 
                              <property name="yalign">0.5</property>
751
 
                              <property name="xscale">0</property>
752
 
                              <property name="yscale">0</property>
753
 
                              <property name="top_padding">0</property>
754
 
                              <property name="bottom_padding">0</property>
755
 
                              <property name="left_padding">0</property>
756
 
                              <property name="right_padding">0</property>
757
 
 
758
 
                              <child>
759
 
                                <widget class="GtkHBox" id="hbox76">
760
 
                                  <property name="visible">True</property>
761
 
                                  <property name="homogeneous">False</property>
762
 
                                  <property name="spacing">2</property>
763
 
 
764
 
                                  <child>
765
 
                                    <widget class="GtkImage" id="image5">
766
 
                                      <property name="visible">True</property>
767
 
                                      <property name="stock">gtk-add</property>
768
 
                                      <property name="icon_size">4</property>
769
 
                                      <property name="xalign">0.5</property>
770
 
                                      <property name="yalign">0.5</property>
771
 
                                      <property name="xpad">0</property>
772
 
                                      <property name="ypad">0</property>
773
 
                                    </widget>
774
 
                                    <packing>
775
 
                                      <property name="padding">0</property>
776
 
                                      <property name="expand">False</property>
777
 
                                      <property name="fill">False</property>
778
 
                                    </packing>
779
 
                                  </child>
780
 
 
781
 
                                  <child>
782
 
                                    <widget class="GtkLabel" id="label137">
783
 
                                      <property name="visible">True</property>
784
 
                                      <property name="label" translatable="yes">_Install Add-ins...</property>
785
 
                                      <property name="use_underline">True</property>
786
 
                                      <property name="use_markup">False</property>
787
 
                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
788
 
                                      <property name="wrap">False</property>
789
 
                                      <property name="selectable">False</property>
790
 
                                      <property name="xalign">0.5</property>
791
 
                                      <property name="yalign">0.5</property>
792
 
                                      <property name="xpad">0</property>
793
 
                                      <property name="ypad">0</property>
794
 
                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
795
 
                                      <property name="width_chars">-1</property>
796
 
                                      <property name="single_line_mode">False</property>
797
 
                                      <property name="angle">0</property>
798
 
                                    </widget>
799
 
                                    <packing>
800
 
                                      <property name="padding">0</property>
801
 
                                      <property name="expand">False</property>
802
 
                                      <property name="fill">False</property>
803
 
                                    </packing>
804
 
                                  </child>
805
 
                                </widget>
806
 
                              </child>
807
 
                            </widget>
808
 
                          </child>
809
 
                        </widget>
810
 
                        <packing>
811
 
                          <property name="padding">0</property>
812
 
                          <property name="expand">False</property>
813
 
                          <property name="fill">False</property>
814
 
                        </packing>
815
 
                      </child>
816
 
 
817
 
                      <child>
818
 
                        <widget class="GtkButton" id="button3">
819
 
                          <property name="visible">True</property>
820
 
                          <property name="can_focus">True</property>
821
 
                          <property name="label" translatable="yes">_Repositories...</property>
822
 
                          <property name="use_underline">True</property>
823
 
                          <property name="relief">GTK_RELIEF_NORMAL</property>
824
 
                          <property name="focus_on_click">True</property>
825
 
                          <signal name="clicked" handler="OnManageRepos" last_modification_time="Tue, 11 Oct 2005 00:09:40 GMT"/>
826
 
                        </widget>
827
 
                        <packing>
828
 
                          <property name="padding">0</property>
829
 
                          <property name="expand">False</property>
830
 
                          <property name="fill">False</property>
831
 
                        </packing>
832
 
                      </child>
833
 
 
834
 
                      <child>
835
 
                        <widget class="GtkHSeparator" id="hseparator4">
836
 
                          <property name="visible">True</property>
837
 
                        </widget>
838
 
                        <packing>
839
 
                          <property name="padding">0</property>
840
 
                          <property name="expand">False</property>
841
 
                          <property name="fill">False</property>
842
 
                        </packing>
843
 
                      </child>
844
 
 
845
 
                      <child>
846
 
                        <widget class="GtkButton" id="btnUninstall">
847
 
                          <property name="visible">True</property>
848
 
                          <property name="can_focus">True</property>
849
 
                          <property name="relief">GTK_RELIEF_NORMAL</property>
850
 
                          <property name="focus_on_click">True</property>
851
 
                          <signal name="clicked" handler="OnUninstall" last_modification_time="Wed, 05 Oct 2005 16:29:05 GMT"/>
852
 
 
853
 
                          <child>
854
 
                            <widget class="GtkAlignment" id="alignment7">
855
 
                              <property name="visible">True</property>
856
 
                              <property name="xalign">0.5</property>
857
 
                              <property name="yalign">0.5</property>
858
 
                              <property name="xscale">0</property>
859
 
                              <property name="yscale">0</property>
860
 
                              <property name="top_padding">0</property>
861
 
                              <property name="bottom_padding">0</property>
862
 
                              <property name="left_padding">0</property>
863
 
                              <property name="right_padding">0</property>
864
 
 
865
 
                              <child>
866
 
                                <widget class="GtkHBox" id="hbox80">
867
 
                                  <property name="visible">True</property>
868
 
                                  <property name="homogeneous">False</property>
869
 
                                  <property name="spacing">2</property>
870
 
 
871
 
                                  <child>
872
 
                                    <widget class="GtkImage" id="image12">
873
 
                                      <property name="visible">True</property>
874
 
                                      <property name="stock">gtk-remove</property>
875
 
                                      <property name="icon_size">4</property>
876
 
                                      <property name="xalign">0.5</property>
877
 
                                      <property name="yalign">0.5</property>
878
 
                                      <property name="xpad">0</property>
879
 
                                      <property name="ypad">0</property>
880
 
                                    </widget>
881
 
                                    <packing>
882
 
                                      <property name="padding">0</property>
883
 
                                      <property name="expand">False</property>
884
 
                                      <property name="fill">False</property>
885
 
                                    </packing>
886
 
                                  </child>
887
 
 
888
 
                                  <child>
889
 
                                    <widget class="GtkLabel" id="label142">
890
 
                                      <property name="visible">True</property>
891
 
                                      <property name="label" translatable="yes">_Uninstall...</property>
892
 
                                      <property name="use_underline">True</property>
893
 
                                      <property name="use_markup">False</property>
894
 
                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
895
 
                                      <property name="wrap">False</property>
896
 
                                      <property name="selectable">False</property>
897
 
                                      <property name="xalign">0.5</property>
898
 
                                      <property name="yalign">0.5</property>
899
 
                                      <property name="xpad">0</property>
900
 
                                      <property name="ypad">0</property>
901
 
                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
902
 
                                      <property name="width_chars">-1</property>
903
 
                                      <property name="single_line_mode">False</property>
904
 
                                      <property name="angle">0</property>
905
 
                                    </widget>
906
 
                                    <packing>
907
 
                                      <property name="padding">0</property>
908
 
                                      <property name="expand">False</property>
909
 
                                      <property name="fill">False</property>
910
 
                                    </packing>
911
 
                                  </child>
912
 
                                </widget>
913
 
                              </child>
914
 
                            </widget>
915
 
                          </child>
916
 
                        </widget>
917
 
                        <packing>
918
 
                          <property name="padding">0</property>
919
 
                          <property name="expand">False</property>
920
 
                          <property name="fill">False</property>
921
 
                        </packing>
922
 
                      </child>
923
 
 
924
 
                      <child>
925
 
                        <widget class="GtkButton" id="btnEnable">
926
 
                          <property name="visible">True</property>
927
 
                          <property name="can_focus">True</property>
928
 
                          <property name="relief">GTK_RELIEF_NORMAL</property>
929
 
                          <property name="focus_on_click">True</property>
930
 
                          <signal name="clicked" handler="OnEnable" last_modification_time="Wed, 05 Oct 2005 16:29:15 GMT"/>
931
 
 
932
 
                          <child>
933
 
                            <widget class="GtkAlignment" id="alignment5">
934
 
                              <property name="visible">True</property>
935
 
                              <property name="xalign">0.5</property>
936
 
                              <property name="yalign">0.5</property>
937
 
                              <property name="xscale">0</property>
938
 
                              <property name="yscale">0</property>
939
 
                              <property name="top_padding">0</property>
940
 
                              <property name="bottom_padding">0</property>
941
 
                              <property name="left_padding">0</property>
942
 
                              <property name="right_padding">0</property>
943
 
 
944
 
                              <child>
945
 
                                <widget class="GtkHBox" id="hbox78">
946
 
                                  <property name="visible">True</property>
947
 
                                  <property name="homogeneous">False</property>
948
 
                                  <property name="spacing">2</property>
949
 
 
950
 
                                  <child>
951
 
                                    <widget class="GtkImage" id="image10">
952
 
                                      <property name="visible">True</property>
953
 
                                      <property name="stock">gtk-yes</property>
954
 
                                      <property name="icon_size">4</property>
955
 
                                      <property name="xalign">0.5</property>
956
 
                                      <property name="yalign">0.5</property>
957
 
                                      <property name="xpad">0</property>
958
 
                                      <property name="ypad">0</property>
959
 
                                    </widget>
960
 
                                    <packing>
961
 
                                      <property name="padding">0</property>
962
 
                                      <property name="expand">False</property>
963
 
                                      <property name="fill">False</property>
964
 
                                    </packing>
965
 
                                  </child>
966
 
 
967
 
                                  <child>
968
 
                                    <widget class="GtkLabel" id="label140">
969
 
                                      <property name="visible">True</property>
970
 
                                      <property name="label" translatable="yes">Enable</property>
971
 
                                      <property name="use_underline">True</property>
972
 
                                      <property name="use_markup">False</property>
973
 
                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
974
 
                                      <property name="wrap">False</property>
975
 
                                      <property name="selectable">False</property>
976
 
                                      <property name="xalign">0.5</property>
977
 
                                      <property name="yalign">0.5</property>
978
 
                                      <property name="xpad">0</property>
979
 
                                      <property name="ypad">0</property>
980
 
                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
981
 
                                      <property name="width_chars">-1</property>
982
 
                                      <property name="single_line_mode">False</property>
983
 
                                      <property name="angle">0</property>
984
 
                                    </widget>
985
 
                                    <packing>
986
 
                                      <property name="padding">0</property>
987
 
                                      <property name="expand">False</property>
988
 
                                      <property name="fill">False</property>
989
 
                                    </packing>
990
 
                                  </child>
991
 
                                </widget>
992
 
                              </child>
993
 
                            </widget>
994
 
                          </child>
995
 
                        </widget>
996
 
                        <packing>
997
 
                          <property name="padding">0</property>
998
 
                          <property name="expand">False</property>
999
 
                          <property name="fill">False</property>
1000
 
                        </packing>
1001
 
                      </child>
1002
 
 
1003
 
                      <child>
1004
 
                        <widget class="GtkButton" id="btnDisable">
1005
 
                          <property name="visible">True</property>
1006
 
                          <property name="can_focus">True</property>
1007
 
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1008
 
                          <property name="focus_on_click">True</property>
1009
 
                          <signal name="clicked" handler="OnDisable" last_modification_time="Wed, 05 Oct 2005 16:29:28 GMT"/>
1010
 
 
1011
 
                          <child>
1012
 
                            <widget class="GtkAlignment" id="alignment6">
1013
 
                              <property name="visible">True</property>
1014
 
                              <property name="xalign">0.5</property>
1015
 
                              <property name="yalign">0.5</property>
1016
 
                              <property name="xscale">0</property>
1017
 
                              <property name="yscale">0</property>
1018
 
                              <property name="top_padding">0</property>
1019
 
                              <property name="bottom_padding">0</property>
1020
 
                              <property name="left_padding">0</property>
1021
 
                              <property name="right_padding">0</property>
1022
 
 
1023
 
                              <child>
1024
 
                                <widget class="GtkHBox" id="hbox79">
1025
 
                                  <property name="visible">True</property>
1026
 
                                  <property name="homogeneous">False</property>
1027
 
                                  <property name="spacing">2</property>
1028
 
 
1029
 
                                  <child>
1030
 
                                    <widget class="GtkImage" id="image11">
1031
 
                                      <property name="visible">True</property>
1032
 
                                      <property name="stock">gtk-no</property>
1033
 
                                      <property name="icon_size">4</property>
1034
 
                                      <property name="xalign">0.5</property>
1035
 
                                      <property name="yalign">0.5</property>
1036
 
                                      <property name="xpad">0</property>
1037
 
                                      <property name="ypad">0</property>
1038
 
                                    </widget>
1039
 
                                    <packing>
1040
 
                                      <property name="padding">0</property>
1041
 
                                      <property name="expand">False</property>
1042
 
                                      <property name="fill">False</property>
1043
 
                                    </packing>
1044
 
                                  </child>
1045
 
 
1046
 
                                  <child>
1047
 
                                    <widget class="GtkLabel" id="label141">
1048
 
                                      <property name="visible">True</property>
1049
 
                                      <property name="label" translatable="yes">Disable</property>
1050
 
                                      <property name="use_underline">True</property>
1051
 
                                      <property name="use_markup">False</property>
1052
 
                                      <property name="justify">GTK_JUSTIFY_LEFT</property>
1053
 
                                      <property name="wrap">False</property>
1054
 
                                      <property name="selectable">False</property>
1055
 
                                      <property name="xalign">0.5</property>
1056
 
                                      <property name="yalign">0.5</property>
1057
 
                                      <property name="xpad">0</property>
1058
 
                                      <property name="ypad">0</property>
1059
 
                                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1060
 
                                      <property name="width_chars">-1</property>
1061
 
                                      <property name="single_line_mode">False</property>
1062
 
                                      <property name="angle">0</property>
1063
 
                                    </widget>
1064
 
                                    <packing>
1065
 
                                      <property name="padding">0</property>
1066
 
                                      <property name="expand">False</property>
1067
 
                                      <property name="fill">False</property>
1068
 
                                    </packing>
1069
 
                                  </child>
1070
 
                                </widget>
1071
 
                              </child>
1072
 
                            </widget>
1073
 
                          </child>
1074
 
                        </widget>
1075
 
                        <packing>
1076
 
                          <property name="padding">0</property>
1077
 
                          <property name="expand">False</property>
1078
 
                          <property name="fill">False</property>
1079
 
                        </packing>
1080
 
                      </child>
1081
 
 
1082
 
                      <child>
1083
 
                        <widget class="GtkButton" id="btnInfo">
1084
 
                          <property name="visible">True</property>
1085
 
                          <property name="can_focus">True</property>
1086
 
                          <property name="label">gtk-dialog-info</property>
1087
 
                          <property name="use_stock">True</property>
1088
 
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1089
 
                          <property name="focus_on_click">True</property>
1090
 
                          <signal name="clicked" handler="OnShowInfo" last_modification_time="Mon, 10 Oct 2005 23:29:24 GMT"/>
1091
 
                        </widget>
1092
 
                        <packing>
1093
 
                          <property name="padding">0</property>
1094
 
                          <property name="expand">False</property>
1095
 
                          <property name="fill">False</property>
1096
 
                        </packing>
1097
 
                      </child>
1098
 
                    </widget>
1099
 
                    <packing>
1100
 
                      <property name="padding">0</property>
1101
 
                      <property name="expand">False</property>
1102
 
                      <property name="fill">False</property>
1103
 
                    </packing>
1104
 
                  </child>
1105
 
                </widget>
1106
 
                <packing>
1107
 
                  <property name="padding">0</property>
1108
 
                  <property name="expand">True</property>
1109
 
                  <property name="fill">True</property>
1110
 
                </packing>
1111
 
              </child>
1112
 
            </widget>
1113
 
            <packing>
1114
 
              <property name="padding">0</property>
1115
 
              <property name="expand">True</property>
1116
 
              <property name="fill">True</property>
1117
 
            </packing>
1118
 
          </child>
1119
 
        </widget>
1120
 
        <packing>
1121
 
          <property name="padding">0</property>
1122
 
          <property name="expand">True</property>
1123
 
          <property name="fill">True</property>
1124
 
        </packing>
1125
 
      </child>
1126
 
    </widget>
1127
 
  </child>
1128
 
</widget>
1129
 
 
1130
 
<widget class="GtkDialog" id="AddinInstallDialog">
1131
 
  <property name="visible">True</property>
1132
 
  <property name="title" translatable="yes">Add-in Installation</property>
1133
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
1134
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
1135
 
  <property name="modal">True</property>
1136
 
  <property name="default_width">725</property>
1137
 
  <property name="default_height">550</property>
1138
 
  <property name="resizable">True</property>
1139
 
  <property name="destroy_with_parent">False</property>
1140
 
  <property name="decorated">True</property>
1141
 
  <property name="skip_taskbar_hint">False</property>
1142
 
  <property name="skip_pager_hint">False</property>
1143
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1144
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1145
 
  <property name="focus_on_map">True</property>
1146
 
  <property name="urgency_hint">False</property>
1147
 
  <property name="has_separator">False</property>
1148
 
 
1149
 
  <child internal-child="vbox">
1150
 
    <widget class="GtkVBox" id="dialog-vbox9">
1151
 
      <property name="visible">True</property>
1152
 
      <property name="homogeneous">False</property>
1153
 
      <property name="spacing">0</property>
1154
 
 
1155
 
      <child internal-child="action_area">
1156
 
        <widget class="GtkHButtonBox" id="hbuttonbox1">
1157
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
1158
 
        </widget>
1159
 
        <packing>
1160
 
          <property name="padding">0</property>
1161
 
          <property name="expand">False</property>
1162
 
          <property name="fill">False</property>
1163
 
          <property name="pack_type">GTK_PACK_END</property>
1164
 
        </packing>
1165
 
      </child>
1166
 
 
1167
 
      <child>
1168
 
        <widget class="GtkHButtonBox" id="dialog-action_area9">
1169
 
          <property name="border_width">6</property>
1170
 
          <property name="visible">True</property>
1171
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
1172
 
          <property name="spacing">9</property>
1173
 
 
1174
 
          <child>
1175
 
            <widget class="GtkButton" id="btnCancel">
1176
 
              <property name="visible">True</property>
1177
 
              <property name="can_default">True</property>
1178
 
              <property name="can_focus">True</property>
1179
 
              <property name="label">gtk-cancel</property>
1180
 
              <property name="use_stock">True</property>
1181
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
1182
 
              <property name="focus_on_click">True</property>
1183
 
              <signal name="clicked" handler="OnCancel" last_modification_time="Thu, 06 Oct 2005 01:02:54 GMT"/>
1184
 
            </widget>
1185
 
          </child>
1186
 
 
1187
 
          <child>
1188
 
            <widget class="GtkButton" id="btnPrev">
1189
 
              <property name="visible">True</property>
1190
 
              <property name="can_default">True</property>
1191
 
              <property name="can_focus">True</property>
1192
 
              <property name="label">gtk-go-back</property>
1193
 
              <property name="use_stock">True</property>
1194
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
1195
 
              <property name="focus_on_click">True</property>
1196
 
              <signal name="clicked" handler="OnPrevPage" last_modification_time="Thu, 06 Oct 2005 01:02:45 GMT"/>
1197
 
            </widget>
1198
 
          </child>
1199
 
 
1200
 
          <child>
1201
 
            <widget class="GtkButton" id="btnNext">
1202
 
              <property name="visible">True</property>
1203
 
              <property name="can_default">True</property>
1204
 
              <property name="can_focus">True</property>
1205
 
              <property name="label">gtk-go-forward</property>
1206
 
              <property name="use_stock">True</property>
1207
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
1208
 
              <property name="focus_on_click">True</property>
1209
 
              <signal name="clicked" handler="OnNextPage" last_modification_time="Thu, 06 Oct 2005 01:03:09 GMT"/>
1210
 
            </widget>
1211
 
          </child>
1212
 
 
1213
 
          <child>
1214
 
            <widget class="GtkButton" id="btnOk">
1215
 
              <property name="can_default">True</property>
1216
 
              <property name="can_focus">True</property>
1217
 
              <property name="label">gtk-ok</property>
1218
 
              <property name="use_stock">True</property>
1219
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
1220
 
              <property name="focus_on_click">True</property>
1221
 
              <signal name="clicked" handler="OnOk" last_modification_time="Thu, 06 Oct 2005 01:10:20 GMT"/>
1222
 
            </widget>
1223
 
          </child>
1224
 
        </widget>
1225
 
        <packing>
1226
 
          <property name="padding">0</property>
1227
 
          <property name="expand">False</property>
1228
 
          <property name="fill">False</property>
1229
 
          <property name="pack_type">GTK_PACK_END</property>
1230
 
        </packing>
1231
 
      </child>
1232
 
 
1233
 
      <child>
1234
 
        <widget class="GtkHSeparator" id="hseparator3">
1235
 
          <property name="visible">True</property>
1236
 
        </widget>
1237
 
        <packing>
1238
 
          <property name="padding">0</property>
1239
 
          <property name="expand">False</property>
1240
 
          <property name="fill">False</property>
1241
 
          <property name="pack_type">GTK_PACK_END</property>
1242
 
        </packing>
1243
 
      </child>
1244
 
 
1245
 
      <child>
1246
 
        <widget class="GtkNotebook" id="wizardNotebook">
1247
 
          <property name="border_width">12</property>
1248
 
          <property name="visible">True</property>
1249
 
          <property name="can_focus">True</property>
1250
 
          <property name="show_tabs">True</property>
1251
 
          <property name="show_border">False</property>
1252
 
          <property name="tab_pos">GTK_POS_TOP</property>
1253
 
          <property name="scrollable">False</property>
1254
 
          <property name="enable_popup">False</property>
1255
 
 
1256
 
          <child>
1257
 
            <widget class="GtkVBox" id="vbox82">
1258
 
              <property name="visible">True</property>
1259
 
              <property name="homogeneous">False</property>
1260
 
              <property name="spacing">12</property>
1261
 
 
1262
 
              <child>
1263
 
                <widget class="GtkLabel" id="label113">
1264
 
                  <property name="visible">True</property>
1265
 
                  <property name="label" translatable="yes">&lt;b&gt;Select the add-ins to install and click on Next&lt;/b&gt;</property>
1266
 
                  <property name="use_underline">False</property>
1267
 
                  <property name="use_markup">True</property>
1268
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1269
 
                  <property name="wrap">False</property>
1270
 
                  <property name="selectable">False</property>
1271
 
                  <property name="xalign">0</property>
1272
 
                  <property name="yalign">0.5</property>
1273
 
                  <property name="xpad">0</property>
1274
 
                  <property name="ypad">0</property>
1275
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1276
 
                  <property name="width_chars">-1</property>
1277
 
                  <property name="single_line_mode">False</property>
1278
 
                  <property name="angle">0</property>
1279
 
                </widget>
1280
 
                <packing>
1281
 
                  <property name="padding">0</property>
1282
 
                  <property name="expand">False</property>
1283
 
                  <property name="fill">False</property>
1284
 
                </packing>
1285
 
              </child>
1286
 
 
1287
 
              <child>
1288
 
                <widget class="GtkHBox" id="hbox66">
1289
 
                  <property name="visible">True</property>
1290
 
                  <property name="homogeneous">False</property>
1291
 
                  <property name="spacing">6</property>
1292
 
 
1293
 
                  <child>
1294
 
                    <widget class="GtkLabel" id="label112">
1295
 
                      <property name="visible">True</property>
1296
 
                      <property name="label" translatable="yes">Install from:</property>
1297
 
                      <property name="use_underline">False</property>
1298
 
                      <property name="use_markup">False</property>
1299
 
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
1300
 
                      <property name="wrap">False</property>
1301
 
                      <property name="selectable">False</property>
1302
 
                      <property name="xalign">0.5</property>
1303
 
                      <property name="yalign">0.5</property>
1304
 
                      <property name="xpad">0</property>
1305
 
                      <property name="ypad">0</property>
1306
 
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1307
 
                      <property name="width_chars">-1</property>
1308
 
                      <property name="single_line_mode">False</property>
1309
 
                      <property name="angle">0</property>
1310
 
                    </widget>
1311
 
                    <packing>
1312
 
                      <property name="padding">0</property>
1313
 
                      <property name="expand">False</property>
1314
 
                      <property name="fill">False</property>
1315
 
                    </packing>
1316
 
                  </child>
1317
 
 
1318
 
                  <child>
1319
 
                    <widget class="GtkComboBox" id="repoCombo">
1320
 
                      <property name="visible">True</property>
1321
 
                      <property name="add_tearoffs">False</property>
1322
 
                      <property name="focus_on_click">True</property>
1323
 
                      <signal name="changed" handler="OnRepoChanged" last_modification_time="Wed, 05 Oct 2005 21:49:15 GMT"/>
1324
 
                    </widget>
1325
 
                    <packing>
1326
 
                      <property name="padding">0</property>
1327
 
                      <property name="expand">True</property>
1328
 
                      <property name="fill">True</property>
1329
 
                    </packing>
1330
 
                  </child>
1331
 
 
1332
 
                  <child>
1333
 
                    <widget class="GtkButton" id="button1">
1334
 
                      <property name="visible">True</property>
1335
 
                      <property name="can_focus">True</property>
1336
 
                      <property name="label">gtk-refresh</property>
1337
 
                      <property name="use_stock">True</property>
1338
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
1339
 
                      <property name="focus_on_click">True</property>
1340
 
                      <signal name="clicked" handler="OnUpdateRepo" last_modification_time="Fri, 07 Oct 2005 14:46:06 GMT"/>
1341
 
                    </widget>
1342
 
                    <packing>
1343
 
                      <property name="padding">0</property>
1344
 
                      <property name="expand">False</property>
1345
 
                      <property name="fill">False</property>
1346
 
                    </packing>
1347
 
                  </child>
1348
 
 
1349
 
                  <child>
1350
 
                    <widget class="GtkButton" id="btnManageSites">
1351
 
                      <property name="visible">True</property>
1352
 
                      <property name="can_focus">True</property>
1353
 
                      <property name="label" translatable="yes">_Repositories...</property>
1354
 
                      <property name="use_underline">True</property>
1355
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
1356
 
                      <property name="focus_on_click">True</property>
1357
 
                      <signal name="clicked" handler="OnManageSites" last_modification_time="Wed, 05 Oct 2005 18:28:10 GMT"/>
1358
 
                    </widget>
1359
 
                    <packing>
1360
 
                      <property name="padding">0</property>
1361
 
                      <property name="expand">False</property>
1362
 
                      <property name="fill">False</property>
1363
 
                    </packing>
1364
 
                  </child>
1365
 
                </widget>
1366
 
                <packing>
1367
 
                  <property name="padding">0</property>
1368
 
                  <property name="expand">False</property>
1369
 
                  <property name="fill">False</property>
1370
 
                </packing>
1371
 
              </child>
1372
 
 
1373
 
              <child>
1374
 
                <widget class="GtkHBox" id="hbox70">
1375
 
                  <property name="visible">True</property>
1376
 
                  <property name="homogeneous">False</property>
1377
 
                  <property name="spacing">12</property>
1378
 
 
1379
 
                  <child>
1380
 
                    <widget class="GtkVBox" id="vbox92">
1381
 
                      <property name="visible">True</property>
1382
 
                      <property name="homogeneous">False</property>
1383
 
                      <property name="spacing">6</property>
1384
 
 
1385
 
                      <child>
1386
 
                        <widget class="GtkScrolledWindow" id="scrolledwindow18">
1387
 
                          <property name="visible">True</property>
1388
 
                          <property name="can_focus">True</property>
1389
 
                          <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1390
 
                          <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1391
 
                          <property name="shadow_type">GTK_SHADOW_IN</property>
1392
 
                          <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1393
 
 
1394
 
                          <child>
1395
 
                            <widget class="GtkTreeView" id="addinTree">
1396
 
                              <property name="visible">True</property>
1397
 
                              <property name="can_focus">True</property>
1398
 
                              <property name="headers_visible">True</property>
1399
 
                              <property name="rules_hint">False</property>
1400
 
                              <property name="reorderable">False</property>
1401
 
                              <property name="enable_search">True</property>
1402
 
                              <property name="fixed_height_mode">False</property>
1403
 
                              <property name="hover_selection">False</property>
1404
 
                              <property name="hover_expand">False</property>
1405
 
                              <signal name="cursor_changed" handler="OnActiveAddinChanged" last_modification_time="Fri, 07 Oct 2005 15:30:44 GMT"/>
1406
 
                            </widget>
1407
 
                          </child>
1408
 
                        </widget>
1409
 
                        <packing>
1410
 
                          <property name="padding">0</property>
1411
 
                          <property name="expand">True</property>
1412
 
                          <property name="fill">True</property>
1413
 
                        </packing>
1414
 
                      </child>
1415
 
 
1416
 
                      <child>
1417
 
                        <widget class="GtkHBox" id="hbox83">
1418
 
                          <property name="visible">True</property>
1419
 
                          <property name="homogeneous">False</property>
1420
 
                          <property name="spacing">6</property>
1421
 
 
1422
 
                          <child>
1423
 
                            <widget class="GtkComboBox" id="filterComboBox">
1424
 
                              <property name="visible">True</property>
1425
 
                              <property name="items" translatable="yes">Show all packages
1426
 
Show new versions only
1427
 
Show updates only</property>
1428
 
                              <property name="add_tearoffs">False</property>
1429
 
                              <property name="focus_on_click">True</property>
1430
 
                              <signal name="changed" handler="OnFilterChanged" last_modification_time="Thu, 30 Mar 2006 16:47:43 GMT"/>
1431
 
                            </widget>
1432
 
                            <packing>
1433
 
                              <property name="padding">0</property>
1434
 
                              <property name="expand">False</property>
1435
 
                              <property name="fill">False</property>
1436
 
                            </packing>
1437
 
                          </child>
1438
 
 
1439
 
                          <child>
1440
 
                            <widget class="GtkButton" id="btnInfo">
1441
 
                              <property name="visible">True</property>
1442
 
                              <property name="can_focus">True</property>
1443
 
                              <property name="label">gtk-dialog-info</property>
1444
 
                              <property name="use_stock">True</property>
1445
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
1446
 
                              <property name="focus_on_click">True</property>
1447
 
                              <signal name="clicked" handler="OnShowInfo" last_modification_time="Tue, 11 Oct 2005 00:00:39 GMT"/>
1448
 
                            </widget>
1449
 
                            <packing>
1450
 
                              <property name="padding">0</property>
1451
 
                              <property name="expand">False</property>
1452
 
                              <property name="fill">False</property>
1453
 
                              <property name="pack_type">GTK_PACK_END</property>
1454
 
                            </packing>
1455
 
                          </child>
1456
 
 
1457
 
                          <child>
1458
 
                            <widget class="GtkButton" id="btnUnselectAll">
1459
 
                              <property name="visible">True</property>
1460
 
                              <property name="can_focus">True</property>
1461
 
                              <property name="label" translatable="yes">_Unselect All</property>
1462
 
                              <property name="use_underline">True</property>
1463
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
1464
 
                              <property name="focus_on_click">True</property>
1465
 
                              <signal name="clicked" handler="OnUnselectAll" last_modification_time="Tue, 11 Oct 2005 10:51:52 GMT"/>
1466
 
                            </widget>
1467
 
                            <packing>
1468
 
                              <property name="padding">0</property>
1469
 
                              <property name="expand">False</property>
1470
 
                              <property name="fill">False</property>
1471
 
                              <property name="pack_type">GTK_PACK_END</property>
1472
 
                            </packing>
1473
 
                          </child>
1474
 
 
1475
 
                          <child>
1476
 
                            <widget class="GtkButton" id="btnSelectAll">
1477
 
                              <property name="visible">True</property>
1478
 
                              <property name="can_focus">True</property>
1479
 
                              <property name="label" translatable="yes">Select _All</property>
1480
 
                              <property name="use_underline">True</property>
1481
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
1482
 
                              <property name="focus_on_click">True</property>
1483
 
                              <signal name="clicked" handler="OnSelectAll" last_modification_time="Tue, 11 Oct 2005 10:39:29 GMT"/>
1484
 
                            </widget>
1485
 
                            <packing>
1486
 
                              <property name="padding">0</property>
1487
 
                              <property name="expand">False</property>
1488
 
                              <property name="fill">False</property>
1489
 
                              <property name="pack_type">GTK_PACK_END</property>
1490
 
                            </packing>
1491
 
                          </child>
1492
 
                        </widget>
1493
 
                        <packing>
1494
 
                          <property name="padding">0</property>
1495
 
                          <property name="expand">False</property>
1496
 
                          <property name="fill">False</property>
1497
 
                        </packing>
1498
 
                      </child>
1499
 
                    </widget>
1500
 
                    <packing>
1501
 
                      <property name="padding">0</property>
1502
 
                      <property name="expand">True</property>
1503
 
                      <property name="fill">True</property>
1504
 
                    </packing>
1505
 
                  </child>
1506
 
                </widget>
1507
 
                <packing>
1508
 
                  <property name="padding">0</property>
1509
 
                  <property name="expand">True</property>
1510
 
                  <property name="fill">True</property>
1511
 
                </packing>
1512
 
              </child>
1513
 
            </widget>
1514
 
            <packing>
1515
 
              <property name="tab_expand">False</property>
1516
 
              <property name="tab_fill">True</property>
1517
 
            </packing>
1518
 
          </child>
1519
 
 
1520
 
          <child>
1521
 
            <widget class="GtkLabel" id="label108">
1522
 
              <property name="visible">True</property>
1523
 
              <property name="label">label108</property>
1524
 
              <property name="use_underline">False</property>
1525
 
              <property name="use_markup">False</property>
1526
 
              <property name="justify">GTK_JUSTIFY_LEFT</property>
1527
 
              <property name="wrap">False</property>
1528
 
              <property name="selectable">False</property>
1529
 
              <property name="xalign">0.5</property>
1530
 
              <property name="yalign">0.5</property>
1531
 
              <property name="xpad">0</property>
1532
 
              <property name="ypad">0</property>
1533
 
              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1534
 
              <property name="width_chars">-1</property>
1535
 
              <property name="single_line_mode">False</property>
1536
 
              <property name="angle">0</property>
1537
 
            </widget>
1538
 
            <packing>
1539
 
              <property name="type">tab</property>
1540
 
            </packing>
1541
 
          </child>
1542
 
 
1543
 
          <child>
1544
 
            <widget class="GtkScrolledWindow" id="scrolledwindow19">
1545
 
              <property name="visible">True</property>
1546
 
              <property name="can_focus">True</property>
1547
 
              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1548
 
              <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1549
 
              <property name="shadow_type">GTK_SHADOW_NONE</property>
1550
 
              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1551
 
 
1552
 
              <child>
1553
 
                <widget class="GtkViewport" id="viewport1">
1554
 
                  <property name="visible">True</property>
1555
 
                  <property name="shadow_type">GTK_SHADOW_IN</property>
1556
 
 
1557
 
                  <child>
1558
 
                    <widget class="GtkHBox" id="hbox82">
1559
 
                      <property name="border_width">12</property>
1560
 
                      <property name="visible">True</property>
1561
 
                      <property name="homogeneous">False</property>
1562
 
                      <property name="spacing">12</property>
1563
 
 
1564
 
                      <child>
1565
 
                        <widget class="GtkImage" id="imageInstall">
1566
 
                          <property name="visible">True</property>
1567
 
                          <property name="stock">gtk-dialog-warning</property>
1568
 
                          <property name="icon_size">6</property>
1569
 
                          <property name="xalign">0</property>
1570
 
                          <property name="yalign">0</property>
1571
 
                          <property name="xpad">0</property>
1572
 
                          <property name="ypad">0</property>
1573
 
                        </widget>
1574
 
                        <packing>
1575
 
                          <property name="padding">0</property>
1576
 
                          <property name="expand">False</property>
1577
 
                          <property name="fill">False</property>
1578
 
                        </packing>
1579
 
                      </child>
1580
 
 
1581
 
                      <child>
1582
 
                        <widget class="GtkLabel" id="labelSummary">
1583
 
                          <property name="visible">True</property>
1584
 
                          <property name="label">&lt;b&gt;The following add-ins will be installed:&lt;/b&gt;
1585
 
 
1586
 
C# language binding
1587
 
C# language IDE extension
1588
 
 
1589
 
&lt;b&gt;The following add-ins are required by the selected add-ins&lt;/b&gt;
1590
 
 
1591
 
NUnit add-in
1592
 
NAnt add-in
1593
 
 
1594
 
asd
1595
 
asd
1596
 
a
1597
 
sd
1598
 
asd
1599
 
asd
1600
 
a
1601
 
sda
1602
 
sd
1603
 
as
1604
 
da
1605
 
sd
1606
 
asd
1607
 
</property>
1608
 
                          <property name="use_underline">False</property>
1609
 
                          <property name="use_markup">True</property>
1610
 
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
1611
 
                          <property name="wrap">True</property>
1612
 
                          <property name="selectable">False</property>
1613
 
                          <property name="xalign">0</property>
1614
 
                          <property name="yalign">0</property>
1615
 
                          <property name="xpad">6</property>
1616
 
                          <property name="ypad">6</property>
1617
 
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1618
 
                          <property name="width_chars">-1</property>
1619
 
                          <property name="single_line_mode">False</property>
1620
 
                          <property name="angle">0</property>
1621
 
                        </widget>
1622
 
                        <packing>
1623
 
                          <property name="padding">0</property>
1624
 
                          <property name="expand">False</property>
1625
 
                          <property name="fill">False</property>
1626
 
                        </packing>
1627
 
                      </child>
1628
 
                    </widget>
1629
 
                  </child>
1630
 
                </widget>
1631
 
              </child>
1632
 
            </widget>
1633
 
            <packing>
1634
 
              <property name="tab_expand">False</property>
1635
 
              <property name="tab_fill">True</property>
1636
 
            </packing>
1637
 
          </child>
1638
 
 
1639
 
          <child>
1640
 
            <widget class="GtkLabel" id="label124">
1641
 
              <property name="visible">True</property>
1642
 
              <property name="label" translatable="no">label124</property>
1643
 
              <property name="use_underline">False</property>
1644
 
              <property name="use_markup">False</property>
1645
 
              <property name="justify">GTK_JUSTIFY_LEFT</property>
1646
 
              <property name="wrap">False</property>
1647
 
              <property name="selectable">False</property>
1648
 
              <property name="xalign">0.5</property>
1649
 
              <property name="yalign">0.5</property>
1650
 
              <property name="xpad">0</property>
1651
 
              <property name="ypad">0</property>
1652
 
              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1653
 
              <property name="width_chars">-1</property>
1654
 
              <property name="single_line_mode">False</property>
1655
 
              <property name="angle">0</property>
1656
 
            </widget>
1657
 
            <packing>
1658
 
              <property name="type">tab</property>
1659
 
            </packing>
1660
 
          </child>
1661
 
 
1662
 
          <child>
1663
 
            <widget class="GtkVBox" id="vbox86">
1664
 
              <property name="border_width">116</property>
1665
 
              <property name="visible">True</property>
1666
 
              <property name="homogeneous">False</property>
1667
 
              <property name="spacing">6</property>
1668
 
 
1669
 
              <child>
1670
 
                <widget class="GtkLabel" id="label126">
1671
 
                  <property name="visible">True</property>
1672
 
                  <property name="label" translatable="yes">Overall Progress:</property>
1673
 
                  <property name="use_underline">False</property>
1674
 
                  <property name="use_markup">False</property>
1675
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1676
 
                  <property name="wrap">False</property>
1677
 
                  <property name="selectable">False</property>
1678
 
                  <property name="xalign">0</property>
1679
 
                  <property name="yalign">0.5</property>
1680
 
                  <property name="xpad">0</property>
1681
 
                  <property name="ypad">0</property>
1682
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1683
 
                  <property name="width_chars">-1</property>
1684
 
                  <property name="single_line_mode">False</property>
1685
 
                  <property name="angle">0</property>
1686
 
                </widget>
1687
 
                <packing>
1688
 
                  <property name="padding">0</property>
1689
 
                  <property name="expand">False</property>
1690
 
                  <property name="fill">False</property>
1691
 
                </packing>
1692
 
              </child>
1693
 
 
1694
 
              <child>
1695
 
                <widget class="GtkProgressBar" id="mainProgressBar">
1696
 
                  <property name="visible">True</property>
1697
 
                  <property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
1698
 
                  <property name="fraction">0</property>
1699
 
                  <property name="pulse_step">0.10000000149</property>
1700
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1701
 
                </widget>
1702
 
                <packing>
1703
 
                  <property name="padding">0</property>
1704
 
                  <property name="expand">False</property>
1705
 
                  <property name="fill">False</property>
1706
 
                </packing>
1707
 
              </child>
1708
 
 
1709
 
              <child>
1710
 
                <widget class="GtkLabel" id="label129">
1711
 
                  <property name="visible">True</property>
1712
 
                  <property name="label" translatable="yes"></property>
1713
 
                  <property name="use_underline">False</property>
1714
 
                  <property name="use_markup">False</property>
1715
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1716
 
                  <property name="wrap">False</property>
1717
 
                  <property name="selectable">False</property>
1718
 
                  <property name="xalign">0.5</property>
1719
 
                  <property name="yalign">0.5</property>
1720
 
                  <property name="xpad">0</property>
1721
 
                  <property name="ypad">0</property>
1722
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1723
 
                  <property name="width_chars">-1</property>
1724
 
                  <property name="single_line_mode">False</property>
1725
 
                  <property name="angle">0</property>
1726
 
                </widget>
1727
 
                <packing>
1728
 
                  <property name="padding">0</property>
1729
 
                  <property name="expand">False</property>
1730
 
                  <property name="fill">False</property>
1731
 
                </packing>
1732
 
              </child>
1733
 
 
1734
 
              <child>
1735
 
                <widget class="GtkLabel" id="progressLabel">
1736
 
                  <property name="visible">True</property>
1737
 
                  <property name="label" translatable="yes">Downloading add-ins...</property>
1738
 
                  <property name="use_underline">False</property>
1739
 
                  <property name="use_markup">False</property>
1740
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1741
 
                  <property name="wrap">False</property>
1742
 
                  <property name="selectable">False</property>
1743
 
                  <property name="xalign">0</property>
1744
 
                  <property name="yalign">0.5</property>
1745
 
                  <property name="xpad">0</property>
1746
 
                  <property name="ypad">0</property>
1747
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1748
 
                  <property name="width_chars">-1</property>
1749
 
                  <property name="single_line_mode">False</property>
1750
 
                  <property name="angle">0</property>
1751
 
                </widget>
1752
 
                <packing>
1753
 
                  <property name="padding">0</property>
1754
 
                  <property name="expand">False</property>
1755
 
                  <property name="fill">False</property>
1756
 
                </packing>
1757
 
              </child>
1758
 
 
1759
 
              <child>
1760
 
                <widget class="GtkProgressBar" id="progressBar">
1761
 
                  <property name="visible">True</property>
1762
 
                  <property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
1763
 
                  <property name="fraction">0</property>
1764
 
                  <property name="pulse_step">0.10000000149</property>
1765
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1766
 
                </widget>
1767
 
                <packing>
1768
 
                  <property name="padding">0</property>
1769
 
                  <property name="expand">False</property>
1770
 
                  <property name="fill">False</property>
1771
 
                </packing>
1772
 
              </child>
1773
 
            </widget>
1774
 
            <packing>
1775
 
              <property name="tab_expand">False</property>
1776
 
              <property name="tab_fill">True</property>
1777
 
            </packing>
1778
 
          </child>
1779
 
 
1780
 
          <child>
1781
 
            <widget class="GtkLabel" id="label110">
1782
 
              <property name="visible">True</property>
1783
 
              <property name="label">label110</property>
1784
 
              <property name="use_underline">False</property>
1785
 
              <property name="use_markup">False</property>
1786
 
              <property name="justify">GTK_JUSTIFY_LEFT</property>
1787
 
              <property name="wrap">False</property>
1788
 
              <property name="selectable">False</property>
1789
 
              <property name="xalign">0.5</property>
1790
 
              <property name="yalign">0.5</property>
1791
 
              <property name="xpad">0</property>
1792
 
              <property name="ypad">0</property>
1793
 
              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1794
 
              <property name="width_chars">-1</property>
1795
 
              <property name="single_line_mode">False</property>
1796
 
              <property name="angle">0</property>
1797
 
            </widget>
1798
 
            <packing>
1799
 
              <property name="type">tab</property>
1800
 
            </packing>
1801
 
          </child>
1802
 
 
1803
 
          <child>
1804
 
            <widget class="GtkScrolledWindow" id="scrolledwindow20">
1805
 
              <property name="visible">True</property>
1806
 
              <property name="can_focus">True</property>
1807
 
              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1808
 
              <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1809
 
              <property name="shadow_type">GTK_SHADOW_NONE</property>
1810
 
              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1811
 
 
1812
 
              <child>
1813
 
                <widget class="GtkViewport" id="viewport3">
1814
 
                  <property name="visible">True</property>
1815
 
                  <property name="shadow_type">GTK_SHADOW_IN</property>
1816
 
 
1817
 
                  <child>
1818
 
                    <widget class="GtkVBox" id="vbox91">
1819
 
                      <property name="visible">True</property>
1820
 
                      <property name="homogeneous">False</property>
1821
 
                      <property name="spacing">0</property>
1822
 
 
1823
 
                      <child>
1824
 
                        <widget class="GtkLabel" id="label130">
1825
 
                          <property name="visible">True</property>
1826
 
                          <property name="label" translatable="yes"></property>
1827
 
                          <property name="use_underline">False</property>
1828
 
                          <property name="use_markup">False</property>
1829
 
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
1830
 
                          <property name="wrap">False</property>
1831
 
                          <property name="selectable">False</property>
1832
 
                          <property name="xalign">0.5</property>
1833
 
                          <property name="yalign">0.5</property>
1834
 
                          <property name="xpad">0</property>
1835
 
                          <property name="ypad">0</property>
1836
 
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1837
 
                          <property name="width_chars">-1</property>
1838
 
                          <property name="single_line_mode">False</property>
1839
 
                          <property name="angle">0</property>
1840
 
                        </widget>
1841
 
                        <packing>
1842
 
                          <property name="padding">0</property>
1843
 
                          <property name="expand">True</property>
1844
 
                          <property name="fill">True</property>
1845
 
                        </packing>
1846
 
                      </child>
1847
 
 
1848
 
                      <child>
1849
 
                        <widget class="GtkImage" id="imageError">
1850
 
                          <property name="stock">gtk-dialog-error</property>
1851
 
                          <property name="icon_size">6</property>
1852
 
                          <property name="xalign">0.5</property>
1853
 
                          <property name="yalign">1</property>
1854
 
                          <property name="xpad">0</property>
1855
 
                          <property name="ypad">0</property>
1856
 
                        </widget>
1857
 
                        <packing>
1858
 
                          <property name="padding">5</property>
1859
 
                          <property name="expand">False</property>
1860
 
                          <property name="fill">False</property>
1861
 
                        </packing>
1862
 
                      </child>
1863
 
 
1864
 
                      <child>
1865
 
                        <widget class="GtkImage" id="imageInfo">
1866
 
                          <property name="stock">gtk-dialog-info</property>
1867
 
                          <property name="icon_size">6</property>
1868
 
                          <property name="xalign">0.5</property>
1869
 
                          <property name="yalign">1</property>
1870
 
                          <property name="xpad">0</property>
1871
 
                          <property name="ypad">0</property>
1872
 
                        </widget>
1873
 
                        <packing>
1874
 
                          <property name="padding">0</property>
1875
 
                          <property name="expand">False</property>
1876
 
                          <property name="fill">False</property>
1877
 
                        </packing>
1878
 
                      </child>
1879
 
 
1880
 
                      <child>
1881
 
                        <widget class="GtkHBox" id="hbox71">
1882
 
                          <property name="visible">True</property>
1883
 
                          <property name="homogeneous">False</property>
1884
 
                          <property name="spacing">0</property>
1885
 
 
1886
 
                          <child>
1887
 
                            <widget class="GtkLabel" id="labelResult">
1888
 
                              <property name="width_request">450</property>
1889
 
                              <property name="visible">True</property>
1890
 
                              <property name="label">You need to restart MonoDevelop
1891
 
sdfsdf
1892
 
sdfsf</property>
1893
 
                              <property name="use_underline">False</property>
1894
 
                              <property name="use_markup">True</property>
1895
 
                              <property name="justify">GTK_JUSTIFY_CENTER</property>
1896
 
                              <property name="wrap">True</property>
1897
 
                              <property name="selectable">False</property>
1898
 
                              <property name="xalign">0.5</property>
1899
 
                              <property name="yalign">0</property>
1900
 
                              <property name="xpad">0</property>
1901
 
                              <property name="ypad">9</property>
1902
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1903
 
                              <property name="width_chars">-1</property>
1904
 
                              <property name="single_line_mode">False</property>
1905
 
                              <property name="angle">0</property>
1906
 
                            </widget>
1907
 
                            <packing>
1908
 
                              <property name="padding">0</property>
1909
 
                              <property name="expand">True</property>
1910
 
                              <property name="fill">True</property>
1911
 
                              <property name="pack_type">GTK_PACK_END</property>
1912
 
                            </packing>
1913
 
                          </child>
1914
 
                        </widget>
1915
 
                        <packing>
1916
 
                          <property name="padding">0</property>
1917
 
                          <property name="expand">False</property>
1918
 
                          <property name="fill">False</property>
1919
 
                        </packing>
1920
 
                      </child>
1921
 
 
1922
 
                      <child>
1923
 
                        <widget class="GtkLabel" id="label131">
1924
 
                          <property name="visible">True</property>
1925
 
                          <property name="label" translatable="yes"></property>
1926
 
                          <property name="use_underline">False</property>
1927
 
                          <property name="use_markup">False</property>
1928
 
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
1929
 
                          <property name="wrap">False</property>
1930
 
                          <property name="selectable">False</property>
1931
 
                          <property name="xalign">0.5</property>
1932
 
                          <property name="yalign">0.5</property>
1933
 
                          <property name="xpad">0</property>
1934
 
                          <property name="ypad">0</property>
1935
 
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1936
 
                          <property name="width_chars">-1</property>
1937
 
                          <property name="single_line_mode">False</property>
1938
 
                          <property name="angle">0</property>
1939
 
                        </widget>
1940
 
                        <packing>
1941
 
                          <property name="padding">0</property>
1942
 
                          <property name="expand">True</property>
1943
 
                          <property name="fill">True</property>
1944
 
                        </packing>
1945
 
                      </child>
1946
 
                    </widget>
1947
 
                  </child>
1948
 
                </widget>
1949
 
              </child>
1950
 
            </widget>
1951
 
            <packing>
1952
 
              <property name="tab_expand">False</property>
1953
 
              <property name="tab_fill">True</property>
1954
 
            </packing>
1955
 
          </child>
1956
 
 
1957
 
          <child>
1958
 
            <widget class="GtkLabel" id="label111">
1959
 
              <property name="visible">True</property>
1960
 
              <property name="label">label111</property>
1961
 
              <property name="use_underline">False</property>
1962
 
              <property name="use_markup">False</property>
1963
 
              <property name="justify">GTK_JUSTIFY_LEFT</property>
1964
 
              <property name="wrap">False</property>
1965
 
              <property name="selectable">False</property>
1966
 
              <property name="xalign">0.5</property>
1967
 
              <property name="yalign">0.5</property>
1968
 
              <property name="xpad">0</property>
1969
 
              <property name="ypad">0</property>
1970
 
              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1971
 
              <property name="width_chars">-1</property>
1972
 
              <property name="single_line_mode">False</property>
1973
 
              <property name="angle">0</property>
1974
 
            </widget>
1975
 
            <packing>
1976
 
              <property name="type">tab</property>
1977
 
            </packing>
1978
 
          </child>
1979
 
        </widget>
1980
 
        <packing>
1981
 
          <property name="padding">0</property>
1982
 
          <property name="expand">True</property>
1983
 
          <property name="fill">True</property>
1984
 
        </packing>
1985
 
      </child>
1986
 
    </widget>
1987
 
  </child>
1988
 
</widget>
1989
 
 
1990
 
<widget class="GtkDialog" id="ManageSitesDialog">
1991
 
  <property name="visible">True</property>
1992
 
  <property name="title" translatable="yes">Add-in Repository Management</property>
1993
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
1994
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
1995
 
  <property name="modal">False</property>
1996
 
  <property name="default_width">600</property>
1997
 
  <property name="default_height">300</property>
1998
 
  <property name="resizable">True</property>
1999
 
  <property name="destroy_with_parent">False</property>
2000
 
  <property name="decorated">True</property>
2001
 
  <property name="skip_taskbar_hint">False</property>
2002
 
  <property name="skip_pager_hint">False</property>
2003
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2004
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2005
 
  <property name="focus_on_map">True</property>
2006
 
  <property name="urgency_hint">False</property>
2007
 
  <property name="has_separator">True</property>
2008
 
 
2009
 
  <child internal-child="vbox">
2010
 
    <widget class="GtkVBox" id="dialog-vbox10">
2011
 
      <property name="visible">True</property>
2012
 
      <property name="homogeneous">False</property>
2013
 
      <property name="spacing">0</property>
2014
 
 
2015
 
      <child internal-child="action_area">
2016
 
        <widget class="GtkHButtonBox" id="dialog-action_area10">
2017
 
          <property name="visible">True</property>
2018
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
2019
 
 
2020
 
          <child>
2021
 
            <widget class="GtkButton" id="closebutton2">
2022
 
              <property name="visible">True</property>
2023
 
              <property name="can_default">True</property>
2024
 
              <property name="can_focus">True</property>
2025
 
              <property name="label">gtk-close</property>
2026
 
              <property name="use_stock">True</property>
2027
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
2028
 
              <property name="focus_on_click">True</property>
2029
 
              <property name="response_id">-7</property>
2030
 
            </widget>
2031
 
          </child>
2032
 
        </widget>
2033
 
        <packing>
2034
 
          <property name="padding">0</property>
2035
 
          <property name="expand">False</property>
2036
 
          <property name="fill">True</property>
2037
 
          <property name="pack_type">GTK_PACK_END</property>
2038
 
        </packing>
2039
 
      </child>
2040
 
 
2041
 
      <child>
2042
 
        <widget class="GtkHBox" id="hbox67">
2043
 
          <property name="border_width">12</property>
2044
 
          <property name="visible">True</property>
2045
 
          <property name="homogeneous">False</property>
2046
 
          <property name="spacing">12</property>
2047
 
 
2048
 
          <child>
2049
 
            <widget class="GtkScrolledWindow" id="scrolledwindow17">
2050
 
              <property name="visible">True</property>
2051
 
              <property name="can_focus">True</property>
2052
 
              <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
2053
 
              <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2054
 
              <property name="shadow_type">GTK_SHADOW_IN</property>
2055
 
              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2056
 
 
2057
 
              <child>
2058
 
                <widget class="GtkTreeView" id="repoTree">
2059
 
                  <property name="visible">True</property>
2060
 
                  <property name="can_focus">True</property>
2061
 
                  <property name="headers_visible">False</property>
2062
 
                  <property name="rules_hint">False</property>
2063
 
                  <property name="reorderable">False</property>
2064
 
                  <property name="enable_search">True</property>
2065
 
                  <property name="fixed_height_mode">False</property>
2066
 
                  <property name="hover_selection">False</property>
2067
 
                  <property name="hover_expand">False</property>
2068
 
                </widget>
2069
 
              </child>
2070
 
            </widget>
2071
 
            <packing>
2072
 
              <property name="padding">0</property>
2073
 
              <property name="expand">True</property>
2074
 
              <property name="fill">True</property>
2075
 
            </packing>
2076
 
          </child>
2077
 
 
2078
 
          <child>
2079
 
            <widget class="GtkVBox" id="vbox88">
2080
 
              <property name="visible">True</property>
2081
 
              <property name="homogeneous">False</property>
2082
 
              <property name="spacing">6</property>
2083
 
 
2084
 
              <child>
2085
 
                <widget class="GtkButton" id="btnAdd">
2086
 
                  <property name="visible">True</property>
2087
 
                  <property name="can_focus">True</property>
2088
 
                  <property name="label">gtk-add</property>
2089
 
                  <property name="use_stock">True</property>
2090
 
                  <property name="relief">GTK_RELIEF_NORMAL</property>
2091
 
                  <property name="focus_on_click">True</property>
2092
 
                  <signal name="clicked" handler="OnAdd" last_modification_time="Wed, 05 Oct 2005 18:31:14 GMT"/>
2093
 
                </widget>
2094
 
                <packing>
2095
 
                  <property name="padding">0</property>
2096
 
                  <property name="expand">False</property>
2097
 
                  <property name="fill">False</property>
2098
 
                </packing>
2099
 
              </child>
2100
 
 
2101
 
              <child>
2102
 
                <widget class="GtkButton" id="btnRemove">
2103
 
                  <property name="visible">True</property>
2104
 
                  <property name="can_focus">True</property>
2105
 
                  <property name="label">gtk-delete</property>
2106
 
                  <property name="use_stock">True</property>
2107
 
                  <property name="relief">GTK_RELIEF_NORMAL</property>
2108
 
                  <property name="focus_on_click">True</property>
2109
 
                  <signal name="clicked" handler="OnRemove" last_modification_time="Wed, 05 Oct 2005 18:31:24 GMT"/>
2110
 
                </widget>
2111
 
                <packing>
2112
 
                  <property name="padding">0</property>
2113
 
                  <property name="expand">False</property>
2114
 
                  <property name="fill">False</property>
2115
 
                </packing>
2116
 
              </child>
2117
 
            </widget>
2118
 
            <packing>
2119
 
              <property name="padding">0</property>
2120
 
              <property name="expand">False</property>
2121
 
              <property name="fill">False</property>
2122
 
            </packing>
2123
 
          </child>
2124
 
        </widget>
2125
 
        <packing>
2126
 
          <property name="padding">0</property>
2127
 
          <property name="expand">True</property>
2128
 
          <property name="fill">True</property>
2129
 
        </packing>
2130
 
      </child>
2131
 
    </widget>
2132
 
  </child>
2133
 
</widget>
2134
 
 
2135
 
<widget class="GtkDialog" id="NewSiteDialog">
2136
 
  <property name="visible">True</property>
2137
 
  <property name="title" translatable="yes">Add New Repository</property>
2138
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
2139
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
2140
 
  <property name="modal">False</property>
2141
 
  <property name="default_width">550</property>
2142
 
  <property name="resizable">True</property>
2143
 
  <property name="destroy_with_parent">False</property>
2144
 
  <property name="decorated">True</property>
2145
 
  <property name="skip_taskbar_hint">False</property>
2146
 
  <property name="skip_pager_hint">False</property>
2147
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2148
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2149
 
  <property name="focus_on_map">True</property>
2150
 
  <property name="urgency_hint">False</property>
2151
 
  <property name="has_separator">True</property>
2152
 
 
2153
 
  <child internal-child="vbox">
2154
 
    <widget class="GtkVBox" id="dialog-vbox11">
2155
 
      <property name="visible">True</property>
2156
 
      <property name="homogeneous">False</property>
2157
 
      <property name="spacing">0</property>
2158
 
 
2159
 
      <child internal-child="action_area">
2160
 
        <widget class="GtkHButtonBox" id="dialog-action_area11">
2161
 
          <property name="visible">True</property>
2162
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
2163
 
 
2164
 
          <child>
2165
 
            <widget class="GtkButton" id="cancelbutton1">
2166
 
              <property name="visible">True</property>
2167
 
              <property name="can_default">True</property>
2168
 
              <property name="can_focus">True</property>
2169
 
              <property name="label">gtk-cancel</property>
2170
 
              <property name="use_stock">True</property>
2171
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
2172
 
              <property name="focus_on_click">True</property>
2173
 
              <property name="response_id">-6</property>
2174
 
            </widget>
2175
 
          </child>
2176
 
 
2177
 
          <child>
2178
 
            <widget class="GtkButton" id="btnOk">
2179
 
              <property name="visible">True</property>
2180
 
              <property name="can_default">True</property>
2181
 
              <property name="can_focus">True</property>
2182
 
              <property name="label">gtk-ok</property>
2183
 
              <property name="use_stock">True</property>
2184
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
2185
 
              <property name="focus_on_click">True</property>
2186
 
              <property name="response_id">-5</property>
2187
 
            </widget>
2188
 
          </child>
2189
 
        </widget>
2190
 
        <packing>
2191
 
          <property name="padding">0</property>
2192
 
          <property name="expand">False</property>
2193
 
          <property name="fill">True</property>
2194
 
          <property name="pack_type">GTK_PACK_END</property>
2195
 
        </packing>
2196
 
      </child>
2197
 
 
2198
 
      <child>
2199
 
        <widget class="GtkVBox" id="vbox89">
2200
 
          <property name="border_width">12</property>
2201
 
          <property name="visible">True</property>
2202
 
          <property name="homogeneous">False</property>
2203
 
          <property name="spacing">6</property>
2204
 
 
2205
 
          <child>
2206
 
            <widget class="GtkLabel" id="label121">
2207
 
              <property name="visible">True</property>
2208
 
              <property name="label" translatable="yes">Select the location of the repository you want to register:</property>
2209
 
              <property name="use_underline">False</property>
2210
 
              <property name="use_markup">False</property>
2211
 
              <property name="justify">GTK_JUSTIFY_LEFT</property>
2212
 
              <property name="wrap">False</property>
2213
 
              <property name="selectable">False</property>
2214
 
              <property name="xalign">0</property>
2215
 
              <property name="yalign">0.5</property>
2216
 
              <property name="xpad">0</property>
2217
 
              <property name="ypad">0</property>
2218
 
              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2219
 
              <property name="width_chars">-1</property>
2220
 
              <property name="single_line_mode">False</property>
2221
 
              <property name="angle">0</property>
2222
 
            </widget>
2223
 
            <packing>
2224
 
              <property name="padding">0</property>
2225
 
              <property name="expand">False</property>
2226
 
              <property name="fill">False</property>
2227
 
            </packing>
2228
 
          </child>
2229
 
 
2230
 
          <child>
2231
 
            <widget class="GtkRadioButton" id="btnOnlineRep">
2232
 
              <property name="visible">True</property>
2233
 
              <property name="can_focus">True</property>
2234
 
              <property name="label" translatable="yes">Register an on-line repository</property>
2235
 
              <property name="use_underline">True</property>
2236
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
2237
 
              <property name="focus_on_click">True</property>
2238
 
              <property name="active">False</property>
2239
 
              <property name="inconsistent">False</property>
2240
 
              <property name="draw_indicator">True</property>
2241
 
              <signal name="clicked" handler="OnOptionClicked" last_modification_time="Wed, 05 Oct 2005 20:43:23 GMT"/>
2242
 
            </widget>
2243
 
            <packing>
2244
 
              <property name="padding">0</property>
2245
 
              <property name="expand">False</property>
2246
 
              <property name="fill">False</property>
2247
 
            </packing>
2248
 
          </child>
2249
 
 
2250
 
          <child>
2251
 
            <widget class="GtkHBox" id="hbox68">
2252
 
              <property name="visible">True</property>
2253
 
              <property name="homogeneous">False</property>
2254
 
              <property name="spacing">6</property>
2255
 
 
2256
 
              <child>
2257
 
                <widget class="GtkLabel" id="label122">
2258
 
                  <property name="width_request">32</property>
2259
 
                  <property name="visible">True</property>
2260
 
                  <property name="label" translatable="yes"></property>
2261
 
                  <property name="use_underline">False</property>
2262
 
                  <property name="use_markup">False</property>
2263
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
2264
 
                  <property name="wrap">False</property>
2265
 
                  <property name="selectable">False</property>
2266
 
                  <property name="xalign">0.5</property>
2267
 
                  <property name="yalign">0.5</property>
2268
 
                  <property name="xpad">0</property>
2269
 
                  <property name="ypad">0</property>
2270
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2271
 
                  <property name="width_chars">-1</property>
2272
 
                  <property name="single_line_mode">False</property>
2273
 
                  <property name="angle">0</property>
2274
 
                </widget>
2275
 
                <packing>
2276
 
                  <property name="padding">0</property>
2277
 
                  <property name="expand">False</property>
2278
 
                  <property name="fill">False</property>
2279
 
                </packing>
2280
 
              </child>
2281
 
 
2282
 
              <child>
2283
 
                <widget class="GtkLabel" id="label119">
2284
 
                  <property name="visible">True</property>
2285
 
                  <property name="label" translatable="yes">Url:</property>
2286
 
                  <property name="use_underline">False</property>
2287
 
                  <property name="use_markup">False</property>
2288
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
2289
 
                  <property name="wrap">False</property>
2290
 
                  <property name="selectable">False</property>
2291
 
                  <property name="xalign">0.5</property>
2292
 
                  <property name="yalign">0.5</property>
2293
 
                  <property name="xpad">0</property>
2294
 
                  <property name="ypad">0</property>
2295
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2296
 
                  <property name="width_chars">-1</property>
2297
 
                  <property name="single_line_mode">False</property>
2298
 
                  <property name="angle">0</property>
2299
 
                </widget>
2300
 
                <packing>
2301
 
                  <property name="padding">0</property>
2302
 
                  <property name="expand">False</property>
2303
 
                  <property name="fill">False</property>
2304
 
                </packing>
2305
 
              </child>
2306
 
 
2307
 
              <child>
2308
 
                <widget class="GtkEntry" id="urlText">
2309
 
                  <property name="visible">True</property>
2310
 
                  <property name="can_focus">True</property>
2311
 
                  <property name="editable">True</property>
2312
 
                  <property name="visibility">True</property>
2313
 
                  <property name="max_length">0</property>
2314
 
                  <property name="text" translatable="yes"></property>
2315
 
                  <property name="has_frame">True</property>
2316
 
                  <property name="invisible_char">*</property>
2317
 
                  <property name="activates_default">False</property>
2318
 
                  <signal name="changed" handler="OnTextChanged" last_modification_time="Wed, 05 Oct 2005 20:56:26 GMT"/>
2319
 
                </widget>
2320
 
                <packing>
2321
 
                  <property name="padding">0</property>
2322
 
                  <property name="expand">True</property>
2323
 
                  <property name="fill">True</property>
2324
 
                </packing>
2325
 
              </child>
2326
 
            </widget>
2327
 
            <packing>
2328
 
              <property name="padding">0</property>
2329
 
              <property name="expand">False</property>
2330
 
              <property name="fill">False</property>
2331
 
            </packing>
2332
 
          </child>
2333
 
 
2334
 
          <child>
2335
 
            <widget class="GtkRadioButton" id="btnLocalRep">
2336
 
              <property name="visible">True</property>
2337
 
              <property name="can_focus">True</property>
2338
 
              <property name="label" translatable="yes">Register a local repository</property>
2339
 
              <property name="use_underline">True</property>
2340
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
2341
 
              <property name="focus_on_click">True</property>
2342
 
              <property name="active">False</property>
2343
 
              <property name="inconsistent">False</property>
2344
 
              <property name="draw_indicator">True</property>
2345
 
              <property name="group">btnOnlineRep</property>
2346
 
              <signal name="clicked" handler="OnOptionClicked" last_modification_time="Wed, 05 Oct 2005 20:43:55 GMT"/>
2347
 
            </widget>
2348
 
            <packing>
2349
 
              <property name="padding">0</property>
2350
 
              <property name="expand">False</property>
2351
 
              <property name="fill">False</property>
2352
 
            </packing>
2353
 
          </child>
2354
 
 
2355
 
          <child>
2356
 
            <widget class="GtkHBox" id="hbox69">
2357
 
              <property name="visible">True</property>
2358
 
              <property name="homogeneous">False</property>
2359
 
              <property name="spacing">6</property>
2360
 
 
2361
 
              <child>
2362
 
                <widget class="GtkLabel" id="label123">
2363
 
                  <property name="width_request">32</property>
2364
 
                  <property name="visible">True</property>
2365
 
                  <property name="label" translatable="yes"></property>
2366
 
                  <property name="use_underline">False</property>
2367
 
                  <property name="use_markup">False</property>
2368
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
2369
 
                  <property name="wrap">False</property>
2370
 
                  <property name="selectable">False</property>
2371
 
                  <property name="xalign">0.5</property>
2372
 
                  <property name="yalign">0.5</property>
2373
 
                  <property name="xpad">0</property>
2374
 
                  <property name="ypad">0</property>
2375
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2376
 
                  <property name="width_chars">-1</property>
2377
 
                  <property name="single_line_mode">False</property>
2378
 
                  <property name="angle">0</property>
2379
 
                </widget>
2380
 
                <packing>
2381
 
                  <property name="padding">0</property>
2382
 
                  <property name="expand">False</property>
2383
 
                  <property name="fill">False</property>
2384
 
                </packing>
2385
 
              </child>
2386
 
 
2387
 
              <child>
2388
 
                <widget class="GtkLabel" id="label120">
2389
 
                  <property name="visible">True</property>
2390
 
                  <property name="label" translatable="yes">Path:</property>
2391
 
                  <property name="use_underline">False</property>
2392
 
                  <property name="use_markup">False</property>
2393
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
2394
 
                  <property name="wrap">False</property>
2395
 
                  <property name="selectable">False</property>
2396
 
                  <property name="xalign">0.5</property>
2397
 
                  <property name="yalign">0.5</property>
2398
 
                  <property name="xpad">0</property>
2399
 
                  <property name="ypad">0</property>
2400
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2401
 
                  <property name="width_chars">-1</property>
2402
 
                  <property name="single_line_mode">False</property>
2403
 
                  <property name="angle">0</property>
2404
 
                </widget>
2405
 
                <packing>
2406
 
                  <property name="padding">0</property>
2407
 
                  <property name="expand">False</property>
2408
 
                  <property name="fill">False</property>
2409
 
                </packing>
2410
 
              </child>
2411
 
 
2412
 
              <child>
2413
 
                <widget class="GnomeFileEntry" id="pathEntry">
2414
 
                  <property name="visible">True</property>
2415
 
                  <property name="sensitive">False</property>
2416
 
                  <property name="max_saved">10</property>
2417
 
                  <property name="directory_entry">False</property>
2418
 
                  <property name="modal">True</property>
2419
 
                  <property name="use_filechooser">True</property>
2420
 
                  <property name="filechooser_action">GTK_FILE_CHOOSER_ACTION_OPEN</property>
2421
 
 
2422
 
                  <child internal-child="entry">
2423
 
                    <widget class="GtkEntry" id="pathText">
2424
 
                      <property name="visible">True</property>
2425
 
                      <property name="can_focus">True</property>
2426
 
                      <property name="editable">True</property>
2427
 
                      <property name="visibility">True</property>
2428
 
                      <property name="max_length">0</property>
2429
 
                      <property name="text" translatable="yes"></property>
2430
 
                      <property name="has_frame">True</property>
2431
 
                      <property name="invisible_char">*</property>
2432
 
                      <property name="activates_default">False</property>
2433
 
                      <signal name="changed" handler="OnTextChanged" last_modification_time="Wed, 05 Oct 2005 20:56:35 GMT"/>
2434
 
                    </widget>
2435
 
                  </child>
2436
 
                </widget>
2437
 
                <packing>
2438
 
                  <property name="padding">0</property>
2439
 
                  <property name="expand">True</property>
2440
 
                  <property name="fill">True</property>
2441
 
                </packing>
2442
 
              </child>
2443
 
            </widget>
2444
 
            <packing>
2445
 
              <property name="padding">0</property>
2446
 
              <property name="expand">False</property>
2447
 
              <property name="fill">False</property>
2448
 
            </packing>
2449
 
          </child>
2450
 
        </widget>
2451
 
        <packing>
2452
 
          <property name="padding">0</property>
2453
 
          <property name="expand">True</property>
2454
 
          <property name="fill">True</property>
2455
 
        </packing>
2456
 
      </child>
2457
 
    </widget>
2458
 
  </child>
2459
 
</widget>
2460
 
 
2461
 
<widget class="GtkDialog" id="AddinInfoDialog">
2462
 
  <property name="visible">True</property>
2463
 
  <property name="title" translatable="yes">MonoDevelop Package</property>
2464
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
2465
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
2466
 
  <property name="modal">False</property>
2467
 
  <property name="default_width">550</property>
2468
 
  <property name="default_height">400</property>
2469
 
  <property name="resizable">True</property>
2470
 
  <property name="destroy_with_parent">False</property>
2471
 
  <property name="decorated">True</property>
2472
 
  <property name="skip_taskbar_hint">False</property>
2473
 
  <property name="skip_pager_hint">False</property>
2474
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2475
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2476
 
  <property name="focus_on_map">True</property>
2477
 
  <property name="urgency_hint">False</property>
2478
 
  <property name="has_separator">True</property>
2479
 
 
2480
 
  <child internal-child="vbox">
2481
 
    <widget class="GtkVBox" id="dialog-vbox12">
2482
 
      <property name="visible">True</property>
2483
 
      <property name="homogeneous">False</property>
2484
 
      <property name="spacing">0</property>
2485
 
 
2486
 
      <child internal-child="action_area">
2487
 
        <widget class="GtkHButtonBox" id="dialog-action_area12">
2488
 
          <property name="visible">True</property>
2489
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
2490
 
 
2491
 
          <child>
2492
 
            <widget class="GtkButton" id="closebutton3">
2493
 
              <property name="visible">True</property>
2494
 
              <property name="can_default">True</property>
2495
 
              <property name="can_focus">True</property>
2496
 
              <property name="label">gtk-close</property>
2497
 
              <property name="use_stock">True</property>
2498
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
2499
 
              <property name="focus_on_click">True</property>
2500
 
              <property name="response_id">-7</property>
2501
 
            </widget>
2502
 
          </child>
2503
 
        </widget>
2504
 
        <packing>
2505
 
          <property name="padding">0</property>
2506
 
          <property name="expand">False</property>
2507
 
          <property name="fill">True</property>
2508
 
          <property name="pack_type">GTK_PACK_END</property>
2509
 
        </packing>
2510
 
      </child>
2511
 
 
2512
 
      <child>
2513
 
        <widget class="GtkHBox" id="hbox81">
2514
 
          <property name="border_width">12</property>
2515
 
          <property name="visible">True</property>
2516
 
          <property name="homogeneous">False</property>
2517
 
          <property name="spacing">12</property>
2518
 
 
2519
 
          <child>
2520
 
            <widget class="GtkVBox" id="vbox94">
2521
 
              <property name="visible">True</property>
2522
 
              <property name="homogeneous">False</property>
2523
 
              <property name="spacing">0</property>
2524
 
 
2525
 
              <child>
2526
 
                <widget class="GtkImage" id="packageImage">
2527
 
                  <property name="visible">True</property>
2528
 
                  <property name="xalign">0.5</property>
2529
 
                  <property name="yalign">0.5</property>
2530
 
                  <property name="xpad">0</property>
2531
 
                  <property name="ypad">0</property>
2532
 
                </widget>
2533
 
                <packing>
2534
 
                  <property name="padding">0</property>
2535
 
                  <property name="expand">False</property>
2536
 
                  <property name="fill">False</property>
2537
 
                </packing>
2538
 
              </child>
2539
 
 
2540
 
              <child>
2541
 
                <placeholder/>
2542
 
              </child>
2543
 
            </widget>
2544
 
            <packing>
2545
 
              <property name="padding">0</property>
2546
 
              <property name="expand">False</property>
2547
 
              <property name="fill">False</property>
2548
 
            </packing>
2549
 
          </child>
2550
 
 
2551
 
          <child>
2552
 
            <widget class="GtkScrolledWindow" id="scrolledwindow22">
2553
 
              <property name="visible">True</property>
2554
 
              <property name="can_focus">True</property>
2555
 
              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2556
 
              <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2557
 
              <property name="shadow_type">GTK_SHADOW_NONE</property>
2558
 
              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2559
 
 
2560
 
              <child>
2561
 
                <widget class="GtkViewport" id="viewport4">
2562
 
                  <property name="visible">True</property>
2563
 
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
2564
 
 
2565
 
                  <child>
2566
 
                    <widget class="GtkLabel" id="infoLabel">
2567
 
                      <property name="width_request">420</property>
2568
 
                      <property name="visible">True</property>
2569
 
                      <property name="label">aa a a a a a a a a aa a a a a aaa a a a a a a a a aa a a a a aaa a a a a a a a a aa a a a a a</property>
2570
 
                      <property name="use_underline">False</property>
2571
 
                      <property name="use_markup">False</property>
2572
 
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
2573
 
                      <property name="wrap">True</property>
2574
 
                      <property name="selectable">False</property>
2575
 
                      <property name="xalign">0</property>
2576
 
                      <property name="yalign">0</property>
2577
 
                      <property name="xpad">6</property>
2578
 
                      <property name="ypad">6</property>
2579
 
                      <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2580
 
                      <property name="width_chars">-1</property>
2581
 
                      <property name="single_line_mode">False</property>
2582
 
                      <property name="angle">0</property>
2583
 
                    </widget>
2584
 
                  </child>
2585
 
                </widget>
2586
 
              </child>
2587
 
            </widget>
2588
 
            <packing>
2589
 
              <property name="padding">0</property>
2590
 
              <property name="expand">True</property>
2591
 
              <property name="fill">True</property>
2592
 
            </packing>
2593
 
          </child>
2594
 
        </widget>
2595
 
        <packing>
2596
 
          <property name="padding">0</property>
2597
 
          <property name="expand">True</property>
2598
 
          <property name="fill">True</property>
2599
 
        </packing>
2600
 
      </child>
2601
 
    </widget>
2602
 
  </child>
2603
 
</widget>
2604
 
 
2605
 
<widget class="GtkDialog" id="ProgressDialog">
2606
 
  <property name="visible">True</property>
2607
 
  <property name="title" translatable="yes">MonoDevelop</property>
2608
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
2609
 
  <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
2610
 
  <property name="modal">True</property>
2611
 
  <property name="resizable">True</property>
2612
 
  <property name="destroy_with_parent">False</property>
2613
 
  <property name="decorated">True</property>
2614
 
  <property name="skip_taskbar_hint">False</property>
2615
 
  <property name="skip_pager_hint">False</property>
2616
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2617
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2618
 
  <property name="focus_on_map">True</property>
2619
 
  <property name="urgency_hint">False</property>
2620
 
  <property name="has_separator">False</property>
2621
 
 
2622
 
  <child internal-child="vbox">
2623
 
    <widget class="GtkVBox" id="dialog-vbox13">
2624
 
      <property name="visible">True</property>
2625
 
      <property name="homogeneous">False</property>
2626
 
      <property name="spacing">0</property>
2627
 
 
2628
 
      <child internal-child="action_area">
2629
 
        <widget class="GtkHButtonBox" id="dialog-action_area13">
2630
 
          <property name="visible">True</property>
2631
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
2632
 
        </widget>
2633
 
        <packing>
2634
 
          <property name="padding">0</property>
2635
 
          <property name="expand">False</property>
2636
 
          <property name="fill">True</property>
2637
 
          <property name="pack_type">GTK_PACK_END</property>
2638
 
        </packing>
2639
 
      </child>
2640
 
 
2641
 
      <child>
2642
 
        <widget class="GtkVBox" id="vbox934">
2643
 
          <property name="border_width">12</property>
2644
 
          <property name="visible">True</property>
2645
 
          <property name="homogeneous">False</property>
2646
 
          <property name="spacing">6</property>
2647
 
 
2648
 
          <child>
2649
 
            <widget class="GtkLabel" id="label">
2650
 
              <property name="width_request">600</property>
2651
 
              <property name="visible">True</property>
2652
 
              <property name="label" translatable="yes">Loading...</property>
2653
 
              <property name="use_underline">False</property>
2654
 
              <property name="use_markup">False</property>
2655
 
              <property name="justify">GTK_JUSTIFY_LEFT</property>
2656
 
              <property name="wrap">False</property>
2657
 
              <property name="selectable">False</property>
2658
 
              <property name="xalign">0</property>
2659
 
              <property name="yalign">0.5</property>
2660
 
              <property name="xpad">0</property>
2661
 
              <property name="ypad">0</property>
2662
 
              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2663
 
              <property name="width_chars">-1</property>
2664
 
              <property name="single_line_mode">False</property>
2665
 
              <property name="angle">0</property>
2666
 
            </widget>
2667
 
            <packing>
2668
 
              <property name="padding">0</property>
2669
 
              <property name="expand">False</property>
2670
 
              <property name="fill">False</property>
2671
 
            </packing>
2672
 
          </child>
2673
 
 
2674
 
          <child>
2675
 
            <widget class="GtkHBox" id="hbox86">
2676
 
              <property name="visible">True</property>
2677
 
              <property name="homogeneous">False</property>
2678
 
              <property name="spacing">12</property>
2679
 
 
2680
 
              <child>
2681
 
                <widget class="GtkProgressBar" id="progressBar">
2682
 
                  <property name="width_request">425</property>
2683
 
                  <property name="visible">True</property>
2684
 
                  <property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
2685
 
                  <property name="fraction">0</property>
2686
 
                  <property name="pulse_step">0.10000000149</property>
2687
 
                  <property name="text" translatable="yes"></property>
2688
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2689
 
                </widget>
2690
 
                <packing>
2691
 
                  <property name="padding">0</property>
2692
 
                  <property name="expand">True</property>
2693
 
                  <property name="fill">True</property>
2694
 
                </packing>
2695
 
              </child>
2696
 
 
2697
 
              <child>
2698
 
                <widget class="GtkButton" id="btnCancel">
2699
 
                  <property name="visible">True</property>
2700
 
                  <property name="can_focus">True</property>
2701
 
                  <property name="label">gtk-cancel</property>
2702
 
                  <property name="use_stock">True</property>
2703
 
                  <property name="relief">GTK_RELIEF_NORMAL</property>
2704
 
                  <property name="focus_on_click">True</property>
2705
 
                </widget>
2706
 
                <packing>
2707
 
                  <property name="padding">0</property>
2708
 
                  <property name="expand">False</property>
2709
 
                  <property name="fill">False</property>
2710
 
                </packing>
2711
 
              </child>
2712
 
 
2713
 
              <child>
2714
 
                <widget class="GtkButton" id="btnClose">
2715
 
                  <property name="can_focus">True</property>
2716
 
                  <property name="label">gtk-close</property>
2717
 
                  <property name="use_stock">True</property>
2718
 
                  <property name="relief">GTK_RELIEF_NORMAL</property>
2719
 
                  <property name="focus_on_click">True</property>
2720
 
                </widget>
2721
 
                <packing>
2722
 
                  <property name="padding">0</property>
2723
 
                  <property name="expand">False</property>
2724
 
                  <property name="fill">False</property>
2725
 
                </packing>
2726
 
              </child>
2727
 
            </widget>
2728
 
            <packing>
2729
 
              <property name="padding">0</property>
2730
 
              <property name="expand">False</property>
2731
 
              <property name="fill">False</property>
2732
 
            </packing>
2733
 
          </child>
2734
 
 
2735
 
          <child>
2736
 
            <widget class="GtkExpander" id="expander">
2737
 
              <property name="visible">True</property>
2738
 
              <property name="can_focus">True</property>
2739
 
              <property name="expanded">False</property>
2740
 
              <property name="spacing">0</property>
2741
 
 
2742
 
              <child>
2743
 
                <widget class="GtkScrolledWindow" id="scrolledwindow23">
2744
 
                  <property name="visible">True</property>
2745
 
                  <property name="can_focus">True</property>
2746
 
                  <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
2747
 
                  <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2748
 
                  <property name="shadow_type">GTK_SHADOW_IN</property>
2749
 
                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2750
 
 
2751
 
                  <child>
2752
 
                    <widget class="GtkTextView" id="detailsTextView">
2753
 
                      <property name="height_request">250</property>
2754
 
                      <property name="visible">True</property>
2755
 
                      <property name="can_focus">True</property>
2756
 
                      <property name="editable">True</property>
2757
 
                      <property name="overwrite">False</property>
2758
 
                      <property name="accepts_tab">True</property>
2759
 
                      <property name="justification">GTK_JUSTIFY_LEFT</property>
2760
 
                      <property name="wrap_mode">GTK_WRAP_NONE</property>
2761
 
                      <property name="cursor_visible">True</property>
2762
 
                      <property name="pixels_above_lines">2</property>
2763
 
                      <property name="pixels_below_lines">2</property>
2764
 
                      <property name="pixels_inside_wrap">0</property>
2765
 
                      <property name="left_margin">6</property>
2766
 
                      <property name="right_margin">6</property>
2767
 
                      <property name="indent">0</property>
2768
 
                      <property name="text" translatable="yes"></property>
2769
 
                    </widget>
2770
 
                  </child>
2771
 
                </widget>
2772
 
              </child>
2773
 
 
2774
 
              <child>
2775
 
                <widget class="GtkLabel" id="label146">
2776
 
                  <property name="visible">True</property>
2777
 
                  <property name="label" translatable="yes">Details</property>
2778
 
                  <property name="use_underline">False</property>
2779
 
                  <property name="use_markup">False</property>
2780
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
2781
 
                  <property name="wrap">False</property>
2782
 
                  <property name="selectable">False</property>
2783
 
                  <property name="xalign">0.5</property>
2784
 
                  <property name="yalign">0.5</property>
2785
 
                  <property name="xpad">0</property>
2786
 
                  <property name="ypad">0</property>
2787
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2788
 
                  <property name="width_chars">-1</property>
2789
 
                  <property name="single_line_mode">False</property>
2790
 
                  <property name="angle">0</property>
2791
 
                </widget>
2792
 
                <packing>
2793
 
                  <property name="type">label_item</property>
2794
 
                </packing>
2795
 
              </child>
2796
 
            </widget>
2797
 
            <packing>
2798
 
              <property name="padding">0</property>
2799
 
              <property name="expand">True</property>
2800
 
              <property name="fill">True</property>
2801
 
            </packing>
2802
 
          </child>
2803
 
        </widget>
2804
 
        <packing>
2805
 
          <property name="padding">0</property>
2806
 
          <property name="expand">True</property>
2807
 
          <property name="fill">True</property>
2808
 
        </packing>
2809
 
      </child>
2810
 
    </widget>
2811
 
  </child>
2812
 
</widget>
2813
 
 
2814
 
</glade-interface>