← Back to branch summary

~ubuntu-branches/ubuntu/trusty/anjuta/trusty

« back to all changes in this revision

Viewing changes to plugins/subversion/anjuta-subversion.ui

  • Committer: Package Import Robot
  • Author(s): Steve Ovens
  • Date: 2014-01-03 21:06:06 UTC
  • mfrom: (1.1.55)
  • Revision ID: package-import@ubuntu.com-20140103210606-pmvzhu0s68qy6261
Tags: 2:3.10.2-0ubuntu1
https://launchpad.net/bugs/1266037
* New upstream release (LP: #1266037)
- Updated Build-Depends of libgtk-3-dev (>= 3.6.0),
  libglib2.0-dev (>= 2.34.0)

Show diffs side-by-side

added added

removed removed

Lines of Context:
plugins/subversion/anjuta-subversion.ui
1
 
<?xml version="1.0"?>
 
1
<?xml version="1.0" encoding="UTF-8"?>
2
2
<interface>
3
 
  <requires lib="gtk+" version="2.16"/>
 
3
  <!-- interface-requires gtk+ 3.0 -->
4
4
  <!-- interface-requires anjuta 0.0 -->
5
 
  <!-- interface-naming-policy toplevel-contextual -->
6
5
  <object class="GtkWindow" id="preferences_subversion">
 
6
    <property name="can_focus">False</property>
7
7
    <property name="title" translatable="yes">Subversion Preferences</property>
8
8
    <child>
9
9
      <object class="GtkFrame" id="subversion">
10
10
        <property name="visible">True</property>
 
11
        <property name="can_focus">False</property>
11
12
        <property name="border_width">10</property>
12
13
        <property name="label_xalign">0</property>
13
14
        <property name="shadow_type">none</property>
14
15
        <child>
15
16
          <object class="GtkLabel" id="label32">
16
17
            <property name="visible">True</property>
 
18
            <property name="can_focus">False</property>
17
19
            <property name="label">TODO!</property>
18
20
          </object>
19
21
        </child>
20
22
        <child type="label">
21
23
          <object class="GtkLabel" id="label6">
22
24
            <property name="visible">True</property>
 
25
            <property name="can_focus">False</property>
23
26
            <property name="label" translatable="yes">Subversion Options</property>
24
27
            <attributes>
25
28
              <attribute name="weight" value="bold"/>
30
33
    </child>
31
34
  </object>
32
35
  <object class="GtkDialog" id="subversion_add">
 
36
    <property name="can_focus">False</property>
33
37
    <property name="border_width">10</property>
34
38
    <property name="title" translatable="yes">Add file/directory</property>
35
39
    <property name="type_hint">dialog</property>
36
40
    <child internal-child="vbox">
37
 
      <object class="GtkVBox" id="dialog-vbox1">
 
41
      <object class="GtkBox" id="dialog-vbox1">
38
42
        <property name="visible">True</property>
 
43
        <property name="can_focus">False</property>
39
44
        <property name="spacing">5</property>
 
45
        <child internal-child="action_area">
 
46
          <object class="GtkButtonBox" id="dialog-action_area1">
 
47
            <property name="visible">True</property>
 
48
            <property name="can_focus">False</property>
 
49
            <property name="layout_style">end</property>
 
50
            <child>
 
51
              <object class="GtkButton" id="cancelbutton1">
 
52
                <property name="label">gtk-cancel</property>
 
53
                <property name="visible">True</property>
 
54
                <property name="can_focus">True</property>
 
55
                <property name="can_default">True</property>
 
56
                <property name="receives_default">False</property>
 
57
                <property name="use_stock">True</property>
 
58
              </object>
 
59
              <packing>
 
60
                <property name="expand">False</property>
 
61
                <property name="fill">False</property>
 
62
                <property name="position">0</property>
 
63
              </packing>
 
64
            </child>
 
65
            <child>
 
66
              <object class="GtkButton" id="okbutton1">
 
67
                <property name="label">gtk-ok</property>
 
68
                <property name="visible">True</property>
 
69
                <property name="can_focus">True</property>
 
70
                <property name="can_default">True</property>
 
71
                <property name="receives_default">False</property>
 
72
                <property name="use_stock">True</property>
 
73
              </object>
 
74
              <packing>
 
75
                <property name="expand">False</property>
 
76
                <property name="fill">False</property>
 
77
                <property name="position">1</property>
 
78
              </packing>
 
79
            </child>
 
80
          </object>
 
81
          <packing>
 
82
            <property name="expand">False</property>
 
83
            <property name="fill">True</property>
 
84
            <property name="pack_type">end</property>
 
85
            <property name="position">0</property>
 
86
          </packing>
 
87
        </child>
40
88
        <child>
41
89
          <object class="GtkVBox" id="vbox1">
42
90
            <property name="visible">True</property>
 
91
            <property name="can_focus">False</property>
43
92
            <property name="spacing">10</property>
44
93
            <child>
45
94
              <object class="GtkLabel" id="label1">
46
95
                <property name="visible">True</property>
 
96
                <property name="can_focus">False</property>
47
97
                <property name="xalign">0</property>
48
98
                <property name="yalign">0</property>
49
99
                <property name="label" translatable="yes">Choose file or directory to add:</property>
57
107
            <child>
58
108
              <object class="GtkHBox" id="hbox01">
59
109
                <property name="visible">True</property>
 
110
                <property name="can_focus">False</property>
60
111
                <child>
61
112
                  <object class="GtkEntry" id="subversion_add_filename">
62
113
                    <property name="width_request">260</property>
63
114
                    <property name="visible">True</property>
64
115
                    <property name="can_focus">True</property>
65
 
                    <property name="invisible_char">&#x25CF;</property>
 
116
                    <property name="invisible_char">●</property>
66
117
                  </object>
67
118
                  <packing>
 
119
                    <property name="expand">True</property>
 
120
                    <property name="fill">True</property>
68
121
                    <property name="position">0</property>
69
122
                  </packing>
70
123
                </child>
77
130
                  </object>
78
131
                  <packing>
79
132
                    <property name="expand">False</property>
 
133
                    <property name="fill">True</property>
80
134
                    <property name="position">1</property>
81
135
                  </packing>
82
136
                </child>
90
144
            <child>
91
145
              <object class="GtkFrame" id="frame9">
92
146
                <property name="visible">True</property>
 
147
                <property name="can_focus">False</property>
93
148
                <property name="border_width">5</property>
94
149
                <property name="label_xalign">0</property>
95
150
                <property name="shadow_type">none</property>
96
151
                <child>
97
152
                  <object class="GtkAlignment" id="alignment9">
98
153
                    <property name="visible">True</property>
 
154
                    <property name="can_focus">False</property>
99
155
                    <property name="left_padding">12</property>
100
156
                    <child>
101
157
                      <object class="GtkVBox" id="vbox19">
102
158
                        <property name="visible">True</property>
 
159
                        <property name="can_focus">False</property>
103
160
                        <property name="border_width">6</property>
104
161
                        <child>
105
162
                          <object class="GtkCheckButton" id="subversion_force">
108
165
                            <property name="can_focus">True</property>
109
166
                            <property name="receives_default">False</property>
110
167
                            <property name="use_underline">True</property>
 
168
                            <property name="xalign">0.5</property>
111
169
                            <property name="draw_indicator">True</property>
112
170
                          </object>
113
171
                          <packing>
123
181
                            <property name="can_focus">True</property>
124
182
                            <property name="receives_default">False</property>
125
183
                            <property name="use_underline">True</property>
 
184
                            <property name="xalign">0.5</property>
126
185
                            <property name="draw_indicator">True</property>
127
186
                          </object>
128
187
                          <packing>
138
197
                <child type="label">
139
198
                  <object class="GtkLabel" id="label33">
140
199
                    <property name="visible">True</property>
 
200
                    <property name="can_focus">False</property>
141
201
                    <property name="label" translatable="yes">Options:</property>
142
202
                    <attributes>
143
203
                      <attribute name="weight" value="bold"/>
146
206
                </child>
147
207
              </object>
148
208
              <packing>
 
209
                <property name="expand">True</property>
 
210
                <property name="fill">True</property>
149
211
                <property name="position">2</property>
150
212
              </packing>
151
213
            </child>
152
214
          </object>
153
215
          <packing>
 
216
            <property name="expand">False</property>
 
217
            <property name="fill">True</property>
154
218
            <property name="position">2</property>
155
219
          </packing>
156
220
        </child>
157
 
        <child internal-child="action_area">
158
 
          <object class="GtkHButtonBox" id="dialog-action_area1">
159
 
            <property name="visible">True</property>
160
 
            <property name="layout_style">end</property>
161
 
            <child>
162
 
              <object class="GtkButton" id="cancelbutton1">
163
 
                <property name="label">gtk-cancel</property>
164
 
                <property name="visible">True</property>
165
 
                <property name="can_focus">True</property>
166
 
                <property name="can_default">True</property>
167
 
                <property name="receives_default">False</property>
168
 
                <property name="use_stock">True</property>
169
 
              </object>
170
 
              <packing>
171
 
                <property name="expand">False</property>
172
 
                <property name="fill">False</property>
173
 
                <property name="position">0</property>
174
 
              </packing>
175
 
            </child>
176
 
            <child>
177
 
              <object class="GtkButton" id="okbutton1">
178
 
                <property name="label">gtk-ok</property>
179
 
                <property name="visible">True</property>
180
 
                <property name="can_focus">True</property>
181
 
                <property name="can_default">True</property>
182
 
                <property name="receives_default">False</property>
183
 
                <property name="use_stock">True</property>
184
 
              </object>
185
 
              <packing>
186
 
                <property name="expand">False</property>
187
 
                <property name="fill">False</property>
188
 
                <property name="position">1</property>
189
 
              </packing>
190
 
            </child>
191
 
          </object>
192
 
          <packing>
193
 
            <property name="expand">False</property>
194
 
            <property name="pack_type">end</property>
195
 
            <property name="position">0</property>
196
 
          </packing>
197
 
        </child>
198
221
      </object>
199
222
    </child>
200
223
    <action-widgets>
202
225
      <action-widget response="-5">okbutton1</action-widget>
203
226
    </action-widgets>
204
227
  </object>
205
 
  <object class="GtkDialog" id="subversion_remove">
206
 
    <property name="width_request">550</property>
207
 
    <property name="border_width">10</property>
208
 
    <property name="title" translatable="yes">Remove file/directory</property>
209
 
    <property name="resizable">False</property>
210
 
    <property name="type_hint">dialog</property>
211
 
    <child internal-child="vbox">
212
 
      <object class="GtkVBox" id="vbox2">
213
 
        <property name="visible">True</property>
214
 
        <property name="spacing">5</property>
215
 
        <child>
216
 
          <object class="GtkVBox" id="vbox3">
217
 
            <property name="visible">True</property>
218
 
            <property name="spacing">2</property>
219
 
            <child>
220
 
              <object class="GtkFrame" id="frame27">
221
 
                <property name="visible">True</property>
222
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
223
 
                <property name="label_xalign">0</property>
224
 
                <property name="shadow_type">none</property>
225
 
                <child>
226
 
                  <object class="GtkHBox" id="hbox18">
227
 
                    <property name="visible">True</property>
228
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
229
 
                    <property name="spacing">2</property>
230
 
                    <child>
231
 
                      <object class="GtkEntry" id="remove_path_entry">
232
 
                        <property name="visible">True</property>
233
 
                        <property name="can_focus">True</property>
234
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
235
 
                      </object>
236
 
                      <packing>
237
 
                        <property name="position">0</property>
238
 
                      </packing>
239
 
                    </child>
240
 
                    <child>
241
 
                      <object class="GtkButton" id="remove_path_browse_button">
242
 
                        <property name="label" translatable="yes">Browse…</property>
243
 
                        <property name="visible">True</property>
244
 
                        <property name="can_focus">True</property>
245
 
                        <property name="receives_default">True</property>
246
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
247
 
                      </object>
248
 
                      <packing>
249
 
                        <property name="expand">False</property>
250
 
                        <property name="fill">False</property>
251
 
                        <property name="position">1</property>
252
 
                      </packing>
253
 
                    </child>
254
 
                  </object>
255
 
                </child>
256
 
                <child type="label">
257
 
                  <object class="GtkLabel" id="label4">
258
 
                    <property name="visible">True</property>
259
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
260
 
                    <property name="label" translatable="yes">File/URL to Remove:</property>
261
 
                    <attributes>
262
 
                      <attribute name="weight" value="bold"/>
263
 
                    </attributes>
264
 
                  </object>
265
 
                </child>
266
 
              </object>
267
 
              <packing>
268
 
                <property name="expand">False</property>
269
 
                <property name="fill">False</property>
270
 
                <property name="position">0</property>
271
 
              </packing>
272
 
            </child>
273
 
            <child>
274
 
              <object class="GtkFrame" id="frame10">
275
 
                <property name="visible">True</property>
276
 
                <property name="border_width">5</property>
277
 
                <property name="label_xalign">0</property>
278
 
                <property name="shadow_type">none</property>
279
 
                <child>
280
 
                  <object class="GtkAlignment" id="alignment10">
281
 
                    <property name="visible">True</property>
282
 
                    <property name="left_padding">12</property>
283
 
                    <child>
284
 
                      <object class="GtkCheckButton" id="subversion_force1">
285
 
                        <property name="label" translatable="yes">Force</property>
286
 
                        <property name="visible">True</property>
287
 
                        <property name="can_focus">True</property>
288
 
                        <property name="receives_default">False</property>
289
 
                        <property name="use_underline">True</property>
290
 
                        <property name="draw_indicator">True</property>
291
 
                      </object>
292
 
                    </child>
293
 
                  </object>
294
 
                </child>
295
 
                <child type="label">
296
 
                  <object class="GtkLabel" id="label34">
297
 
                    <property name="visible">True</property>
298
 
                    <property name="label" translatable="yes">Options:</property>
299
 
                    <attributes>
300
 
                      <attribute name="weight" value="bold"/>
301
 
                    </attributes>
302
 
                  </object>
303
 
                </child>
304
 
              </object>
305
 
              <packing>
306
 
                <property name="expand">False</property>
307
 
                <property name="fill">False</property>
308
 
                <property name="position">1</property>
309
 
              </packing>
310
 
            </child>
311
 
            <child>
312
 
              <object class="GtkFrame" id="frame25">
313
 
                <property name="visible">True</property>
314
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
315
 
                <property name="label_xalign">0</property>
316
 
                <property name="shadow_type">none</property>
317
 
                <child>
318
 
                  <object class="GtkAlignment" id="alignment25">
319
 
                    <property name="visible">True</property>
320
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
321
 
                    <property name="left_padding">12</property>
322
 
                    <child>
323
 
                      <object class="GtkScrolledWindow" id="scrolledwindow7">
324
 
                        <property name="visible">True</property>
325
 
                        <property name="can_focus">True</property>
326
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
327
 
                        <property name="hscrollbar_policy">automatic</property>
328
 
                        <property name="vscrollbar_policy">automatic</property>
329
 
                        <property name="shadow_type">in</property>
330
 
                        <child>
331
 
                          <object class="GtkTextView" id="remove_log_view">
332
 
                            <property name="visible">True</property>
333
 
                            <property name="can_focus">True</property>
334
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
335
 
                          </object>
336
 
                        </child>
337
 
                      </object>
338
 
                    </child>
339
 
                  </object>
340
 
                </child>
341
 
                <child type="label">
342
 
                  <object class="GtkLabel" id="label44">
343
 
                    <property name="visible">True</property>
344
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
345
 
                    <property name="label" translatable="yes">Log Message:</property>
346
 
                    <attributes>
347
 
                      <attribute name="weight" value="bold"/>
348
 
                    </attributes>
349
 
                  </object>
350
 
                </child>
351
 
              </object>
352
 
              <packing>
353
 
                <property name="position">2</property>
354
 
              </packing>
355
 
            </child>
356
 
          </object>
357
 
          <packing>
358
 
            <property name="position">2</property>
359
 
          </packing>
360
 
        </child>
361
 
        <child internal-child="action_area">
362
 
          <object class="GtkHButtonBox" id="hbuttonbox1">
363
 
            <property name="visible">True</property>
364
 
            <property name="layout_style">end</property>
365
 
            <child>
366
 
              <object class="GtkButton" id="button3">
367
 
                <property name="label">gtk-cancel</property>
368
 
                <property name="visible">True</property>
369
 
                <property name="can_focus">True</property>
370
 
                <property name="can_default">True</property>
371
 
                <property name="receives_default">False</property>
372
 
                <property name="use_stock">True</property>
373
 
              </object>
374
 
              <packing>
375
 
                <property name="expand">False</property>
376
 
                <property name="fill">False</property>
377
 
                <property name="position">0</property>
378
 
              </packing>
379
 
            </child>
380
 
            <child>
381
 
              <object class="GtkButton" id="button2">
382
 
                <property name="label">gtk-ok</property>
383
 
                <property name="visible">True</property>
384
 
                <property name="can_focus">True</property>
385
 
                <property name="can_default">True</property>
386
 
                <property name="receives_default">False</property>
387
 
                <property name="use_stock">True</property>
388
 
              </object>
389
 
              <packing>
390
 
                <property name="expand">False</property>
391
 
                <property name="fill">False</property>
392
 
                <property name="position">1</property>
393
 
              </packing>
394
 
            </child>
395
 
          </object>
396
 
          <packing>
397
 
            <property name="expand">False</property>
398
 
            <property name="pack_type">end</property>
399
 
            <property name="position">0</property>
400
 
          </packing>
401
 
        </child>
402
 
      </object>
403
 
    </child>
404
 
    <action-widgets>
405
 
      <action-widget response="-6">button3</action-widget>
406
 
      <action-widget response="-5">button2</action-widget>
407
 
    </action-widgets>
408
 
  </object>
409
 
  <object class="GtkDialog" id="subversion_update">
410
 
    <property name="border_width">10</property>
411
 
    <property name="title" translatable="yes">Update file/directory</property>
412
 
    <property name="resizable">False</property>
413
 
    <property name="default_width">400</property>
414
 
    <property name="type_hint">dialog</property>
415
 
    <child internal-child="vbox">
416
 
      <object class="GtkVBox" id="vbox8">
417
 
        <property name="visible">True</property>
418
 
        <property name="spacing">5</property>
419
 
        <child>
420
 
          <object class="GtkVBox" id="vbox9">
421
 
            <property name="visible">True</property>
422
 
            <property name="spacing">10</property>
423
 
            <child>
424
 
              <object class="GtkLabel" id="label11">
425
 
                <property name="visible">True</property>
426
 
                <property name="xalign">0</property>
427
 
                <property name="yalign">0</property>
428
 
                <property name="label" translatable="yes">Choose file or directory to update:</property>
429
 
              </object>
430
 
              <packing>
431
 
                <property name="expand">False</property>
432
 
                <property name="fill">False</property>
433
 
                <property name="position">0</property>
434
 
              </packing>
435
 
            </child>
436
 
            <child>
437
 
              <object class="GtkHBox" id="hbox02">
438
 
                <property name="visible">True</property>
439
 
                <child>
440
 
                  <object class="GtkEntry" id="subversion_update_filename">
441
 
                    <property name="width_request">260</property>
442
 
                    <property name="visible">True</property>
443
 
                    <property name="can_focus">True</property>
444
 
                    <property name="invisible_char">&#x25CF;</property>
445
 
                  </object>
446
 
                  <packing>
447
 
                    <property name="position">0</property>
448
 
                  </packing>
449
 
                </child>
450
 
                <child>
451
 
                  <object class="GtkButton" id="browse_button_update_dialog">
452
 
                    <property name="label" translatable="yes">Browse…</property>
453
 
                    <property name="visible">True</property>
454
 
                    <property name="can_focus">True</property>
455
 
                    <property name="receives_default">True</property>
456
 
                  </object>
457
 
                  <packing>
458
 
                    <property name="expand">False</property>
459
 
                    <property name="position">1</property>
460
 
                  </packing>
461
 
                </child>
462
 
              </object>
463
 
              <packing>
464
 
                <property name="expand">False</property>
465
 
                <property name="fill">False</property>
466
 
                <property name="position">1</property>
467
 
              </packing>
468
 
            </child>
469
 
            <child>
470
 
              <object class="GtkCheckButton" id="subversion_project">
471
 
                <property name="label" translatable="yes">Whole project</property>
472
 
                <property name="visible">True</property>
473
 
                <property name="can_focus">True</property>
474
 
                <property name="receives_default">False</property>
475
 
                <property name="use_underline">True</property>
476
 
                <property name="draw_indicator">True</property>
477
 
              </object>
478
 
              <packing>
479
 
                <property name="expand">False</property>
480
 
                <property name="fill">False</property>
481
 
                <property name="position">2</property>
482
 
              </packing>
483
 
            </child>
484
 
            <child>
485
 
              <object class="GtkFrame" id="frame3">
486
 
                <property name="visible">True</property>
487
 
                <property name="label_xalign">0</property>
488
 
                <property name="shadow_type">none</property>
489
 
                <child>
490
 
                  <object class="GtkAlignment" id="alignment3">
491
 
                    <property name="visible">True</property>
492
 
                    <property name="left_padding">12</property>
493
 
                    <child>
494
 
                      <object class="GtkVBox" id="vbox10">
495
 
                        <property name="visible">True</property>
496
 
                        <child>
497
 
                          <placeholder/>
498
 
                        </child>
499
 
                        <child>
500
 
                          <placeholder/>
501
 
                        </child>
502
 
                        <child>
503
 
                          <placeholder/>
504
 
                        </child>
505
 
                        <child>
506
 
                          <object class="GtkCheckButton" id="subversion_update_norecurse">
507
 
                            <property name="label" translatable="yes">Do not act recursively</property>
508
 
                            <property name="visible">True</property>
509
 
                            <property name="can_focus">True</property>
510
 
                            <property name="receives_default">False</property>
511
 
                            <property name="use_underline">True</property>
512
 
                            <property name="draw_indicator">True</property>
513
 
                          </object>
514
 
                          <packing>
515
 
                            <property name="expand">False</property>
516
 
                            <property name="fill">False</property>
517
 
                            <property name="position">3</property>
518
 
                          </packing>
519
 
                        </child>
520
 
                        <child>
521
 
                          <object class="GtkHBox" id="hbox3">
522
 
                            <property name="visible">True</property>
523
 
                            <child>
524
 
                              <object class="GtkLabel" id="label18">
525
 
                                <property name="visible">True</property>
526
 
                                <property name="label" translatable="yes">Use revision/tag:</property>
527
 
                              </object>
528
 
                              <packing>
529
 
                                <property name="expand">False</property>
530
 
                                <property name="fill">False</property>
531
 
                                <property name="position">0</property>
532
 
                              </packing>
533
 
                            </child>
534
 
                            <child>
535
 
                              <object class="GtkEntry" id="subversion_revision">
536
 
                                <property name="visible">True</property>
537
 
                                <property name="can_focus">True</property>
538
 
                              </object>
539
 
                              <packing>
540
 
                                <property name="position">1</property>
541
 
                              </packing>
542
 
                            </child>
543
 
                          </object>
544
 
                          <packing>
545
 
                            <property name="position">4</property>
546
 
                          </packing>
547
 
                        </child>
548
 
                      </object>
549
 
                    </child>
550
 
                  </object>
551
 
                </child>
552
 
                <child type="label">
553
 
                  <object class="GtkLabel" id="label12">
554
 
                    <property name="visible">True</property>
555
 
                    <property name="label" translatable="yes">Options:</property>
556
 
                    <attributes>
557
 
                      <attribute name="weight" value="bold"/>
558
 
                    </attributes>
559
 
                  </object>
560
 
                </child>
561
 
              </object>
562
 
              <packing>
563
 
                <property name="position">3</property>
564
 
              </packing>
565
 
            </child>
566
 
          </object>
567
 
          <packing>
568
 
            <property name="position">2</property>
569
 
          </packing>
570
 
        </child>
571
 
        <child internal-child="action_area">
572
 
          <object class="GtkHButtonBox" id="hbuttonbox3">
573
 
            <property name="visible">True</property>
574
 
            <property name="layout_style">end</property>
575
 
            <child>
576
 
              <object class="GtkButton" id="button6">
577
 
                <property name="label">gtk-cancel</property>
578
 
                <property name="visible">True</property>
579
 
                <property name="can_focus">True</property>
580
 
                <property name="can_default">True</property>
581
 
                <property name="receives_default">False</property>
582
 
                <property name="use_stock">True</property>
583
 
              </object>
584
 
              <packing>
585
 
                <property name="expand">False</property>
586
 
                <property name="fill">False</property>
587
 
                <property name="position">0</property>
588
 
              </packing>
589
 
            </child>
590
 
            <child>
591
 
              <object class="GtkButton" id="button7">
592
 
                <property name="label">gtk-ok</property>
593
 
                <property name="visible">True</property>
594
 
                <property name="can_focus">True</property>
595
 
                <property name="can_default">True</property>
596
 
                <property name="receives_default">False</property>
597
 
                <property name="use_stock">True</property>
598
 
              </object>
599
 
              <packing>
600
 
                <property name="expand">False</property>
601
 
                <property name="fill">False</property>
602
 
                <property name="position">1</property>
603
 
              </packing>
604
 
            </child>
605
 
          </object>
606
 
          <packing>
607
 
            <property name="expand">False</property>
608
 
            <property name="pack_type">end</property>
609
 
            <property name="position">0</property>
610
 
          </packing>
611
 
        </child>
612
 
      </object>
613
 
    </child>
614
 
    <action-widgets>
615
 
      <action-widget response="-6">button6</action-widget>
616
 
      <action-widget response="-5">button7</action-widget>
617
 
    </action-widgets>
618
 
  </object>
619
 
  <object class="GtkDialog" id="subversion_diff">
620
 
    <property name="border_width">10</property>
621
 
    <property name="title" translatable="yes">Diff file/directory</property>
622
 
    <property name="default_width">400</property>
623
 
    <property name="type_hint">dialog</property>
624
 
    <child internal-child="vbox">
625
 
      <object class="GtkVBox" id="vbox21">
626
 
        <property name="visible">True</property>
627
 
        <property name="spacing">5</property>
628
 
        <child>
629
 
          <object class="GtkVBox" id="vbox22">
630
 
            <property name="visible">True</property>
631
 
            <property name="spacing">2</property>
632
 
            <child>
633
 
              <object class="GtkFrame" id="frame28">
634
 
                <property name="visible">True</property>
635
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
636
 
                <property name="label_xalign">0</property>
637
 
                <property name="shadow_type">none</property>
638
 
                <child>
639
 
                  <object class="GtkVBox" id="vbox18">
640
 
                    <property name="visible">True</property>
641
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
642
 
                    <child>
643
 
                      <object class="GtkHBox" id="hbox03">
644
 
                        <property name="visible">True</property>
645
 
                        <child>
646
 
                          <object class="GtkEntry" id="diff_path_entry">
647
 
                            <property name="width_request">260</property>
648
 
                            <property name="visible">True</property>
649
 
                            <property name="can_focus">True</property>
650
 
                            <property name="invisible_char">&#x25CF;</property>
651
 
                          </object>
652
 
                          <packing>
653
 
                            <property name="position">0</property>
654
 
                          </packing>
655
 
                        </child>
656
 
                        <child>
657
 
                          <object class="GtkButton" id="browse_button_diff_dialog">
658
 
                            <property name="label" translatable="yes">Browse…</property>
659
 
                            <property name="visible">True</property>
660
 
                            <property name="can_focus">True</property>
661
 
                            <property name="receives_default">True</property>
662
 
                          </object>
663
 
                          <packing>
664
 
                            <property name="expand">False</property>
665
 
                            <property name="position">1</property>
666
 
                          </packing>
667
 
                        </child>
668
 
                      </object>
669
 
                      <packing>
670
 
                        <property name="position">0</property>
671
 
                      </packing>
672
 
                    </child>
673
 
                    <child>
674
 
                      <object class="GtkCheckButton" id="diff_whole_project_check">
675
 
                        <property name="label" translatable="yes">Whole project</property>
676
 
                        <property name="visible">True</property>
677
 
                        <property name="can_focus">True</property>
678
 
                        <property name="receives_default">False</property>
679
 
                        <property name="use_underline">True</property>
680
 
                        <property name="draw_indicator">True</property>
681
 
                      </object>
682
 
                      <packing>
683
 
                        <property name="expand">False</property>
684
 
                        <property name="fill">False</property>
685
 
                        <property name="position">1</property>
686
 
                      </packing>
687
 
                    </child>
688
 
                  </object>
689
 
                </child>
690
 
                <child type="label">
691
 
                  <object class="GtkLabel" id="label23">
692
 
                    <property name="visible">True</property>
693
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
694
 
                    <property name="label" translatable="yes">File or directory to diff:</property>
695
 
                    <attributes>
696
 
                      <attribute name="weight" value="bold"/>
697
 
                    </attributes>
698
 
                  </object>
699
 
                </child>
700
 
              </object>
701
 
              <packing>
702
 
                <property name="expand">False</property>
703
 
                <property name="fill">False</property>
704
 
                <property name="position">0</property>
705
 
              </packing>
706
 
            </child>
707
 
            <child>
708
 
              <object class="GtkFrame" id="frame11">
709
 
                <property name="visible">True</property>
710
 
                <property name="label_xalign">0</property>
711
 
                <property name="shadow_type">none</property>
712
 
                <child>
713
 
                  <object class="GtkAlignment" id="alignment11">
714
 
                    <property name="visible">True</property>
715
 
                    <property name="left_padding">12</property>
716
 
                    <child>
717
 
                      <object class="GtkVBox" id="vbox23">
718
 
                        <property name="visible">True</property>
719
 
                        <child>
720
 
                          <object class="GtkCheckButton" id="diff_save_open_files_check">
721
 
                            <property name="label" translatable="yes">Save open files before diffing</property>
722
 
                            <property name="visible">True</property>
723
 
                            <property name="can_focus">True</property>
724
 
                            <property name="receives_default">False</property>
725
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
726
 
                            <property name="active">True</property>
727
 
                            <property name="draw_indicator">True</property>
728
 
                          </object>
729
 
                          <packing>
730
 
                            <property name="expand">False</property>
731
 
                            <property name="position">0</property>
732
 
                          </packing>
733
 
                        </child>
734
 
                        <child>
735
 
                          <object class="GtkCheckButton" id="diff_no_recursive_check">
736
 
                            <property name="label" translatable="yes">Do not act recursively</property>
737
 
                            <property name="visible">True</property>
738
 
                            <property name="can_focus">True</property>
739
 
                            <property name="receives_default">False</property>
740
 
                            <property name="use_underline">True</property>
741
 
                            <property name="draw_indicator">True</property>
742
 
                          </object>
743
 
                          <packing>
744
 
                            <property name="expand">False</property>
745
 
                            <property name="fill">False</property>
746
 
                            <property name="position">1</property>
747
 
                          </packing>
748
 
                        </child>
749
 
                        <child>
750
 
                          <object class="GtkHBox" id="hbox4">
751
 
                            <property name="visible">True</property>
752
 
                            <child>
753
 
                              <object class="GtkLabel" id="label36">
754
 
                                <property name="visible">True</property>
755
 
                                <property name="label" translatable="yes">Use revision/tag:</property>
756
 
                              </object>
757
 
                              <packing>
758
 
                                <property name="expand">False</property>
759
 
                                <property name="fill">False</property>
760
 
                                <property name="position">0</property>
761
 
                              </packing>
762
 
                            </child>
763
 
                            <child>
764
 
                              <object class="GtkEntry" id="diff_revision_entry">
765
 
                                <property name="visible">True</property>
766
 
                                <property name="can_focus">True</property>
767
 
                              </object>
768
 
                              <packing>
769
 
                                <property name="position">1</property>
770
 
                              </packing>
771
 
                            </child>
772
 
                          </object>
773
 
                          <packing>
774
 
                            <property name="position">2</property>
775
 
                          </packing>
776
 
                        </child>
777
 
                      </object>
778
 
                    </child>
779
 
                  </object>
780
 
                </child>
781
 
                <child type="label">
782
 
                  <object class="GtkLabel" id="label37">
783
 
                    <property name="visible">True</property>
784
 
                    <property name="label" translatable="yes">Options:</property>
785
 
                    <attributes>
786
 
                      <attribute name="weight" value="bold"/>
787
 
                    </attributes>
788
 
                  </object>
789
 
                </child>
790
 
              </object>
791
 
              <packing>
792
 
                <property name="fill">False</property>
793
 
                <property name="position">1</property>
794
 
              </packing>
795
 
            </child>
796
 
          </object>
797
 
          <packing>
798
 
            <property name="position">2</property>
799
 
          </packing>
800
 
        </child>
801
 
        <child internal-child="action_area">
802
 
          <object class="GtkHButtonBox" id="hbuttonbox4">
803
 
            <property name="visible">True</property>
804
 
            <property name="layout_style">end</property>
805
 
            <child>
806
 
              <object class="GtkButton" id="button8">
807
 
                <property name="label">gtk-cancel</property>
808
 
                <property name="visible">True</property>
809
 
                <property name="can_focus">True</property>
810
 
                <property name="can_default">True</property>
811
 
                <property name="receives_default">False</property>
812
 
                <property name="use_stock">True</property>
813
 
              </object>
814
 
              <packing>
815
 
                <property name="expand">False</property>
816
 
                <property name="fill">False</property>
817
 
                <property name="position">0</property>
818
 
              </packing>
819
 
            </child>
820
 
            <child>
821
 
              <object class="GtkButton" id="button9">
822
 
                <property name="label">gtk-ok</property>
823
 
                <property name="visible">True</property>
824
 
                <property name="can_focus">True</property>
825
 
                <property name="can_default">True</property>
826
 
                <property name="receives_default">False</property>
827
 
                <property name="use_stock">True</property>
828
 
              </object>
829
 
              <packing>
830
 
                <property name="expand">False</property>
831
 
                <property name="fill">False</property>
832
 
                <property name="position">1</property>
833
 
              </packing>
834
 
            </child>
835
 
          </object>
836
 
          <packing>
837
 
            <property name="expand">False</property>
838
 
            <property name="pack_type">end</property>
839
 
            <property name="position">0</property>
840
 
          </packing>
841
 
        </child>
842
 
      </object>
843
 
    </child>
844
 
    <action-widgets>
845
 
      <action-widget response="-6">button8</action-widget>
846
 
      <action-widget response="-5">button9</action-widget>
847
 
    </action-widgets>
848
 
  </object>
849
 
  <object class="GtkDialog" id="svn_user_auth">
850
 
    <property name="title" translatable="yes">Repository authorization</property>
851
 
    <property name="default_width">380</property>
852
 
    <property name="type_hint">dialog</property>
853
 
    <child internal-child="vbox">
854
 
      <object class="GtkVBox" id="dialog-vbox2">
855
 
        <property name="visible">True</property>
856
 
        <child>
857
 
          <object class="GtkTable" id="table1">
858
 
            <property name="visible">True</property>
859
 
            <property name="border_width">5</property>
860
 
            <property name="n_rows">4</property>
861
 
            <property name="n_columns">2</property>
862
 
            <property name="column_spacing">5</property>
863
 
            <property name="row_spacing">5</property>
864
 
            <child>
865
 
              <object class="GtkLabel" id="label38">
866
 
                <property name="visible">True</property>
867
 
                <property name="xalign">0</property>
868
 
                <property name="label" translatable="yes">Username:</property>
869
 
              </object>
870
 
              <packing>
871
 
                <property name="top_attach">1</property>
872
 
                <property name="bottom_attach">2</property>
873
 
                <property name="x_options">GTK_FILL</property>
874
 
                <property name="y_options"></property>
875
 
              </packing>
876
 
            </child>
877
 
            <child>
878
 
              <object class="GtkLabel" id="label39">
879
 
                <property name="visible">True</property>
880
 
                <property name="xalign">0</property>
881
 
                <property name="label" translatable="yes">Password:</property>
882
 
              </object>
883
 
              <packing>
884
 
                <property name="top_attach">2</property>
885
 
                <property name="bottom_attach">3</property>
886
 
                <property name="x_options">GTK_FILL</property>
887
 
                <property name="y_options"></property>
888
 
              </packing>
889
 
            </child>
890
 
            <child>
891
 
              <object class="GtkCheckButton" id="remember_pwd">
892
 
                <property name="label" translatable="yes">Remember Password</property>
893
 
                <property name="visible">True</property>
894
 
                <property name="sensitive">False</property>
895
 
                <property name="can_focus">True</property>
896
 
                <property name="receives_default">False</property>
897
 
                <property name="use_underline">True</property>
898
 
                <property name="draw_indicator">True</property>
899
 
              </object>
900
 
              <packing>
901
 
                <property name="left_attach">1</property>
902
 
                <property name="right_attach">2</property>
903
 
                <property name="top_attach">3</property>
904
 
                <property name="bottom_attach">4</property>
905
 
                <property name="x_options">GTK_FILL</property>
906
 
                <property name="y_options"></property>
907
 
              </packing>
908
 
            </child>
909
 
            <child>
910
 
              <object class="GtkEntry" id="username_entry">
911
 
                <property name="visible">True</property>
912
 
                <property name="can_focus">True</property>
913
 
              </object>
914
 
              <packing>
915
 
                <property name="left_attach">1</property>
916
 
                <property name="right_attach">2</property>
917
 
                <property name="top_attach">1</property>
918
 
                <property name="bottom_attach">2</property>
919
 
                <property name="y_options"></property>
920
 
              </packing>
921
 
            </child>
922
 
            <child>
923
 
              <object class="GtkEntry" id="password_entry">
924
 
                <property name="visible">True</property>
925
 
                <property name="can_focus">True</property>
926
 
                <property name="visibility">False</property>
927
 
                <property name="activates_default">True</property>
928
 
              </object>
929
 
              <packing>
930
 
                <property name="left_attach">1</property>
931
 
                <property name="right_attach">2</property>
932
 
                <property name="top_attach">2</property>
933
 
                <property name="bottom_attach">3</property>
934
 
                <property name="y_options"></property>
935
 
              </packing>
936
 
            </child>
937
 
            <child>
938
 
              <object class="GtkLabel" id="auth_realm">
939
 
                <property name="visible">True</property>
940
 
                <property name="xalign">0</property>
941
 
                <property name="label" translatable="yes">realm</property>
942
 
              </object>
943
 
              <packing>
944
 
                <property name="left_attach">1</property>
945
 
                <property name="right_attach">2</property>
946
 
                <property name="x_options">GTK_FILL</property>
947
 
                <property name="y_options"></property>
948
 
              </packing>
949
 
            </child>
950
 
            <child>
951
 
              <object class="GtkLabel" id="label40">
952
 
                <property name="visible">True</property>
953
 
                <property name="xalign">0</property>
954
 
                <property name="label" translatable="yes">Realm:</property>
955
 
              </object>
956
 
              <packing>
957
 
                <property name="x_options">GTK_FILL</property>
958
 
                <property name="y_options"></property>
959
 
              </packing>
960
 
            </child>
961
 
            <child>
962
 
              <placeholder/>
963
 
            </child>
964
 
          </object>
965
 
          <packing>
966
 
            <property name="position">2</property>
967
 
          </packing>
968
 
        </child>
969
 
        <child internal-child="action_area">
970
 
          <object class="GtkHButtonBox" id="dialog-action_area2">
971
 
            <property name="visible">True</property>
972
 
            <property name="layout_style">end</property>
973
 
            <child>
974
 
              <object class="GtkButton" id="cancelbutton2">
975
 
                <property name="label">gtk-cancel</property>
976
 
                <property name="visible">True</property>
977
 
                <property name="can_focus">True</property>
978
 
                <property name="can_default">True</property>
979
 
                <property name="receives_default">False</property>
980
 
                <property name="use_stock">True</property>
981
 
              </object>
982
 
              <packing>
983
 
                <property name="expand">False</property>
984
 
                <property name="fill">False</property>
985
 
                <property name="position">0</property>
986
 
              </packing>
987
 
            </child>
988
 
            <child>
989
 
              <object class="GtkButton" id="okbutton2">
990
 
                <property name="label">gtk-ok</property>
991
 
                <property name="visible">True</property>
992
 
                <property name="can_focus">True</property>
993
 
                <property name="can_default">True</property>
994
 
                <property name="receives_default">False</property>
995
 
                <property name="use_stock">True</property>
996
 
              </object>
997
 
              <packing>
998
 
                <property name="expand">False</property>
999
 
                <property name="fill">False</property>
1000
 
                <property name="position">1</property>
1001
 
              </packing>
1002
 
            </child>
1003
 
          </object>
1004
 
          <packing>
1005
 
            <property name="expand">False</property>
1006
 
            <property name="pack_type">end</property>
1007
 
            <property name="position">0</property>
1008
 
          </packing>
1009
 
        </child>
1010
 
      </object>
1011
 
    </child>
1012
 
    <action-widgets>
1013
 
      <action-widget response="-6">cancelbutton2</action-widget>
1014
 
      <action-widget response="-5">okbutton2</action-widget>
1015
 
    </action-widgets>
1016
 
  </object>
1017
 
  <object class="GtkDialog" id="svn_server_trust">
1018
 
    <property name="title" translatable="yes">Trust server</property>
1019
 
    <property name="type_hint">dialog</property>
1020
 
    <child internal-child="vbox">
1021
 
      <object class="GtkVBox" id="dialog-vbox3">
1022
 
        <property name="visible">True</property>
1023
 
        <child>
1024
 
          <object class="GtkVBox" id="vbox24">
1025
 
            <property name="visible">True</property>
1026
 
            <property name="border_width">5</property>
1027
 
            <property name="spacing">5</property>
1028
 
            <child>
1029
 
              <object class="GtkHBox" id="hbox6">
1030
 
                <property name="visible">True</property>
1031
 
                <child>
1032
 
                  <object class="GtkLabel" id="label43">
1033
 
                    <property name="visible">True</property>
1034
 
                    <property name="label" translatable="yes">Realm:</property>
1035
 
                  </object>
1036
 
                  <packing>
1037
 
                    <property name="expand">False</property>
1038
 
                    <property name="fill">False</property>
1039
 
                    <property name="position">0</property>
1040
 
                  </packing>
1041
 
                </child>
1042
 
                <child>
1043
 
                  <object class="GtkLabel" id="realm_label">
1044
 
                    <property name="visible">True</property>
1045
 
                  </object>
1046
 
                  <packing>
1047
 
                    <property name="expand">False</property>
1048
 
                    <property name="fill">False</property>
1049
 
                    <property name="position">1</property>
1050
 
                  </packing>
1051
 
                </child>
1052
 
              </object>
1053
 
              <packing>
1054
 
                <property name="expand">False</property>
1055
 
                <property name="fill">False</property>
1056
 
                <property name="position">0</property>
1057
 
              </packing>
1058
 
            </child>
1059
 
            <child>
1060
 
              <object class="GtkLabel" id="server_info_label">
1061
 
                <property name="visible">True</property>
1062
 
              </object>
1063
 
              <packing>
1064
 
                <property name="expand">False</property>
1065
 
                <property name="fill">False</property>
1066
 
                <property name="position">1</property>
1067
 
              </packing>
1068
 
            </child>
1069
 
            <child>
1070
 
              <object class="GtkCheckButton" id="remember_check">
1071
 
                <property name="label" translatable="yes">Remember this decision</property>
1072
 
                <property name="visible">True</property>
1073
 
                <property name="can_focus">True</property>
1074
 
                <property name="receives_default">False</property>
1075
 
                <property name="use_underline">True</property>
1076
 
                <property name="draw_indicator">True</property>
1077
 
              </object>
1078
 
              <packing>
1079
 
                <property name="expand">False</property>
1080
 
                <property name="fill">False</property>
1081
 
                <property name="position">2</property>
1082
 
              </packing>
1083
 
            </child>
1084
 
          </object>
1085
 
          <packing>
1086
 
            <property name="padding">2</property>
1087
 
            <property name="position">2</property>
1088
 
          </packing>
1089
 
        </child>
1090
 
        <child internal-child="action_area">
1091
 
          <object class="GtkHButtonBox" id="dialog-action_area3">
1092
 
            <property name="visible">True</property>
1093
 
            <property name="layout_style">end</property>
1094
 
            <child>
1095
 
              <object class="GtkButton" id="button11">
1096
 
                <property name="label">gtk-no</property>
1097
 
                <property name="visible">True</property>
1098
 
                <property name="can_focus">True</property>
1099
 
                <property name="can_default">True</property>
1100
 
                <property name="receives_default">False</property>
1101
 
                <property name="use_stock">True</property>
1102
 
              </object>
1103
 
              <packing>
1104
 
                <property name="expand">False</property>
1105
 
                <property name="fill">False</property>
1106
 
                <property name="position">0</property>
1107
 
              </packing>
1108
 
            </child>
1109
 
            <child>
1110
 
              <object class="GtkButton" id="button12">
1111
 
                <property name="label">gtk-yes</property>
1112
 
                <property name="visible">True</property>
1113
 
                <property name="can_focus">True</property>
1114
 
                <property name="can_default">True</property>
1115
 
                <property name="receives_default">False</property>
1116
 
                <property name="use_stock">True</property>
1117
 
              </object>
1118
 
              <packing>
1119
 
                <property name="expand">False</property>
1120
 
                <property name="fill">False</property>
1121
 
                <property name="position">1</property>
1122
 
              </packing>
1123
 
            </child>
1124
 
          </object>
1125
 
          <packing>
1126
 
            <property name="expand">False</property>
1127
 
            <property name="pack_type">end</property>
1128
 
            <property name="position">0</property>
1129
 
          </packing>
1130
 
        </child>
1131
 
      </object>
1132
 
    </child>
1133
 
    <action-widgets>
1134
 
      <action-widget response="-9">button11</action-widget>
1135
 
      <action-widget response="-8">button12</action-widget>
1136
 
    </action-widgets>
1137
 
  </object>
1138
 
  <object class="GtkDialog" id="subversion_revert">
1139
 
    <property name="width_request">600</property>
1140
 
    <property name="height_request">400</property>
1141
 
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1142
 
    <property name="border_width">5</property>
1143
 
    <property name="title" translatable="yes">Revert Changes</property>
1144
 
    <property name="window_position">center-on-parent</property>
1145
 
    <property name="type_hint">dialog</property>
1146
 
    <property name="has_separator">False</property>
1147
 
    <child internal-child="vbox">
1148
 
      <object class="GtkVBox" id="dialog-vbox8">
1149
 
        <property name="visible">True</property>
1150
 
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1151
 
        <property name="spacing">2</property>
1152
 
        <child>
1153
 
          <object class="GtkVBox" id="vbox6">
1154
 
            <property name="visible">True</property>
1155
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1156
 
            <property name="spacing">5</property>
1157
 
            <child>
1158
 
              <object class="GtkFrame" id="frame29">
1159
 
                <property name="visible">True</property>
1160
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1161
 
                <property name="label_xalign">0</property>
1162
 
                <property name="shadow_type">none</property>
1163
 
                <child>
1164
 
                  <object class="GtkAlignment" id="alignment1">
1165
 
                    <property name="visible">True</property>
1166
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1167
 
                    <property name="left_padding">12</property>
1168
 
                    <child>
1169
 
                      <object class="GtkScrolledWindow" id="scrolledwindow2">
1170
 
                        <property name="visible">True</property>
1171
 
                        <property name="can_focus">True</property>
1172
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1173
 
                        <property name="hscrollbar_policy">automatic</property>
1174
 
                        <property name="vscrollbar_policy">automatic</property>
1175
 
                        <property name="shadow_type">in</property>
1176
 
                        <child>
1177
 
                          <object class="AnjutaVcsStatusTreeView" id="revert_status_view">
1178
 
                            <property name="visible">True</property>
1179
 
                            <property name="can_focus">True</property>
1180
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1181
 
                            <property name="headers_visible">False</property>
1182
 
                            <property name="search_column">0</property>
1183
 
                            <property name="status_codes">ANJUTA_VCS_STATUS_MODIFIED | ANJUTA_VCS_STATUS_ADDED | ANJUTA_VCS_STATUS_DELETED | ANJUTA_VCS_STATUS_CONFLICTED | ANJUTA_VCS_STATUS_MISSING</property>
1184
 
                          </object>
1185
 
                        </child>
1186
 
                      </object>
1187
 
                    </child>
1188
 
                  </object>
1189
 
                </child>
1190
 
                <child type="label">
1191
 
                  <object class="GtkLabel" id="label2">
1192
 
                    <property name="visible">True</property>
1193
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1194
 
                    <property name="label" translatable="yes">Select Changes to Revert:</property>
1195
 
                    <attributes>
1196
 
                      <attribute name="weight" value="bold"/>
1197
 
                    </attributes>
1198
 
                  </object>
1199
 
                </child>
1200
 
              </object>
1201
 
              <packing>
1202
 
                <property name="position">0</property>
1203
 
              </packing>
1204
 
            </child>
1205
 
            <child>
1206
 
              <object class="GtkProgressBar" id="revert_status_progress_bar">
1207
 
                <property name="visible">True</property>
1208
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1209
 
                <property name="activity_mode">True</property>
1210
 
                <property name="text" translatable="yes">Retrieving status…</property>
1211
 
              </object>
1212
 
              <packing>
1213
 
                <property name="expand">False</property>
1214
 
                <property name="position">1</property>
1215
 
              </packing>
1216
 
            </child>
1217
 
            <child>
1218
 
              <object class="GtkHButtonBox" id="hbuttonbox5">
1219
 
                <property name="visible">True</property>
1220
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1221
 
                <property name="spacing">2</property>
1222
 
                <property name="layout_style">start</property>
1223
 
                <child>
1224
 
                  <object class="GtkButton" id="revert_select_all_button">
1225
 
                    <property name="label">gtk-select-all</property>
1226
 
                    <property name="visible">True</property>
1227
 
                    <property name="can_focus">True</property>
1228
 
                    <property name="receives_default">True</property>
1229
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1230
 
                    <property name="use_stock">True</property>
1231
 
                  </object>
1232
 
                  <packing>
1233
 
                    <property name="expand">False</property>
1234
 
                    <property name="fill">False</property>
1235
 
                    <property name="position">0</property>
1236
 
                  </packing>
1237
 
                </child>
1238
 
                <child>
1239
 
                  <object class="GtkButton" id="revert_clear_button">
1240
 
                    <property name="label">gtk-clear</property>
1241
 
                    <property name="visible">True</property>
1242
 
                    <property name="can_focus">True</property>
1243
 
                    <property name="receives_default">True</property>
1244
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1245
 
                    <property name="use_stock">True</property>
1246
 
                  </object>
1247
 
                  <packing>
1248
 
                    <property name="expand">False</property>
1249
 
                    <property name="fill">False</property>
1250
 
                    <property name="position">1</property>
1251
 
                  </packing>
1252
 
                </child>
1253
 
              </object>
1254
 
              <packing>
1255
 
                <property name="expand">False</property>
1256
 
                <property name="position">2</property>
1257
 
              </packing>
1258
 
            </child>
1259
 
          </object>
1260
 
          <packing>
1261
 
            <property name="position">1</property>
1262
 
          </packing>
1263
 
        </child>
1264
 
        <child internal-child="action_area">
1265
 
          <object class="GtkHButtonBox" id="dialog-action_area8">
1266
 
            <property name="visible">True</property>
1267
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1268
 
            <property name="layout_style">end</property>
1269
 
            <child>
1270
 
              <object class="GtkButton" id="revert_cancel_button">
1271
 
                <property name="label">gtk-cancel</property>
1272
 
                <property name="visible">True</property>
1273
 
                <property name="can_focus">True</property>
1274
 
                <property name="receives_default">True</property>
1275
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1276
 
                <property name="use_stock">True</property>
1277
 
              </object>
1278
 
              <packing>
1279
 
                <property name="expand">False</property>
1280
 
                <property name="fill">False</property>
1281
 
                <property name="position">0</property>
1282
 
              </packing>
1283
 
            </child>
1284
 
            <child>
1285
 
              <object class="GtkButton" id="revert_ok_button">
1286
 
                <property name="label">gtk-ok</property>
1287
 
                <property name="visible">True</property>
1288
 
                <property name="can_focus">True</property>
1289
 
                <property name="receives_default">True</property>
1290
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1291
 
                <property name="use_stock">True</property>
1292
 
              </object>
1293
 
              <packing>
1294
 
                <property name="expand">False</property>
1295
 
                <property name="fill">False</property>
1296
 
                <property name="position">1</property>
1297
 
              </packing>
1298
 
            </child>
1299
 
          </object>
1300
 
          <packing>
1301
 
            <property name="expand">False</property>
1302
 
            <property name="pack_type">end</property>
1303
 
            <property name="position">0</property>
1304
 
          </packing>
1305
 
        </child>
1306
 
      </object>
1307
 
    </child>
1308
 
    <action-widgets>
1309
 
      <action-widget response="-6">revert_cancel_button</action-widget>
1310
 
      <action-widget response="-5">revert_ok_button</action-widget>
1311
 
    </action-widgets>
1312
 
  </object>
1313
228
  <object class="GtkDialog" id="subversion_commit">
 
229
    <property name="can_focus">False</property>
1314
230
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1315
231
    <property name="border_width">5</property>
1316
232
    <property name="title" translatable="yes">Commit Changes</property>
1317
233
    <property name="window_position">center-on-parent</property>
1318
234
    <property name="type_hint">dialog</property>
1319
 
    <property name="has_separator">False</property>
1320
235
    <child internal-child="vbox">
1321
 
      <object class="GtkVBox" id="dialog-vbox9">
 
236
      <object class="GtkBox" id="dialog-vbox9">
1322
237
        <property name="visible">True</property>
 
238
        <property name="can_focus">False</property>
1323
239
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1324
240
        <property name="spacing">2</property>
 
241
        <child internal-child="action_area">
 
242
          <object class="GtkButtonBox" id="dialog-action_area9">
 
243
            <property name="visible">True</property>
 
244
            <property name="can_focus">False</property>
 
245
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
246
            <property name="layout_style">end</property>
 
247
            <child>
 
248
              <object class="GtkButton" id="button1">
 
249
                <property name="label">gtk-cancel</property>
 
250
                <property name="visible">True</property>
 
251
                <property name="can_focus">True</property>
 
252
                <property name="receives_default">True</property>
 
253
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
254
                <property name="use_stock">True</property>
 
255
              </object>
 
256
              <packing>
 
257
                <property name="expand">False</property>
 
258
                <property name="fill">False</property>
 
259
                <property name="position">0</property>
 
260
              </packing>
 
261
            </child>
 
262
            <child>
 
263
              <object class="GtkButton" id="button4">
 
264
                <property name="label">gtk-ok</property>
 
265
                <property name="visible">True</property>
 
266
                <property name="can_focus">True</property>
 
267
                <property name="receives_default">True</property>
 
268
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
269
                <property name="use_stock">True</property>
 
270
              </object>
 
271
              <packing>
 
272
                <property name="expand">False</property>
 
273
                <property name="fill">False</property>
 
274
                <property name="position">1</property>
 
275
              </packing>
 
276
            </child>
 
277
          </object>
 
278
          <packing>
 
279
            <property name="expand">False</property>
 
280
            <property name="fill">True</property>
 
281
            <property name="pack_type">end</property>
 
282
            <property name="position">0</property>
 
283
          </packing>
 
284
        </child>
1325
285
        <child>
1326
286
          <object class="GtkVBox" id="vbox4">
1327
287
            <property name="visible">True</property>
 
288
            <property name="can_focus">False</property>
1328
289
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1329
290
            <property name="spacing">5</property>
1330
291
            <child>
1331
292
              <object class="GtkVBox" id="vbox20">
1332
293
                <property name="visible">True</property>
1333
 
                <property name="orientation">vertical</property>
 
294
                <property name="can_focus">False</property>
1334
295
                <child>
1335
296
                  <object class="GtkFrame" id="frame1">
1336
297
                    <property name="visible">True</property>
 
298
                    <property name="can_focus">False</property>
1337
299
                    <property name="label_xalign">0</property>
1338
300
                    <property name="shadow_type">none</property>
1339
301
                    <child>
1340
302
                      <object class="GtkAlignment" id="alignment27">
1341
303
                        <property name="visible">True</property>
 
304
                        <property name="can_focus">False</property>
1342
305
                        <property name="left_padding">12</property>
1343
306
                        <child>
1344
307
                          <object class="GtkComboBox" id="commit_prev_msg_combo">
1345
308
                            <property name="visible">True</property>
 
309
                            <property name="can_focus">False</property>
1346
310
                          </object>
1347
311
                        </child>
1348
312
                      </object>
1350
314
                    <child type="label">
1351
315
                      <object class="GtkLabel" id="label35">
1352
316
                        <property name="visible">True</property>
 
317
                        <property name="can_focus">False</property>
1353
318
                        <property name="label" translatable="yes">Previous Commit Messages:</property>
1354
319
                        <attributes>
1355
320
                          <attribute name="weight" value="bold"/>
1358
323
                    </child>
1359
324
                  </object>
1360
325
                  <packing>
 
326
                    <property name="expand">True</property>
 
327
                    <property name="fill">True</property>
1361
328
                    <property name="position">0</property>
1362
329
                  </packing>
1363
330
                </child>
1367
334
                    <property name="visible">True</property>
1368
335
                    <property name="can_focus">True</property>
1369
336
                    <property name="receives_default">False</property>
 
337
                    <property name="xalign">0.5</property>
1370
338
                    <property name="draw_indicator">True</property>
1371
339
                  </object>
1372
340
                  <packing>
 
341
                    <property name="expand">True</property>
 
342
                    <property name="fill">True</property>
1373
343
                    <property name="position">1</property>
1374
344
                  </packing>
1375
345
                </child>
1376
346
              </object>
1377
347
              <packing>
 
348
                <property name="expand">True</property>
 
349
                <property name="fill">True</property>
1378
350
                <property name="position">0</property>
1379
351
              </packing>
1380
352
            </child>
1381
353
            <child>
1382
354
              <object class="GtkFrame" id="frame2">
1383
355
                <property name="visible">True</property>
 
356
                <property name="can_focus">False</property>
1384
357
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1385
358
                <property name="label_xalign">0</property>
1386
359
                <property name="shadow_type">none</property>
1387
360
                <child>
1388
361
                  <object class="GtkAlignment" id="alignment2">
1389
362
                    <property name="visible">True</property>
 
363
                    <property name="can_focus">False</property>
1390
364
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1391
365
                    <property name="left_padding">12</property>
1392
366
                    <child>
1394
368
                        <property name="visible">True</property>
1395
369
                        <property name="can_focus">True</property>
1396
370
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1397
 
                        <property name="hscrollbar_policy">automatic</property>
1398
 
                        <property name="vscrollbar_policy">automatic</property>
1399
371
                        <property name="shadow_type">in</property>
1400
372
                        <child>
1401
373
                          <object class="GtkTextView" id="subversion_log_view">
1413
385
                <child type="label">
1414
386
                  <object class="GtkLabel" id="label3">
1415
387
                    <property name="visible">True</property>
 
388
                    <property name="can_focus">False</property>
1416
389
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1417
390
                    <property name="label" translatable="yes">Log Message:</property>
1418
391
                    <attributes>
1422
395
                </child>
1423
396
              </object>
1424
397
              <packing>
 
398
                <property name="expand">True</property>
 
399
                <property name="fill">True</property>
1425
400
                <property name="position">1</property>
1426
401
              </packing>
1427
402
            </child>
1428
403
            <child>
1429
404
              <object class="GtkFrame" id="frame4">
1430
405
                <property name="visible">True</property>
 
406
                <property name="can_focus">False</property>
1431
407
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1432
408
                <property name="label_xalign">0</property>
1433
409
                <property name="shadow_type">none</property>
1434
410
                <child>
1435
411
                  <object class="GtkAlignment" id="alignment4">
1436
412
                    <property name="visible">True</property>
 
413
                    <property name="can_focus">False</property>
1437
414
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1438
415
                    <property name="left_padding">12</property>
1439
416
                    <child>
1443
420
                        <property name="can_focus">True</property>
1444
421
                        <property name="receives_default">False</property>
1445
422
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
423
                        <property name="xalign">0.5</property>
1446
424
                        <property name="draw_indicator">True</property>
1447
425
                      </object>
1448
426
                    </child>
1451
429
                <child type="label">
1452
430
                  <object class="GtkLabel" id="label5">
1453
431
                    <property name="visible">True</property>
 
432
                    <property name="can_focus">False</property>
1454
433
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1455
434
                    <property name="label" translatable="yes">Options</property>
1456
435
                    <attributes>
1461
440
              </object>
1462
441
              <packing>
1463
442
                <property name="expand">False</property>
 
443
                <property name="fill">True</property>
1464
444
                <property name="position">2</property>
1465
445
              </packing>
1466
446
            </child>
1467
447
            <child>
1468
448
              <object class="GtkFrame" id="frame5">
1469
449
                <property name="visible">True</property>
 
450
                <property name="can_focus">False</property>
1470
451
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1471
452
                <property name="label_xalign">0</property>
1472
453
                <property name="shadow_type">none</property>
1473
454
                <child>
1474
455
                  <object class="GtkAlignment" id="alignment5">
1475
456
                    <property name="visible">True</property>
 
457
                    <property name="can_focus">False</property>
1476
458
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1477
459
                    <property name="left_padding">12</property>
1478
460
                    <child>
1480
462
                        <property name="visible">True</property>
1481
463
                        <property name="can_focus">True</property>
1482
464
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1483
 
                        <property name="hscrollbar_policy">automatic</property>
1484
 
                        <property name="vscrollbar_policy">automatic</property>
1485
465
                        <property name="shadow_type">in</property>
1486
466
                        <child>
1487
467
                          <object class="AnjutaVcsStatusTreeView" id="commit_status_view">
1493
473
                            <property name="headers_visible">False</property>
1494
474
                            <property name="search_column">0</property>
1495
475
                            <property name="conflicted_selectable">False</property>
 
476
                            <child internal-child="selection">
 
477
                              <object class="GtkTreeSelection" id="vcsstatus-selection4"/>
 
478
                            </child>
1496
479
                          </object>
1497
480
                        </child>
1498
481
                      </object>
1502
485
                <child type="label">
1503
486
                  <object class="GtkLabel" id="label7">
1504
487
                    <property name="visible">True</property>
 
488
                    <property name="can_focus">False</property>
1505
489
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1506
490
                    <property name="label" translatable="yes">Select Files to Commit:</property>
1507
491
                    <attributes>
1511
495
                </child>
1512
496
              </object>
1513
497
              <packing>
 
498
                <property name="expand">True</property>
 
499
                <property name="fill">True</property>
1514
500
                <property name="position">3</property>
1515
501
              </packing>
1516
502
            </child>
1517
503
            <child>
1518
504
              <object class="GtkProgressBar" id="commit_status_progress_bar">
1519
505
                <property name="visible">True</property>
 
506
                <property name="can_focus">False</property>
1520
507
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1521
 
                <property name="activity_mode">True</property>
1522
508
                <property name="text" translatable="yes">Retrieving status…</property>
1523
509
              </object>
1524
510
              <packing>
1525
511
                <property name="expand">False</property>
 
512
                <property name="fill">True</property>
1526
513
                <property name="position">4</property>
1527
514
              </packing>
1528
515
            </child>
1529
516
            <child>
1530
517
              <object class="GtkHButtonBox" id="hbuttonbox2">
1531
518
                <property name="visible">True</property>
 
519
                <property name="can_focus">False</property>
1532
520
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1533
521
                <property name="spacing">2</property>
1534
522
                <property name="layout_style">start</property>
1564
552
                </child>
1565
553
              </object>
1566
554
              <packing>
 
555
                <property name="expand">True</property>
 
556
                <property name="fill">True</property>
1567
557
                <property name="position">5</property>
1568
558
              </packing>
1569
559
            </child>
1570
560
          </object>
1571
561
          <packing>
 
562
            <property name="expand">False</property>
 
563
            <property name="fill">True</property>
1572
564
            <property name="position">1</property>
1573
565
          </packing>
1574
566
        </child>
1575
 
        <child internal-child="action_area">
1576
 
          <object class="GtkHButtonBox" id="dialog-action_area9">
1577
 
            <property name="visible">True</property>
1578
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1579
 
            <property name="layout_style">end</property>
1580
 
            <child>
1581
 
              <object class="GtkButton" id="button1">
1582
 
                <property name="label">gtk-cancel</property>
1583
 
                <property name="visible">True</property>
1584
 
                <property name="can_focus">True</property>
1585
 
                <property name="receives_default">True</property>
1586
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1587
 
                <property name="use_stock">True</property>
1588
 
              </object>
1589
 
              <packing>
1590
 
                <property name="expand">False</property>
1591
 
                <property name="fill">False</property>
1592
 
                <property name="position">0</property>
1593
 
              </packing>
1594
 
            </child>
1595
 
            <child>
1596
 
              <object class="GtkButton" id="button4">
1597
 
                <property name="label">gtk-ok</property>
1598
 
                <property name="visible">True</property>
1599
 
                <property name="can_focus">True</property>
1600
 
                <property name="receives_default">True</property>
1601
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1602
 
                <property name="use_stock">True</property>
1603
 
              </object>
1604
 
              <packing>
1605
 
                <property name="expand">False</property>
1606
 
                <property name="fill">False</property>
1607
 
                <property name="position">1</property>
1608
 
              </packing>
1609
 
            </child>
1610
 
          </object>
1611
 
          <packing>
1612
 
            <property name="expand">False</property>
1613
 
            <property name="pack_type">end</property>
1614
 
            <property name="position">0</property>
1615
 
          </packing>
1616
 
        </child>
1617
567
      </object>
1618
568
    </child>
1619
569
    <action-widgets>
1621
571
      <action-widget response="-5">button4</action-widget>
1622
572
    </action-widgets>
1623
573
  </object>
 
574
  <object class="GtkDialog" id="subversion_copy">
 
575
    <property name="width_request">550</property>
 
576
    <property name="can_focus">False</property>
 
577
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
578
    <property name="border_width">5</property>
 
579
    <property name="title" translatable="yes">Copy files/folders</property>
 
580
    <property name="resizable">False</property>
 
581
    <property name="window_position">center-on-parent</property>
 
582
    <property name="type_hint">dialog</property>
 
583
    <child internal-child="vbox">
 
584
      <object class="GtkBox" id="dialog-vbox10">
 
585
        <property name="visible">True</property>
 
586
        <property name="can_focus">False</property>
 
587
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
588
        <property name="spacing">2</property>
 
589
        <child internal-child="action_area">
 
590
          <object class="GtkButtonBox" id="dialog-action_area10">
 
591
            <property name="visible">True</property>
 
592
            <property name="can_focus">False</property>
 
593
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
594
            <property name="layout_style">end</property>
 
595
            <child>
 
596
              <object class="GtkButton" id="button10">
 
597
                <property name="label">gtk-cancel</property>
 
598
                <property name="visible">True</property>
 
599
                <property name="can_focus">True</property>
 
600
                <property name="receives_default">True</property>
 
601
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
602
                <property name="use_stock">True</property>
 
603
              </object>
 
604
              <packing>
 
605
                <property name="expand">False</property>
 
606
                <property name="fill">False</property>
 
607
                <property name="position">0</property>
 
608
              </packing>
 
609
            </child>
 
610
            <child>
 
611
              <object class="GtkButton" id="button5">
 
612
                <property name="label">gtk-ok</property>
 
613
                <property name="visible">True</property>
 
614
                <property name="can_focus">True</property>
 
615
                <property name="receives_default">True</property>
 
616
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
617
                <property name="use_stock">True</property>
 
618
              </object>
 
619
              <packing>
 
620
                <property name="expand">False</property>
 
621
                <property name="fill">False</property>
 
622
                <property name="position">1</property>
 
623
              </packing>
 
624
            </child>
 
625
          </object>
 
626
          <packing>
 
627
            <property name="expand">False</property>
 
628
            <property name="fill">True</property>
 
629
            <property name="pack_type">end</property>
 
630
            <property name="position">0</property>
 
631
          </packing>
 
632
        </child>
 
633
        <child>
 
634
          <object class="GtkVBox" id="vbox5">
 
635
            <property name="visible">True</property>
 
636
            <property name="can_focus">False</property>
 
637
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
638
            <child>
 
639
              <object class="GtkFrame" id="frame12">
 
640
                <property name="visible">True</property>
 
641
                <property name="can_focus">False</property>
 
642
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
643
                <property name="label_xalign">0</property>
 
644
                <property name="shadow_type">none</property>
 
645
                <child>
 
646
                  <object class="GtkAlignment" id="alignment12">
 
647
                    <property name="visible">True</property>
 
648
                    <property name="can_focus">False</property>
 
649
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
650
                    <property name="left_padding">12</property>
 
651
                    <child>
 
652
                      <object class="GtkVBox" id="vbox11">
 
653
                        <property name="visible">True</property>
 
654
                        <property name="can_focus">False</property>
 
655
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
656
                        <property name="spacing">4</property>
 
657
                        <child>
 
658
                          <object class="GtkHBox" id="hbox10">
 
659
                            <property name="visible">True</property>
 
660
                            <property name="can_focus">False</property>
 
661
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
662
                            <property name="spacing">2</property>
 
663
                            <child>
 
664
                              <object class="GtkLabel" id="label19">
 
665
                                <property name="visible">True</property>
 
666
                                <property name="can_focus">False</property>
 
667
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
668
                                <property name="label" translatable="yes">Source:</property>
 
669
                              </object>
 
670
                              <packing>
 
671
                                <property name="expand">False</property>
 
672
                                <property name="fill">False</property>
 
673
                                <property name="position">0</property>
 
674
                              </packing>
 
675
                            </child>
 
676
                            <child>
 
677
                              <object class="GtkEntry" id="copy_source_entry">
 
678
                                <property name="visible">True</property>
 
679
                                <property name="can_focus">True</property>
 
680
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
681
                              </object>
 
682
                              <packing>
 
683
                                <property name="expand">True</property>
 
684
                                <property name="fill">True</property>
 
685
                                <property name="position">1</property>
 
686
                              </packing>
 
687
                            </child>
 
688
                            <child>
 
689
                              <object class="GtkButton" id="copy_browse_button">
 
690
                                <property name="label" translatable="yes">Browse…</property>
 
691
                                <property name="visible">True</property>
 
692
                                <property name="can_focus">True</property>
 
693
                                <property name="receives_default">True</property>
 
694
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
695
                              </object>
 
696
                              <packing>
 
697
                                <property name="expand">False</property>
 
698
                                <property name="fill">False</property>
 
699
                                <property name="position">2</property>
 
700
                              </packing>
 
701
                            </child>
 
702
                          </object>
 
703
                          <packing>
 
704
                            <property name="expand">False</property>
 
705
                            <property name="fill">True</property>
 
706
                            <property name="position">0</property>
 
707
                          </packing>
 
708
                        </child>
 
709
                        <child>
 
710
                          <object class="GtkHBox" id="hbox11">
 
711
                            <property name="visible">True</property>
 
712
                            <property name="can_focus">False</property>
 
713
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
714
                            <property name="spacing">2</property>
 
715
                            <child>
 
716
                              <object class="GtkLabel" id="label20">
 
717
                                <property name="visible">True</property>
 
718
                                <property name="can_focus">False</property>
 
719
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
720
                                <property name="label" translatable="yes">Destination:</property>
 
721
                              </object>
 
722
                              <packing>
 
723
                                <property name="expand">False</property>
 
724
                                <property name="fill">False</property>
 
725
                                <property name="position">0</property>
 
726
                              </packing>
 
727
                            </child>
 
728
                            <child>
 
729
                              <object class="GtkEntry" id="copy_dest_entry">
 
730
                                <property name="visible">True</property>
 
731
                                <property name="can_focus">True</property>
 
732
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
733
                              </object>
 
734
                              <packing>
 
735
                                <property name="expand">True</property>
 
736
                                <property name="fill">True</property>
 
737
                                <property name="position">1</property>
 
738
                              </packing>
 
739
                            </child>
 
740
                          </object>
 
741
                          <packing>
 
742
                            <property name="expand">False</property>
 
743
                            <property name="fill">False</property>
 
744
                            <property name="position">1</property>
 
745
                          </packing>
 
746
                        </child>
 
747
                      </object>
 
748
                    </child>
 
749
                  </object>
 
750
                </child>
 
751
                <child type="label">
 
752
                  <object class="GtkLabel" id="label17">
 
753
                    <property name="visible">True</property>
 
754
                    <property name="can_focus">False</property>
 
755
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
756
                    <property name="label" translatable="yes">Source/Destination Paths:</property>
 
757
                    <attributes>
 
758
                      <attribute name="weight" value="bold"/>
 
759
                    </attributes>
 
760
                  </object>
 
761
                </child>
 
762
              </object>
 
763
              <packing>
 
764
                <property name="expand">True</property>
 
765
                <property name="fill">True</property>
 
766
                <property name="position">0</property>
 
767
              </packing>
 
768
            </child>
 
769
            <child>
 
770
              <object class="GtkFrame" id="frame13">
 
771
                <property name="visible">True</property>
 
772
                <property name="can_focus">False</property>
 
773
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
774
                <property name="label_xalign">0</property>
 
775
                <property name="shadow_type">none</property>
 
776
                <child>
 
777
                  <object class="GtkAlignment" id="alignment13">
 
778
                    <property name="visible">True</property>
 
779
                    <property name="can_focus">False</property>
 
780
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
781
                    <property name="left_padding">12</property>
 
782
                    <child>
 
783
                      <object class="GtkVBox" id="vbox12">
 
784
                        <property name="visible">True</property>
 
785
                        <property name="can_focus">False</property>
 
786
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
787
                        <child>
 
788
                          <object class="GtkRadioButton" id="copy_working_copy_radio">
 
789
                            <property name="label" translatable="yes">Working Copy</property>
 
790
                            <property name="visible">True</property>
 
791
                            <property name="can_focus">True</property>
 
792
                            <property name="receives_default">False</property>
 
793
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
794
                            <property name="xalign">0.5</property>
 
795
                            <property name="active">True</property>
 
796
                            <property name="draw_indicator">True</property>
 
797
                          </object>
 
798
                          <packing>
 
799
                            <property name="expand">False</property>
 
800
                            <property name="fill">True</property>
 
801
                            <property name="position">0</property>
 
802
                          </packing>
 
803
                        </child>
 
804
                        <child>
 
805
                          <object class="GtkRadioButton" id="copy_repository_head_radio">
 
806
                            <property name="label" translatable="yes">Repository Head</property>
 
807
                            <property name="visible">True</property>
 
808
                            <property name="can_focus">True</property>
 
809
                            <property name="receives_default">False</property>
 
810
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
811
                            <property name="xalign">0.5</property>
 
812
                            <property name="draw_indicator">True</property>
 
813
                            <property name="group">copy_other_revision_radio</property>
 
814
                          </object>
 
815
                          <packing>
 
816
                            <property name="expand">False</property>
 
817
                            <property name="fill">False</property>
 
818
                            <property name="position">1</property>
 
819
                          </packing>
 
820
                        </child>
 
821
                        <child>
 
822
                          <object class="GtkHBox" id="hbox12">
 
823
                            <property name="visible">True</property>
 
824
                            <property name="can_focus">False</property>
 
825
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
826
                            <property name="spacing">2</property>
 
827
                            <child>
 
828
                              <object class="GtkRadioButton" id="copy_other_revision_radio">
 
829
                                <property name="label" translatable="yes">Other Revision:</property>
 
830
                                <property name="visible">True</property>
 
831
                                <property name="can_focus">True</property>
 
832
                                <property name="receives_default">False</property>
 
833
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
834
                                <property name="xalign">0.5</property>
 
835
                                <property name="draw_indicator">True</property>
 
836
                                <property name="group">copy_working_copy_radio</property>
 
837
                              </object>
 
838
                              <packing>
 
839
                                <property name="expand">False</property>
 
840
                                <property name="fill">False</property>
 
841
                                <property name="position">0</property>
 
842
                              </packing>
 
843
                            </child>
 
844
                            <child>
 
845
                              <object class="GtkEntry" id="copy_revision_entry">
 
846
                                <property name="visible">True</property>
 
847
                                <property name="sensitive">False</property>
 
848
                                <property name="can_focus">True</property>
 
849
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
850
                              </object>
 
851
                              <packing>
 
852
                                <property name="expand">False</property>
 
853
                                <property name="fill">True</property>
 
854
                                <property name="position">1</property>
 
855
                              </packing>
 
856
                            </child>
 
857
                          </object>
 
858
                          <packing>
 
859
                            <property name="expand">False</property>
 
860
                            <property name="fill">False</property>
 
861
                            <property name="position">2</property>
 
862
                          </packing>
 
863
                        </child>
 
864
                      </object>
 
865
                    </child>
 
866
                  </object>
 
867
                </child>
 
868
                <child type="label">
 
869
                  <object class="GtkLabel" id="label21">
 
870
                    <property name="visible">True</property>
 
871
                    <property name="can_focus">False</property>
 
872
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
873
                    <property name="label" translatable="yes">Revision:</property>
 
874
                    <attributes>
 
875
                      <attribute name="weight" value="bold"/>
 
876
                    </attributes>
 
877
                  </object>
 
878
                </child>
 
879
              </object>
 
880
              <packing>
 
881
                <property name="expand">True</property>
 
882
                <property name="fill">True</property>
 
883
                <property name="position">1</property>
 
884
              </packing>
 
885
            </child>
 
886
            <child>
 
887
              <object class="GtkFrame" id="frame14">
 
888
                <property name="visible">True</property>
 
889
                <property name="can_focus">False</property>
 
890
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
891
                <property name="label_xalign">0</property>
 
892
                <property name="shadow_type">none</property>
 
893
                <child>
 
894
                  <object class="GtkAlignment" id="alignment14">
 
895
                    <property name="visible">True</property>
 
896
                    <property name="can_focus">False</property>
 
897
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
898
                    <property name="left_padding">12</property>
 
899
                    <child>
 
900
                      <object class="GtkScrolledWindow" id="scrolledwindow6">
 
901
                        <property name="visible">True</property>
 
902
                        <property name="can_focus">True</property>
 
903
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
904
                        <property name="shadow_type">in</property>
 
905
                        <child>
 
906
                          <object class="GtkTextView" id="copy_log_view">
 
907
                            <property name="visible">True</property>
 
908
                            <property name="can_focus">True</property>
 
909
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
910
                          </object>
 
911
                        </child>
 
912
                      </object>
 
913
                    </child>
 
914
                  </object>
 
915
                </child>
 
916
                <child type="label">
 
917
                  <object class="GtkLabel" id="label22">
 
918
                    <property name="visible">True</property>
 
919
                    <property name="can_focus">False</property>
 
920
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
921
                    <property name="label" translatable="yes">Log Message:</property>
 
922
                    <attributes>
 
923
                      <attribute name="weight" value="bold"/>
 
924
                    </attributes>
 
925
                  </object>
 
926
                </child>
 
927
              </object>
 
928
              <packing>
 
929
                <property name="expand">True</property>
 
930
                <property name="fill">True</property>
 
931
                <property name="position">2</property>
 
932
              </packing>
 
933
            </child>
 
934
          </object>
 
935
          <packing>
 
936
            <property name="expand">False</property>
 
937
            <property name="fill">True</property>
 
938
            <property name="position">1</property>
 
939
          </packing>
 
940
        </child>
 
941
      </object>
 
942
    </child>
 
943
    <action-widgets>
 
944
      <action-widget response="-6">button10</action-widget>
 
945
      <action-widget response="-5">button5</action-widget>
 
946
    </action-widgets>
 
947
  </object>
 
948
  <object class="GtkDialog" id="subversion_diff">
 
949
    <property name="can_focus">False</property>
 
950
    <property name="border_width">10</property>
 
951
    <property name="title" translatable="yes">Diff file/directory</property>
 
952
    <property name="default_width">400</property>
 
953
    <property name="type_hint">dialog</property>
 
954
    <child internal-child="vbox">
 
955
      <object class="GtkBox" id="vbox21">
 
956
        <property name="visible">True</property>
 
957
        <property name="can_focus">False</property>
 
958
        <property name="spacing">5</property>
 
959
        <child internal-child="action_area">
 
960
          <object class="GtkButtonBox" id="hbuttonbox4">
 
961
            <property name="visible">True</property>
 
962
            <property name="can_focus">False</property>
 
963
            <property name="layout_style">end</property>
 
964
            <child>
 
965
              <object class="GtkButton" id="button8">
 
966
                <property name="label">gtk-cancel</property>
 
967
                <property name="visible">True</property>
 
968
                <property name="can_focus">True</property>
 
969
                <property name="can_default">True</property>
 
970
                <property name="receives_default">False</property>
 
971
                <property name="use_stock">True</property>
 
972
              </object>
 
973
              <packing>
 
974
                <property name="expand">False</property>
 
975
                <property name="fill">False</property>
 
976
                <property name="position">0</property>
 
977
              </packing>
 
978
            </child>
 
979
            <child>
 
980
              <object class="GtkButton" id="button9">
 
981
                <property name="label">gtk-ok</property>
 
982
                <property name="visible">True</property>
 
983
                <property name="can_focus">True</property>
 
984
                <property name="can_default">True</property>
 
985
                <property name="receives_default">False</property>
 
986
                <property name="use_stock">True</property>
 
987
              </object>
 
988
              <packing>
 
989
                <property name="expand">False</property>
 
990
                <property name="fill">False</property>
 
991
                <property name="position">1</property>
 
992
              </packing>
 
993
            </child>
 
994
          </object>
 
995
          <packing>
 
996
            <property name="expand">False</property>
 
997
            <property name="fill">True</property>
 
998
            <property name="pack_type">end</property>
 
999
            <property name="position">0</property>
 
1000
          </packing>
 
1001
        </child>
 
1002
        <child>
 
1003
          <object class="GtkVBox" id="vbox22">
 
1004
            <property name="visible">True</property>
 
1005
            <property name="can_focus">False</property>
 
1006
            <property name="spacing">2</property>
 
1007
            <child>
 
1008
              <object class="GtkFrame" id="frame28">
 
1009
                <property name="visible">True</property>
 
1010
                <property name="can_focus">False</property>
 
1011
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1012
                <property name="label_xalign">0</property>
 
1013
                <property name="shadow_type">none</property>
 
1014
                <child>
 
1015
                  <object class="GtkVBox" id="vbox18">
 
1016
                    <property name="visible">True</property>
 
1017
                    <property name="can_focus">False</property>
 
1018
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1019
                    <child>
 
1020
                      <object class="GtkHBox" id="hbox03">
 
1021
                        <property name="visible">True</property>
 
1022
                        <property name="can_focus">False</property>
 
1023
                        <child>
 
1024
                          <object class="GtkEntry" id="diff_path_entry">
 
1025
                            <property name="width_request">260</property>
 
1026
                            <property name="visible">True</property>
 
1027
                            <property name="can_focus">True</property>
 
1028
                            <property name="invisible_char">●</property>
 
1029
                          </object>
 
1030
                          <packing>
 
1031
                            <property name="expand">True</property>
 
1032
                            <property name="fill">True</property>
 
1033
                            <property name="position">0</property>
 
1034
                          </packing>
 
1035
                        </child>
 
1036
                        <child>
 
1037
                          <object class="GtkButton" id="browse_button_diff_dialog">
 
1038
                            <property name="label" translatable="yes">Browse…</property>
 
1039
                            <property name="visible">True</property>
 
1040
                            <property name="can_focus">True</property>
 
1041
                            <property name="receives_default">True</property>
 
1042
                          </object>
 
1043
                          <packing>
 
1044
                            <property name="expand">False</property>
 
1045
                            <property name="fill">True</property>
 
1046
                            <property name="position">1</property>
 
1047
                          </packing>
 
1048
                        </child>
 
1049
                      </object>
 
1050
                      <packing>
 
1051
                        <property name="expand">True</property>
 
1052
                        <property name="fill">True</property>
 
1053
                        <property name="position">0</property>
 
1054
                      </packing>
 
1055
                    </child>
 
1056
                    <child>
 
1057
                      <object class="GtkCheckButton" id="diff_whole_project_check">
 
1058
                        <property name="label" translatable="yes">Whole project</property>
 
1059
                        <property name="visible">True</property>
 
1060
                        <property name="can_focus">True</property>
 
1061
                        <property name="receives_default">False</property>
 
1062
                        <property name="use_underline">True</property>
 
1063
                        <property name="xalign">0.5</property>
 
1064
                        <property name="draw_indicator">True</property>
 
1065
                      </object>
 
1066
                      <packing>
 
1067
                        <property name="expand">False</property>
 
1068
                        <property name="fill">False</property>
 
1069
                        <property name="position">1</property>
 
1070
                      </packing>
 
1071
                    </child>
 
1072
                  </object>
 
1073
                </child>
 
1074
                <child type="label">
 
1075
                  <object class="GtkLabel" id="label23">
 
1076
                    <property name="visible">True</property>
 
1077
                    <property name="can_focus">False</property>
 
1078
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1079
                    <property name="label" translatable="yes">File or directory to diff:</property>
 
1080
                    <attributes>
 
1081
                      <attribute name="weight" value="bold"/>
 
1082
                    </attributes>
 
1083
                  </object>
 
1084
                </child>
 
1085
              </object>
 
1086
              <packing>
 
1087
                <property name="expand">False</property>
 
1088
                <property name="fill">False</property>
 
1089
                <property name="position">0</property>
 
1090
              </packing>
 
1091
            </child>
 
1092
            <child>
 
1093
              <object class="GtkFrame" id="frame11">
 
1094
                <property name="visible">True</property>
 
1095
                <property name="can_focus">False</property>
 
1096
                <property name="label_xalign">0</property>
 
1097
                <property name="shadow_type">none</property>
 
1098
                <child>
 
1099
                  <object class="GtkAlignment" id="alignment11">
 
1100
                    <property name="visible">True</property>
 
1101
                    <property name="can_focus">False</property>
 
1102
                    <property name="left_padding">12</property>
 
1103
                    <child>
 
1104
                      <object class="GtkVBox" id="vbox23">
 
1105
                        <property name="visible">True</property>
 
1106
                        <property name="can_focus">False</property>
 
1107
                        <child>
 
1108
                          <object class="GtkCheckButton" id="diff_save_open_files_check">
 
1109
                            <property name="label" translatable="yes">Save open files before diffing</property>
 
1110
                            <property name="visible">True</property>
 
1111
                            <property name="can_focus">True</property>
 
1112
                            <property name="receives_default">False</property>
 
1113
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1114
                            <property name="xalign">0.5</property>
 
1115
                            <property name="active">True</property>
 
1116
                            <property name="draw_indicator">True</property>
 
1117
                          </object>
 
1118
                          <packing>
 
1119
                            <property name="expand">False</property>
 
1120
                            <property name="fill">True</property>
 
1121
                            <property name="position">0</property>
 
1122
                          </packing>
 
1123
                        </child>
 
1124
                        <child>
 
1125
                          <object class="GtkCheckButton" id="diff_no_recursive_check">
 
1126
                            <property name="label" translatable="yes">Do not act recursively</property>
 
1127
                            <property name="visible">True</property>
 
1128
                            <property name="can_focus">True</property>
 
1129
                            <property name="receives_default">False</property>
 
1130
                            <property name="use_underline">True</property>
 
1131
                            <property name="xalign">0.5</property>
 
1132
                            <property name="draw_indicator">True</property>
 
1133
                          </object>
 
1134
                          <packing>
 
1135
                            <property name="expand">False</property>
 
1136
                            <property name="fill">False</property>
 
1137
                            <property name="position">1</property>
 
1138
                          </packing>
 
1139
                        </child>
 
1140
                        <child>
 
1141
                          <object class="GtkHBox" id="hbox4">
 
1142
                            <property name="visible">True</property>
 
1143
                            <property name="can_focus">False</property>
 
1144
                            <child>
 
1145
                              <object class="GtkLabel" id="label36">
 
1146
                                <property name="visible">True</property>
 
1147
                                <property name="can_focus">False</property>
 
1148
                                <property name="label" translatable="yes">Use revision/tag:</property>
 
1149
                              </object>
 
1150
                              <packing>
 
1151
                                <property name="expand">False</property>
 
1152
                                <property name="fill">False</property>
 
1153
                                <property name="position">0</property>
 
1154
                              </packing>
 
1155
                            </child>
 
1156
                            <child>
 
1157
                              <object class="GtkEntry" id="diff_revision_entry">
 
1158
                                <property name="visible">True</property>
 
1159
                                <property name="can_focus">True</property>
 
1160
                              </object>
 
1161
                              <packing>
 
1162
                                <property name="expand">True</property>
 
1163
                                <property name="fill">True</property>
 
1164
                                <property name="position">1</property>
 
1165
                              </packing>
 
1166
                            </child>
 
1167
                          </object>
 
1168
                          <packing>
 
1169
                            <property name="expand">True</property>
 
1170
                            <property name="fill">True</property>
 
1171
                            <property name="position">2</property>
 
1172
                          </packing>
 
1173
                        </child>
 
1174
                      </object>
 
1175
                    </child>
 
1176
                  </object>
 
1177
                </child>
 
1178
                <child type="label">
 
1179
                  <object class="GtkLabel" id="label37">
 
1180
                    <property name="visible">True</property>
 
1181
                    <property name="can_focus">False</property>
 
1182
                    <property name="label" translatable="yes">Options:</property>
 
1183
                    <attributes>
 
1184
                      <attribute name="weight" value="bold"/>
 
1185
                    </attributes>
 
1186
                  </object>
 
1187
                </child>
 
1188
              </object>
 
1189
              <packing>
 
1190
                <property name="expand">True</property>
 
1191
                <property name="fill">False</property>
 
1192
                <property name="position">1</property>
 
1193
              </packing>
 
1194
            </child>
 
1195
          </object>
 
1196
          <packing>
 
1197
            <property name="expand">False</property>
 
1198
            <property name="fill">True</property>
 
1199
            <property name="position">2</property>
 
1200
          </packing>
 
1201
        </child>
 
1202
      </object>
 
1203
    </child>
 
1204
    <action-widgets>
 
1205
      <action-widget response="-6">button8</action-widget>
 
1206
      <action-widget response="-5">button9</action-widget>
 
1207
    </action-widgets>
 
1208
  </object>
1624
1209
  <object class="GtkWindow" id="subversion_log">
 
1210
    <property name="can_focus">False</property>
1625
1211
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1626
1212
    <child>
1627
1213
      <object class="GtkVBox" id="subversion_log_vbox">
1628
1214
        <property name="visible">True</property>
 
1215
        <property name="can_focus">False</property>
1629
1216
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1630
1217
        <child>
1631
1218
          <object class="GtkFrame" id="frame6">
1632
1219
            <property name="visible">True</property>
 
1220
            <property name="can_focus">False</property>
1633
1221
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1634
1222
            <property name="label_xalign">0</property>
1635
1223
            <property name="shadow_type">none</property>
1636
1224
            <child>
1637
1225
              <object class="GtkAlignment" id="alignment6">
1638
1226
                <property name="visible">True</property>
 
1227
                <property name="can_focus">False</property>
1639
1228
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1640
1229
                <property name="left_padding">12</property>
1641
1230
                <child>
1642
1231
                  <object class="GtkVBox" id="vbox7">
1643
1232
                    <property name="visible">True</property>
 
1233
                    <property name="can_focus">False</property>
1644
1234
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1645
1235
                    <child>
1646
1236
                      <object class="GtkHBox" id="hbox1">
1647
1237
                        <property name="visible">True</property>
 
1238
                        <property name="can_focus">False</property>
1648
1239
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1649
1240
                        <property name="spacing">2</property>
1650
1241
                        <child>
1651
1242
                          <object class="GtkHBox" id="hbox04">
1652
1243
                            <property name="visible">True</property>
 
1244
                            <property name="can_focus">False</property>
1653
1245
                            <child>
1654
1246
                              <object class="GtkEntry" id="log_file_entry">
1655
1247
                                <property name="width_request">260</property>
1656
1248
                                <property name="visible">True</property>
1657
1249
                                <property name="can_focus">True</property>
1658
1250
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1659
 
                                <property name="invisible_char">&#x25CF;</property>
 
1251
                                <property name="invisible_char">●</property>
1660
1252
                              </object>
1661
1253
                              <packing>
 
1254
                                <property name="expand">True</property>
 
1255
                                <property name="fill">True</property>
1662
1256
                                <property name="position">0</property>
1663
1257
                              </packing>
1664
1258
                            </child>
1671
1265
                              </object>
1672
1266
                              <packing>
1673
1267
                                <property name="expand">False</property>
 
1268
                                <property name="fill">True</property>
1674
1269
                                <property name="position">1</property>
1675
1270
                              </packing>
1676
1271
                            </child>
1677
1272
                          </object>
1678
1273
                          <packing>
 
1274
                            <property name="expand">True</property>
 
1275
                            <property name="fill">True</property>
1679
1276
                            <property name="position">0</property>
1680
1277
                          </packing>
1681
1278
                        </child>
1691
1288
                            <child>
1692
1289
                              <object class="GtkHBox" id="hbox2">
1693
1290
                                <property name="visible">True</property>
 
1291
                                <property name="can_focus">False</property>
1694
1292
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1695
1293
                                <child>
1696
1294
                                  <object class="GtkImage" id="image1">
1697
1295
                                    <property name="visible">True</property>
 
1296
                                    <property name="can_focus">False</property>
1698
1297
                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1699
1298
                                    <property name="stock">gtk-find</property>
1700
1299
                                  </object>
1701
1300
                                  <packing>
 
1301
                                    <property name="expand">True</property>
 
1302
                                    <property name="fill">True</property>
1702
1303
                                    <property name="position">0</property>
1703
1304
                                  </packing>
1704
1305
                                </child>
1705
1306
                                <child>
1706
1307
                                  <object class="GtkLabel" id="label8">
1707
1308
                                    <property name="visible">True</property>
 
1309
                                    <property name="can_focus">False</property>
1708
1310
                                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1709
1311
                                    <property name="label" translatable="yes">View Log</property>
1710
1312
                                  </object>
1711
1313
                                  <packing>
 
1314
                                    <property name="expand">True</property>
 
1315
                                    <property name="fill">True</property>
1712
1316
                                    <property name="position">1</property>
1713
1317
                                  </packing>
1714
1318
                                </child>
1717
1321
                          </object>
1718
1322
                          <packing>
1719
1323
                            <property name="expand">False</property>
 
1324
                            <property name="fill">True</property>
1720
1325
                            <property name="position">1</property>
1721
1326
                          </packing>
1722
1327
                        </child>
1723
1328
                      </object>
1724
1329
                      <packing>
 
1330
                        <property name="expand">False</property>
 
1331
                        <property name="fill">True</property>
1725
1332
                        <property name="position">0</property>
1726
1333
                      </packing>
1727
1334
                    </child>
1732
1339
                        <property name="can_focus">True</property>
1733
1340
                        <property name="receives_default">False</property>
1734
1341
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1342
                        <property name="xalign">0.5</property>
1735
1343
                        <property name="draw_indicator">True</property>
1736
1344
                      </object>
1737
1345
                      <packing>
 
1346
                        <property name="expand">False</property>
 
1347
                        <property name="fill">False</property>
1738
1348
                        <property name="position">1</property>
1739
1349
                      </packing>
1740
1350
                    </child>
1745
1355
            <child type="label">
1746
1356
              <object class="GtkLabel" id="label9">
1747
1357
                <property name="visible">True</property>
 
1358
                <property name="can_focus">False</property>
1748
1359
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1749
1360
                <property name="label" translatable="yes">View the Log for File/Folder:</property>
1750
1361
                <attributes>
1755
1366
          </object>
1756
1367
          <packing>
1757
1368
            <property name="expand">False</property>
 
1369
            <property name="fill">True</property>
1758
1370
            <property name="position">0</property>
1759
1371
          </packing>
1760
1372
        </child>
1761
1373
        <child>
1762
1374
          <object class="GtkFrame" id="frame7">
1763
1375
            <property name="visible">True</property>
 
1376
            <property name="can_focus">False</property>
1764
1377
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1765
1378
            <property name="label_xalign">0</property>
1766
1379
            <property name="shadow_type">none</property>
1767
1380
            <child>
1768
1381
              <object class="GtkAlignment" id="alignment7">
1769
1382
                <property name="visible">True</property>
 
1383
                <property name="can_focus">False</property>
1770
1384
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1771
1385
                <property name="left_padding">12</property>
1772
1386
                <child>
1774
1388
                    <property name="visible">True</property>
1775
1389
                    <property name="can_focus">True</property>
1776
1390
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1777
 
                    <property name="hscrollbar_policy">automatic</property>
1778
 
                    <property name="vscrollbar_policy">automatic</property>
1779
1391
                    <property name="shadow_type">in</property>
1780
1392
                    <child>
1781
1393
                      <object class="GtkTreeView" id="log_changes_view">
1782
1394
                        <property name="visible">True</property>
1783
1395
                        <property name="can_focus">True</property>
1784
1396
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1397
                        <child internal-child="selection">
 
1398
                          <object class="GtkTreeSelection" id="treeview-selection1"/>
 
1399
                        </child>
1785
1400
                      </object>
1786
1401
                    </child>
1787
1402
                  </object>
1791
1406
            <child type="label">
1792
1407
              <object class="GtkLabel" id="label10">
1793
1408
                <property name="visible">True</property>
 
1409
                <property name="can_focus">False</property>
1794
1410
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1795
1411
                <property name="label" translatable="yes">Changes:</property>
1796
1412
                <attributes>
1800
1416
            </child>
1801
1417
          </object>
1802
1418
          <packing>
 
1419
            <property name="expand">True</property>
 
1420
            <property name="fill">True</property>
1803
1421
            <property name="position">1</property>
1804
1422
          </packing>
1805
1423
        </child>
1806
1424
        <child>
1807
1425
          <object class="GtkFrame" id="frame8">
1808
1426
            <property name="visible">True</property>
 
1427
            <property name="can_focus">False</property>
1809
1428
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1810
1429
            <property name="label_xalign">0</property>
1811
1430
            <property name="shadow_type">none</property>
1812
1431
            <child>
1813
1432
              <object class="GtkAlignment" id="alignment8">
1814
1433
                <property name="visible">True</property>
 
1434
                <property name="can_focus">False</property>
1815
1435
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1816
1436
                <property name="left_padding">12</property>
1817
1437
                <child>
1819
1439
                    <property name="visible">True</property>
1820
1440
                    <property name="can_focus">True</property>
1821
1441
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1822
 
                    <property name="hscrollbar_policy">automatic</property>
1823
 
                    <property name="vscrollbar_policy">automatic</property>
1824
1442
                    <property name="shadow_type">in</property>
1825
1443
                    <child>
1826
1444
                      <object class="GtkTextView" id="log_message_text">
1837
1455
            <child type="label">
1838
1456
              <object class="GtkLabel" id="label13">
1839
1457
                <property name="visible">True</property>
 
1458
                <property name="can_focus">False</property>
1840
1459
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1841
1460
                <property name="label" translatable="yes">Log Message:</property>
1842
1461
                <attributes>
1846
1465
            </child>
1847
1466
          </object>
1848
1467
          <packing>
 
1468
            <property name="expand">True</property>
 
1469
            <property name="fill">True</property>
1849
1470
            <property name="position">2</property>
1850
1471
          </packing>
1851
1472
        </child>
1852
1473
        <child>
1853
1474
          <object class="GtkHBox" id="hbox5">
1854
1475
            <property name="visible">True</property>
 
1476
            <property name="can_focus">False</property>
1855
1477
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1856
1478
            <property name="spacing">2</property>
1857
1479
            <child>
1864
1486
                <child>
1865
1487
                  <object class="GtkHBox" id="hbox7">
1866
1488
                    <property name="visible">True</property>
 
1489
                    <property name="can_focus">False</property>
1867
1490
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1868
1491
                    <child>
1869
1492
                      <object class="GtkImage" id="image2">
1870
1493
                        <property name="visible">True</property>
 
1494
                        <property name="can_focus">False</property>
1871
1495
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1872
1496
                        <property name="stock">gtk-zoom-100</property>
1873
1497
                      </object>
1874
1498
                      <packing>
 
1499
                        <property name="expand">True</property>
 
1500
                        <property name="fill">True</property>
1875
1501
                        <property name="position">0</property>
1876
1502
                      </packing>
1877
1503
                    </child>
1878
1504
                    <child>
1879
1505
                      <object class="GtkLabel" id="label14">
1880
1506
                        <property name="visible">True</property>
 
1507
                        <property name="can_focus">False</property>
1881
1508
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1882
1509
                        <property name="label" translatable="yes">Diff to Previous</property>
1883
1510
                      </object>
1884
1511
                      <packing>
 
1512
                        <property name="expand">True</property>
 
1513
                        <property name="fill">True</property>
1885
1514
                        <property name="position">1</property>
1886
1515
                      </packing>
1887
1516
                    </child>
1904
1533
                <child>
1905
1534
                  <object class="GtkHBox" id="hbox8">
1906
1535
                    <property name="visible">True</property>
 
1536
                    <property name="can_focus">False</property>
1907
1537
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1908
1538
                    <child>
1909
1539
                      <object class="GtkImage" id="image3">
1910
1540
                        <property name="visible">True</property>
 
1541
                        <property name="can_focus">False</property>
1911
1542
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1912
1543
                        <property name="stock">gtk-zoom-fit</property>
1913
1544
                      </object>
1914
1545
                      <packing>
 
1546
                        <property name="expand">True</property>
 
1547
                        <property name="fill">True</property>
1915
1548
                        <property name="position">0</property>
1916
1549
                      </packing>
1917
1550
                    </child>
1918
1551
                    <child>
1919
1552
                      <object class="GtkLabel" id="label15">
1920
1553
                        <property name="visible">True</property>
 
1554
                        <property name="can_focus">False</property>
1921
1555
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1922
1556
                        <property name="label" translatable="yes">Diff Selected Revisions</property>
1923
1557
                      </object>
1924
1558
                      <packing>
 
1559
                        <property name="expand">True</property>
 
1560
                        <property name="fill">True</property>
1925
1561
                        <property name="position">1</property>
1926
1562
                      </packing>
1927
1563
                    </child>
1944
1580
                <child>
1945
1581
                  <object class="GtkHBox" id="hbox9">
1946
1582
                    <property name="visible">True</property>
 
1583
                    <property name="can_focus">False</property>
1947
1584
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1948
1585
                    <child>
1949
1586
                      <object class="GtkImage" id="image4">
1950
1587
                        <property name="visible">True</property>
 
1588
                        <property name="can_focus">False</property>
1951
1589
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1952
1590
                        <property name="stock">gtk-find</property>
1953
1591
                      </object>
1954
1592
                      <packing>
 
1593
                        <property name="expand">True</property>
 
1594
                        <property name="fill">True</property>
1955
1595
                        <property name="position">0</property>
1956
1596
                      </packing>
1957
1597
                    </child>
1958
1598
                    <child>
1959
1599
                      <object class="GtkLabel" id="label16">
1960
1600
                        <property name="visible">True</property>
 
1601
                        <property name="can_focus">False</property>
1961
1602
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1962
1603
                        <property name="label" translatable="yes">View Selected Revision</property>
1963
1604
                      </object>
1964
1605
                      <packing>
 
1606
                        <property name="expand">True</property>
 
1607
                        <property name="fill">True</property>
1965
1608
                        <property name="position">1</property>
1966
1609
                      </packing>
1967
1610
                    </child>
1984
1627
      </object>
1985
1628
    </child>
1986
1629
  </object>
1987
 
  <object class="GtkDialog" id="subversion_copy">
1988
 
    <property name="width_request">550</property>
1989
 
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1990
 
    <property name="border_width">5</property>
1991
 
    <property name="title" translatable="yes">Copy files/folders</property>
1992
 
    <property name="resizable">False</property>
1993
 
    <property name="window_position">center-on-parent</property>
1994
 
    <property name="type_hint">dialog</property>
1995
 
    <property name="has_separator">False</property>
1996
 
    <child internal-child="vbox">
1997
 
      <object class="GtkVBox" id="dialog-vbox10">
1998
 
        <property name="visible">True</property>
1999
 
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2000
 
        <property name="spacing">2</property>
2001
 
        <child>
2002
 
          <object class="GtkVBox" id="vbox5">
2003
 
            <property name="visible">True</property>
2004
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2005
 
            <child>
2006
 
              <object class="GtkFrame" id="frame12">
2007
 
                <property name="visible">True</property>
2008
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2009
 
                <property name="label_xalign">0</property>
2010
 
                <property name="shadow_type">none</property>
2011
 
                <child>
2012
 
                  <object class="GtkAlignment" id="alignment12">
2013
 
                    <property name="visible">True</property>
2014
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2015
 
                    <property name="left_padding">12</property>
2016
 
                    <child>
2017
 
                      <object class="GtkVBox" id="vbox11">
2018
 
                        <property name="visible">True</property>
2019
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2020
 
                        <property name="spacing">4</property>
2021
 
                        <child>
2022
 
                          <object class="GtkHBox" id="hbox10">
2023
 
                            <property name="visible">True</property>
2024
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2025
 
                            <property name="spacing">2</property>
2026
 
                            <child>
2027
 
                              <object class="GtkLabel" id="label19">
2028
 
                                <property name="visible">True</property>
2029
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2030
 
                                <property name="label" translatable="yes">Source:</property>
2031
 
                              </object>
2032
 
                              <packing>
2033
 
                                <property name="expand">False</property>
2034
 
                                <property name="fill">False</property>
2035
 
                                <property name="position">0</property>
2036
 
                              </packing>
2037
 
                            </child>
2038
 
                            <child>
2039
 
                              <object class="GtkEntry" id="copy_source_entry">
2040
 
                                <property name="visible">True</property>
2041
 
                                <property name="can_focus">True</property>
2042
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2043
 
                              </object>
2044
 
                              <packing>
2045
 
                                <property name="position">1</property>
2046
 
                              </packing>
2047
 
                            </child>
2048
 
                            <child>
2049
 
                              <object class="GtkButton" id="copy_browse_button">
2050
 
                                <property name="label" translatable="yes">Browse…</property>
2051
 
                                <property name="visible">True</property>
2052
 
                                <property name="can_focus">True</property>
2053
 
                                <property name="receives_default">True</property>
2054
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2055
 
                              </object>
2056
 
                              <packing>
2057
 
                                <property name="expand">False</property>
2058
 
                                <property name="fill">False</property>
2059
 
                                <property name="position">2</property>
2060
 
                              </packing>
2061
 
                            </child>
2062
 
                          </object>
2063
 
                          <packing>
2064
 
                            <property name="expand">False</property>
2065
 
                            <property name="position">0</property>
2066
 
                          </packing>
2067
 
                        </child>
2068
 
                        <child>
2069
 
                          <object class="GtkHBox" id="hbox11">
2070
 
                            <property name="visible">True</property>
2071
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2072
 
                            <property name="spacing">2</property>
2073
 
                            <child>
2074
 
                              <object class="GtkLabel" id="label20">
2075
 
                                <property name="visible">True</property>
2076
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2077
 
                                <property name="label" translatable="yes">Destination:</property>
2078
 
                              </object>
2079
 
                              <packing>
2080
 
                                <property name="expand">False</property>
2081
 
                                <property name="fill">False</property>
2082
 
                                <property name="position">0</property>
2083
 
                              </packing>
2084
 
                            </child>
2085
 
                            <child>
2086
 
                              <object class="GtkEntry" id="copy_dest_entry">
2087
 
                                <property name="visible">True</property>
2088
 
                                <property name="can_focus">True</property>
2089
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2090
 
                              </object>
2091
 
                              <packing>
2092
 
                                <property name="position">1</property>
2093
 
                              </packing>
2094
 
                            </child>
2095
 
                          </object>
2096
 
                          <packing>
2097
 
                            <property name="expand">False</property>
2098
 
                            <property name="fill">False</property>
2099
 
                            <property name="position">1</property>
2100
 
                          </packing>
2101
 
                        </child>
2102
 
                      </object>
2103
 
                    </child>
2104
 
                  </object>
2105
 
                </child>
2106
 
                <child type="label">
2107
 
                  <object class="GtkLabel" id="label17">
2108
 
                    <property name="visible">True</property>
2109
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2110
 
                    <property name="label" translatable="yes">Source/Destination Paths:</property>
2111
 
                    <attributes>
2112
 
                      <attribute name="weight" value="bold"/>
2113
 
                    </attributes>
2114
 
                  </object>
2115
 
                </child>
2116
 
              </object>
2117
 
              <packing>
2118
 
                <property name="position">0</property>
2119
 
              </packing>
2120
 
            </child>
2121
 
            <child>
2122
 
              <object class="GtkFrame" id="frame13">
2123
 
                <property name="visible">True</property>
2124
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2125
 
                <property name="label_xalign">0</property>
2126
 
                <property name="shadow_type">none</property>
2127
 
                <child>
2128
 
                  <object class="GtkAlignment" id="alignment13">
2129
 
                    <property name="visible">True</property>
2130
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2131
 
                    <property name="left_padding">12</property>
2132
 
                    <child>
2133
 
                      <object class="GtkVBox" id="vbox12">
2134
 
                        <property name="visible">True</property>
2135
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2136
 
                        <child>
2137
 
                          <object class="GtkRadioButton" id="copy_working_copy_radio">
2138
 
                            <property name="label" translatable="yes">Working Copy</property>
2139
 
                            <property name="visible">True</property>
2140
 
                            <property name="can_focus">True</property>
2141
 
                            <property name="receives_default">False</property>
2142
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2143
 
                            <property name="active">True</property>
2144
 
                            <property name="draw_indicator">True</property>
2145
 
                          </object>
2146
 
                          <packing>
2147
 
                            <property name="expand">False</property>
2148
 
                            <property name="position">0</property>
2149
 
                          </packing>
2150
 
                        </child>
2151
 
                        <child>
2152
 
                          <object class="GtkRadioButton" id="copy_repository_head_radio">
2153
 
                            <property name="label" translatable="yes">Repository Head</property>
2154
 
                            <property name="visible">True</property>
2155
 
                            <property name="can_focus">True</property>
2156
 
                            <property name="receives_default">False</property>
2157
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2158
 
                            <property name="draw_indicator">True</property>
2159
 
                            <property name="group">copy_other_revision_radio</property>
2160
 
                          </object>
2161
 
                          <packing>
2162
 
                            <property name="expand">False</property>
2163
 
                            <property name="fill">False</property>
2164
 
                            <property name="position">1</property>
2165
 
                          </packing>
2166
 
                        </child>
2167
 
                        <child>
2168
 
                          <object class="GtkHBox" id="hbox12">
2169
 
                            <property name="visible">True</property>
2170
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2171
 
                            <property name="spacing">2</property>
2172
 
                            <child>
2173
 
                              <object class="GtkRadioButton" id="copy_other_revision_radio">
2174
 
                                <property name="label" translatable="yes">Other Revision:</property>
2175
 
                                <property name="visible">True</property>
2176
 
                                <property name="can_focus">True</property>
2177
 
                                <property name="receives_default">False</property>
2178
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2179
 
                                <property name="draw_indicator">True</property>
2180
 
                                <property name="group">copy_working_copy_radio</property>
2181
 
                              </object>
2182
 
                              <packing>
2183
 
                                <property name="expand">False</property>
2184
 
                                <property name="fill">False</property>
2185
 
                                <property name="position">0</property>
2186
 
                              </packing>
2187
 
                            </child>
2188
 
                            <child>
2189
 
                              <object class="GtkEntry" id="copy_revision_entry">
2190
 
                                <property name="visible">True</property>
2191
 
                                <property name="sensitive">False</property>
2192
 
                                <property name="can_focus">True</property>
2193
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2194
 
                              </object>
2195
 
                              <packing>
2196
 
                                <property name="expand">False</property>
2197
 
                                <property name="position">1</property>
2198
 
                              </packing>
2199
 
                            </child>
2200
 
                          </object>
2201
 
                          <packing>
2202
 
                            <property name="expand">False</property>
2203
 
                            <property name="fill">False</property>
2204
 
                            <property name="position">2</property>
2205
 
                          </packing>
2206
 
                        </child>
2207
 
                      </object>
2208
 
                    </child>
2209
 
                  </object>
2210
 
                </child>
2211
 
                <child type="label">
2212
 
                  <object class="GtkLabel" id="label21">
2213
 
                    <property name="visible">True</property>
2214
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2215
 
                    <property name="label" translatable="yes">Revision:</property>
2216
 
                    <attributes>
2217
 
                      <attribute name="weight" value="bold"/>
2218
 
                    </attributes>
2219
 
                  </object>
2220
 
                </child>
2221
 
              </object>
2222
 
              <packing>
2223
 
                <property name="position">1</property>
2224
 
              </packing>
2225
 
            </child>
2226
 
            <child>
2227
 
              <object class="GtkFrame" id="frame14">
2228
 
                <property name="visible">True</property>
2229
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2230
 
                <property name="label_xalign">0</property>
2231
 
                <property name="shadow_type">none</property>
2232
 
                <child>
2233
 
                  <object class="GtkAlignment" id="alignment14">
2234
 
                    <property name="visible">True</property>
2235
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2236
 
                    <property name="left_padding">12</property>
2237
 
                    <child>
2238
 
                      <object class="GtkScrolledWindow" id="scrolledwindow6">
2239
 
                        <property name="visible">True</property>
2240
 
                        <property name="can_focus">True</property>
2241
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2242
 
                        <property name="hscrollbar_policy">automatic</property>
2243
 
                        <property name="vscrollbar_policy">automatic</property>
2244
 
                        <property name="shadow_type">in</property>
2245
 
                        <child>
2246
 
                          <object class="GtkTextView" id="copy_log_view">
2247
 
                            <property name="visible">True</property>
2248
 
                            <property name="can_focus">True</property>
2249
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2250
 
                          </object>
2251
 
                        </child>
2252
 
                      </object>
2253
 
                    </child>
2254
 
                  </object>
2255
 
                </child>
2256
 
                <child type="label">
2257
 
                  <object class="GtkLabel" id="label22">
2258
 
                    <property name="visible">True</property>
2259
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2260
 
                    <property name="label" translatable="yes">Log Message:</property>
2261
 
                    <attributes>
2262
 
                      <attribute name="weight" value="bold"/>
2263
 
                    </attributes>
2264
 
                  </object>
2265
 
                </child>
2266
 
              </object>
2267
 
              <packing>
2268
 
                <property name="position">2</property>
2269
 
              </packing>
2270
 
            </child>
2271
 
          </object>
2272
 
          <packing>
2273
 
            <property name="position">1</property>
2274
 
          </packing>
2275
 
        </child>
2276
 
        <child internal-child="action_area">
2277
 
          <object class="GtkHButtonBox" id="dialog-action_area10">
2278
 
            <property name="visible">True</property>
2279
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2280
 
            <property name="layout_style">end</property>
2281
 
            <child>
2282
 
              <object class="GtkButton" id="button10">
2283
 
                <property name="label">gtk-cancel</property>
2284
 
                <property name="visible">True</property>
2285
 
                <property name="can_focus">True</property>
2286
 
                <property name="receives_default">True</property>
2287
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2288
 
                <property name="use_stock">True</property>
2289
 
              </object>
2290
 
              <packing>
2291
 
                <property name="expand">False</property>
2292
 
                <property name="fill">False</property>
2293
 
                <property name="position">0</property>
2294
 
              </packing>
2295
 
            </child>
2296
 
            <child>
2297
 
              <object class="GtkButton" id="button5">
2298
 
                <property name="label">gtk-ok</property>
2299
 
                <property name="visible">True</property>
2300
 
                <property name="can_focus">True</property>
2301
 
                <property name="receives_default">True</property>
2302
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2303
 
                <property name="use_stock">True</property>
2304
 
              </object>
2305
 
              <packing>
2306
 
                <property name="expand">False</property>
2307
 
                <property name="fill">False</property>
2308
 
                <property name="position">1</property>
2309
 
              </packing>
2310
 
            </child>
2311
 
          </object>
2312
 
          <packing>
2313
 
            <property name="expand">False</property>
2314
 
            <property name="pack_type">end</property>
2315
 
            <property name="position">0</property>
2316
 
          </packing>
2317
 
        </child>
2318
 
      </object>
2319
 
    </child>
2320
 
    <action-widgets>
2321
 
      <action-widget response="-6">button10</action-widget>
2322
 
      <action-widget response="-5">button5</action-widget>
2323
 
    </action-widgets>
2324
 
  </object>
2325
 
  <object class="GtkDialog" id="subversion_switch">
2326
 
    <property name="width_request">500</property>
2327
 
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2328
 
    <property name="border_width">5</property>
2329
 
    <property name="title" translatable="yes">Switch to branch/tag</property>
2330
 
    <property name="resizable">False</property>
2331
 
    <property name="window_position">center-on-parent</property>
2332
 
    <property name="type_hint">dialog</property>
2333
 
    <property name="has_separator">False</property>
2334
 
    <child internal-child="vbox">
2335
 
      <object class="GtkVBox" id="dialog-vbox11">
2336
 
        <property name="visible">True</property>
2337
 
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2338
 
        <property name="spacing">2</property>
2339
 
        <child>
2340
 
          <object class="GtkVBox" id="vbox13">
2341
 
            <property name="visible">True</property>
2342
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2343
 
            <child>
2344
 
              <object class="GtkFrame" id="frame15">
2345
 
                <property name="visible">True</property>
2346
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2347
 
                <property name="label_xalign">0</property>
2348
 
                <property name="shadow_type">none</property>
2349
 
                <child>
2350
 
                  <object class="GtkAlignment" id="alignment15">
2351
 
                    <property name="visible">True</property>
2352
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2353
 
                    <property name="left_padding">12</property>
2354
 
                    <child>
2355
 
                      <object class="GtkHBox" id="hbox05">
2356
 
                        <property name="visible">True</property>
2357
 
                        <child>
2358
 
                          <object class="GtkEntry" id="switch_working_copy_entry">
2359
 
                            <property name="width_request">260</property>
2360
 
                            <property name="visible">True</property>
2361
 
                            <property name="can_focus">True</property>
2362
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2363
 
                            <property name="invisible_char">&#x25CF;</property>
2364
 
                          </object>
2365
 
                          <packing>
2366
 
                            <property name="position">0</property>
2367
 
                          </packing>
2368
 
                        </child>
2369
 
                        <child>
2370
 
                          <object class="GtkButton" id="browse_button_switch_dialog">
2371
 
                            <property name="label" translatable="yes">Browse…</property>
2372
 
                            <property name="visible">True</property>
2373
 
                            <property name="can_focus">True</property>
2374
 
                            <property name="receives_default">True</property>
2375
 
                          </object>
2376
 
                          <packing>
2377
 
                            <property name="expand">False</property>
2378
 
                            <property name="position">1</property>
2379
 
                          </packing>
2380
 
                        </child>
2381
 
                      </object>
2382
 
                    </child>
2383
 
                  </object>
2384
 
                </child>
2385
 
                <child type="label">
2386
 
                  <object class="GtkLabel" id="label24">
2387
 
                    <property name="visible">True</property>
2388
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2389
 
                    <property name="label" translatable="yes">Working Copy Path:</property>
2390
 
                    <attributes>
2391
 
                      <attribute name="weight" value="bold"/>
2392
 
                    </attributes>
2393
 
                  </object>
2394
 
                </child>
2395
 
              </object>
2396
 
              <packing>
2397
 
                <property name="expand">False</property>
2398
 
                <property name="position">0</property>
2399
 
              </packing>
2400
 
            </child>
2401
 
            <child>
2402
 
              <object class="GtkFrame" id="frame16">
2403
 
                <property name="visible">True</property>
2404
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2405
 
                <property name="label_xalign">0</property>
2406
 
                <property name="shadow_type">none</property>
2407
 
                <child>
2408
 
                  <object class="GtkAlignment" id="alignment16">
2409
 
                    <property name="visible">True</property>
2410
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2411
 
                    <property name="left_padding">12</property>
2412
 
                    <child>
2413
 
                      <object class="GtkEntry" id="switch_url_entry">
2414
 
                        <property name="visible">True</property>
2415
 
                        <property name="can_focus">True</property>
2416
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2417
 
                      </object>
2418
 
                    </child>
2419
 
                  </object>
2420
 
                </child>
2421
 
                <child type="label">
2422
 
                  <object class="GtkLabel" id="label25">
2423
 
                    <property name="visible">True</property>
2424
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2425
 
                    <property name="label" translatable="yes">Branch/Tag URL:</property>
2426
 
                    <attributes>
2427
 
                      <attribute name="weight" value="bold"/>
2428
 
                    </attributes>
2429
 
                  </object>
2430
 
                </child>
2431
 
              </object>
2432
 
              <packing>
2433
 
                <property name="fill">False</property>
2434
 
                <property name="position">1</property>
2435
 
              </packing>
2436
 
            </child>
2437
 
            <child>
2438
 
              <object class="GtkFrame" id="frame17">
2439
 
                <property name="visible">True</property>
2440
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2441
 
                <property name="label_xalign">0</property>
2442
 
                <property name="shadow_type">none</property>
2443
 
                <child>
2444
 
                  <object class="GtkAlignment" id="alignment17">
2445
 
                    <property name="visible">True</property>
2446
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2447
 
                    <property name="left_padding">12</property>
2448
 
                    <child>
2449
 
                      <object class="GtkVBox" id="vbox14">
2450
 
                        <property name="visible">True</property>
2451
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2452
 
                        <child>
2453
 
                          <object class="GtkRadioButton" id="switch_head_revision_radio">
2454
 
                            <property name="label" translatable="yes">Repository Head</property>
2455
 
                            <property name="visible">True</property>
2456
 
                            <property name="can_focus">True</property>
2457
 
                            <property name="receives_default">False</property>
2458
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2459
 
                            <property name="active">True</property>
2460
 
                            <property name="draw_indicator">True</property>
2461
 
                          </object>
2462
 
                          <packing>
2463
 
                            <property name="expand">False</property>
2464
 
                            <property name="fill">False</property>
2465
 
                            <property name="position">0</property>
2466
 
                          </packing>
2467
 
                        </child>
2468
 
                        <child>
2469
 
                          <object class="GtkHBox" id="hbox14">
2470
 
                            <property name="visible">True</property>
2471
 
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2472
 
                            <child>
2473
 
                              <object class="GtkRadioButton" id="switch_other_revision_radio">
2474
 
                                <property name="label" translatable="yes">Other Revision:</property>
2475
 
                                <property name="visible">True</property>
2476
 
                                <property name="can_focus">True</property>
2477
 
                                <property name="receives_default">False</property>
2478
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2479
 
                                <property name="draw_indicator">True</property>
2480
 
                                <property name="group">switch_head_revision_radio</property>
2481
 
                              </object>
2482
 
                              <packing>
2483
 
                                <property name="expand">False</property>
2484
 
                                <property name="position">0</property>
2485
 
                              </packing>
2486
 
                            </child>
2487
 
                            <child>
2488
 
                              <object class="GtkEntry" id="switch_revision_entry">
2489
 
                                <property name="visible">True</property>
2490
 
                                <property name="sensitive">False</property>
2491
 
                                <property name="can_focus">True</property>
2492
 
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2493
 
                              </object>
2494
 
                              <packing>
2495
 
                                <property name="expand">False</property>
2496
 
                                <property name="fill">False</property>
2497
 
                                <property name="position">1</property>
2498
 
                              </packing>
2499
 
                            </child>
2500
 
                          </object>
2501
 
                          <packing>
2502
 
                            <property name="expand">False</property>
2503
 
                            <property name="fill">False</property>
2504
 
                            <property name="position">1</property>
2505
 
                          </packing>
2506
 
                        </child>
2507
 
                      </object>
2508
 
                    </child>
2509
 
                  </object>
2510
 
                </child>
2511
 
                <child type="label">
2512
 
                  <object class="GtkLabel" id="label26">
2513
 
                    <property name="visible">True</property>
2514
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2515
 
                    <property name="label" translatable="yes">Revision:</property>
2516
 
                    <attributes>
2517
 
                      <attribute name="weight" value="bold"/>
2518
 
                    </attributes>
2519
 
                  </object>
2520
 
                </child>
2521
 
              </object>
2522
 
              <packing>
2523
 
                <property name="position">2</property>
2524
 
              </packing>
2525
 
            </child>
2526
 
            <child>
2527
 
              <object class="GtkFrame" id="frame18">
2528
 
                <property name="visible">True</property>
2529
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2530
 
                <property name="label_xalign">0</property>
2531
 
                <property name="shadow_type">none</property>
2532
 
                <child>
2533
 
                  <object class="GtkAlignment" id="alignment18">
2534
 
                    <property name="visible">True</property>
2535
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2536
 
                    <property name="left_padding">12</property>
2537
 
                    <child>
2538
 
                      <object class="GtkCheckButton" id="switch_no_recursive_check">
2539
 
                        <property name="label" translatable="yes">Do not act recursively</property>
2540
 
                        <property name="visible">True</property>
2541
 
                        <property name="can_focus">True</property>
2542
 
                        <property name="receives_default">False</property>
2543
 
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2544
 
                        <property name="draw_indicator">True</property>
2545
 
                      </object>
2546
 
                    </child>
2547
 
                  </object>
2548
 
                </child>
2549
 
                <child type="label">
2550
 
                  <object class="GtkLabel" id="label27">
2551
 
                    <property name="visible">True</property>
2552
 
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2553
 
                    <property name="label" translatable="yes">Options:</property>
2554
 
                    <attributes>
2555
 
                      <attribute name="weight" value="bold"/>
2556
 
                    </attributes>
2557
 
                  </object>
2558
 
                </child>
2559
 
              </object>
2560
 
              <packing>
2561
 
                <property name="position">3</property>
2562
 
              </packing>
2563
 
            </child>
2564
 
          </object>
2565
 
          <packing>
2566
 
            <property name="position">1</property>
2567
 
          </packing>
2568
 
        </child>
2569
 
        <child internal-child="action_area">
2570
 
          <object class="GtkHButtonBox" id="dialog-action_area11">
2571
 
            <property name="visible">True</property>
2572
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2573
 
            <property name="layout_style">end</property>
2574
 
            <child>
2575
 
              <object class="GtkButton" id="button13">
2576
 
                <property name="label">gtk-cancel</property>
2577
 
                <property name="visible">True</property>
2578
 
                <property name="can_focus">True</property>
2579
 
                <property name="receives_default">True</property>
2580
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2581
 
                <property name="use_stock">True</property>
2582
 
              </object>
2583
 
              <packing>
2584
 
                <property name="expand">False</property>
2585
 
                <property name="fill">False</property>
2586
 
                <property name="position">0</property>
2587
 
              </packing>
2588
 
            </child>
2589
 
            <child>
2590
 
              <object class="GtkButton" id="button14">
2591
 
                <property name="label">gtk-ok</property>
2592
 
                <property name="visible">True</property>
2593
 
                <property name="can_focus">True</property>
2594
 
                <property name="receives_default">True</property>
2595
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2596
 
                <property name="use_stock">True</property>
2597
 
              </object>
2598
 
              <packing>
2599
 
                <property name="expand">False</property>
2600
 
                <property name="fill">False</property>
2601
 
                <property name="position">1</property>
2602
 
              </packing>
2603
 
            </child>
2604
 
          </object>
2605
 
          <packing>
2606
 
            <property name="expand">False</property>
2607
 
            <property name="pack_type">end</property>
2608
 
            <property name="position">0</property>
2609
 
          </packing>
2610
 
        </child>
2611
 
      </object>
2612
 
    </child>
2613
 
    <action-widgets>
2614
 
      <action-widget response="-6">button13</action-widget>
2615
 
      <action-widget response="-5">button14</action-widget>
2616
 
    </action-widgets>
2617
 
  </object>
2618
1630
  <object class="GtkDialog" id="subversion_merge">
2619
1631
    <property name="width_request">550</property>
 
1632
    <property name="can_focus">False</property>
2620
1633
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2621
1634
    <property name="border_width">5</property>
2622
1635
    <property name="title" translatable="yes">Merge changes into working copy</property>
2623
1636
    <property name="resizable">False</property>
2624
1637
    <property name="window_position">center-on-parent</property>
2625
1638
    <property name="type_hint">dialog</property>
2626
 
    <property name="has_separator">False</property>
2627
1639
    <child internal-child="vbox">
2628
 
      <object class="GtkVBox" id="dialog-vbox12">
 
1640
      <object class="GtkBox" id="dialog-vbox12">
2629
1641
        <property name="visible">True</property>
 
1642
        <property name="can_focus">False</property>
2630
1643
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2631
1644
        <property name="spacing">2</property>
 
1645
        <child internal-child="action_area">
 
1646
          <object class="GtkButtonBox" id="dialog-action_area12">
 
1647
            <property name="visible">True</property>
 
1648
            <property name="can_focus">False</property>
 
1649
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1650
            <property name="layout_style">end</property>
 
1651
            <child>
 
1652
              <object class="GtkButton" id="button15">
 
1653
                <property name="label">gtk-cancel</property>
 
1654
                <property name="visible">True</property>
 
1655
                <property name="can_focus">True</property>
 
1656
                <property name="receives_default">True</property>
 
1657
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1658
                <property name="use_stock">True</property>
 
1659
              </object>
 
1660
              <packing>
 
1661
                <property name="expand">False</property>
 
1662
                <property name="fill">False</property>
 
1663
                <property name="position">0</property>
 
1664
              </packing>
 
1665
            </child>
 
1666
            <child>
 
1667
              <object class="GtkButton" id="button16">
 
1668
                <property name="label">gtk-ok</property>
 
1669
                <property name="visible">True</property>
 
1670
                <property name="can_focus">True</property>
 
1671
                <property name="receives_default">True</property>
 
1672
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1673
                <property name="use_stock">True</property>
 
1674
              </object>
 
1675
              <packing>
 
1676
                <property name="expand">False</property>
 
1677
                <property name="fill">False</property>
 
1678
                <property name="position">1</property>
 
1679
              </packing>
 
1680
            </child>
 
1681
          </object>
 
1682
          <packing>
 
1683
            <property name="expand">False</property>
 
1684
            <property name="fill">True</property>
 
1685
            <property name="pack_type">end</property>
 
1686
            <property name="position">0</property>
 
1687
          </packing>
 
1688
        </child>
2632
1689
        <child>
2633
1690
          <object class="GtkVBox" id="vbox15">
2634
1691
            <property name="visible">True</property>
 
1692
            <property name="can_focus">False</property>
2635
1693
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2636
1694
            <child>
2637
1695
              <object class="GtkFrame" id="frame19">
2638
1696
                <property name="visible">True</property>
 
1697
                <property name="can_focus">False</property>
2639
1698
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2640
1699
                <property name="label_xalign">0</property>
2641
1700
                <property name="shadow_type">none</property>
2642
1701
                <child>
2643
1702
                  <object class="GtkAlignment" id="alignment19">
2644
1703
                    <property name="visible">True</property>
 
1704
                    <property name="can_focus">False</property>
2645
1705
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2646
1706
                    <property name="left_padding">12</property>
2647
1707
                    <child>
2648
1708
                      <object class="GtkHBox" id="hbox15">
2649
1709
                        <property name="visible">True</property>
 
1710
                        <property name="can_focus">False</property>
2650
1711
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2651
1712
                        <property name="spacing">2</property>
2652
1713
                        <child>
2656
1717
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2657
1718
                          </object>
2658
1719
                          <packing>
 
1720
                            <property name="expand">True</property>
 
1721
                            <property name="fill">True</property>
2659
1722
                            <property name="position">0</property>
2660
1723
                          </packing>
2661
1724
                        </child>
2669
1732
                          </object>
2670
1733
                          <packing>
2671
1734
                            <property name="expand">False</property>
 
1735
                            <property name="fill">True</property>
2672
1736
                            <property name="position">1</property>
2673
1737
                          </packing>
2674
1738
                        </child>
2679
1743
                <child type="label">
2680
1744
                  <object class="GtkLabel" id="label28">
2681
1745
                    <property name="visible">True</property>
 
1746
                    <property name="can_focus">False</property>
2682
1747
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2683
1748
                    <property name="label" translatable="yes">First Path:</property>
2684
1749
                    <attributes>
2696
1761
            <child>
2697
1762
              <object class="GtkFrame" id="frame20">
2698
1763
                <property name="visible">True</property>
 
1764
                <property name="can_focus">False</property>
2699
1765
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2700
1766
                <property name="label_xalign">0</property>
2701
1767
                <property name="shadow_type">none</property>
2702
1768
                <child>
2703
1769
                  <object class="GtkAlignment" id="alignment20">
2704
1770
                    <property name="visible">True</property>
 
1771
                    <property name="can_focus">False</property>
2705
1772
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2706
1773
                    <property name="left_padding">12</property>
2707
1774
                    <child>
2708
1775
                      <object class="GtkVBox" id="vbox16">
2709
1776
                        <property name="visible">True</property>
 
1777
                        <property name="can_focus">False</property>
2710
1778
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2711
1779
                        <child>
2712
1780
                          <object class="GtkHBox" id="hbox16">
2713
1781
                            <property name="visible">True</property>
 
1782
                            <property name="can_focus">False</property>
2714
1783
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2715
1784
                            <property name="spacing">2</property>
2716
1785
                            <child>
2720
1789
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2721
1790
                              </object>
2722
1791
                              <packing>
 
1792
                                <property name="expand">True</property>
 
1793
                                <property name="fill">True</property>
2723
1794
                                <property name="position">0</property>
2724
1795
                              </packing>
2725
1796
                            </child>
2739
1810
                            </child>
2740
1811
                          </object>
2741
1812
                          <packing>
 
1813
                            <property name="expand">True</property>
 
1814
                            <property name="fill">True</property>
2742
1815
                            <property name="position">0</property>
2743
1816
                          </packing>
2744
1817
                        </child>
2749
1822
                            <property name="can_focus">True</property>
2750
1823
                            <property name="receives_default">False</property>
2751
1824
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1825
                            <property name="xalign">0.5</property>
2752
1826
                            <property name="draw_indicator">True</property>
2753
1827
                          </object>
2754
1828
                          <packing>
 
1829
                            <property name="expand">True</property>
 
1830
                            <property name="fill">True</property>
2755
1831
                            <property name="position">1</property>
2756
1832
                          </packing>
2757
1833
                        </child>
2762
1838
                <child type="label">
2763
1839
                  <object class="GtkLabel" id="label29">
2764
1840
                    <property name="visible">True</property>
 
1841
                    <property name="can_focus">False</property>
2765
1842
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2766
1843
                    <property name="label" translatable="yes">Second Path:</property>
2767
1844
                    <attributes>
2779
1856
            <child>
2780
1857
              <object class="GtkFrame" id="frame24">
2781
1858
                <property name="visible">True</property>
 
1859
                <property name="can_focus">False</property>
2782
1860
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2783
1861
                <property name="label_xalign">0</property>
2784
1862
                <property name="shadow_type">none</property>
2785
1863
                <child>
2786
1864
                  <object class="GtkAlignment" id="alignment24">
2787
1865
                    <property name="visible">True</property>
 
1866
                    <property name="can_focus">False</property>
2788
1867
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2789
1868
                    <property name="left_padding">12</property>
2790
1869
                    <child>
2791
1870
                      <object class="GtkHBox" id="hbox06">
2792
1871
                        <property name="visible">True</property>
 
1872
                        <property name="can_focus">False</property>
2793
1873
                        <child>
2794
1874
                          <object class="GtkEntry" id="merge_working_copy_path_entry">
2795
1875
                            <property name="width_request">260</property>
2796
1876
                            <property name="visible">True</property>
2797
1877
                            <property name="can_focus">True</property>
2798
1878
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2799
 
                            <property name="invisible_char">&#x25CF;</property>
 
1879
                            <property name="invisible_char">●</property>
2800
1880
                          </object>
2801
1881
                          <packing>
 
1882
                            <property name="expand">True</property>
 
1883
                            <property name="fill">True</property>
2802
1884
                            <property name="position">0</property>
2803
1885
                          </packing>
2804
1886
                        </child>
2811
1893
                          </object>
2812
1894
                          <packing>
2813
1895
                            <property name="expand">False</property>
 
1896
                            <property name="fill">True</property>
2814
1897
                            <property name="position">1</property>
2815
1898
                          </packing>
2816
1899
                        </child>
2821
1904
                <child type="label">
2822
1905
                  <object class="GtkLabel" id="label42">
2823
1906
                    <property name="visible">True</property>
 
1907
                    <property name="can_focus">False</property>
2824
1908
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2825
1909
                    <property name="label" translatable="yes">Working Copy Path:</property>
2826
1910
                    <attributes>
2830
1914
                </child>
2831
1915
              </object>
2832
1916
              <packing>
 
1917
                <property name="expand">True</property>
 
1918
                <property name="fill">True</property>
2833
1919
                <property name="position">2</property>
2834
1920
              </packing>
2835
1921
            </child>
2836
1922
            <child>
2837
1923
              <object class="GtkFrame" id="frame21">
2838
1924
                <property name="visible">True</property>
 
1925
                <property name="can_focus">False</property>
2839
1926
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2840
1927
                <property name="label_xalign">0</property>
2841
1928
                <property name="shadow_type">none</property>
2842
1929
                <child>
2843
1930
                  <object class="GtkAlignment" id="alignment21">
2844
1931
                    <property name="visible">True</property>
 
1932
                    <property name="can_focus">False</property>
2845
1933
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2846
1934
                    <property name="left_padding">12</property>
2847
1935
                    <child>
2848
1936
                      <object class="GtkVBox" id="vbox17">
2849
1937
                        <property name="visible">True</property>
 
1938
                        <property name="can_focus">False</property>
2850
1939
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2851
1940
                        <child>
2852
1941
                          <object class="GtkHBox" id="hbox17">
2853
1942
                            <property name="visible">True</property>
 
1943
                            <property name="can_focus">False</property>
2854
1944
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2855
1945
                            <property name="spacing">2</property>
2856
1946
                            <child>
2860
1950
                                <property name="can_focus">True</property>
2861
1951
                                <property name="receives_default">False</property>
2862
1952
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1953
                                <property name="xalign">0.5</property>
2863
1954
                                <property name="active">True</property>
2864
1955
                                <property name="draw_indicator">True</property>
2865
1956
                              </object>
2883
1974
                            </child>
2884
1975
                          </object>
2885
1976
                          <packing>
 
1977
                            <property name="expand">True</property>
 
1978
                            <property name="fill">True</property>
2886
1979
                            <property name="position">0</property>
2887
1980
                          </packing>
2888
1981
                        </child>
2893
1986
                            <property name="can_focus">True</property>
2894
1987
                            <property name="receives_default">False</property>
2895
1988
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
1989
                            <property name="xalign">0.5</property>
2896
1990
                            <property name="draw_indicator">True</property>
2897
1991
                            <property name="group">merge_start_revision_radio</property>
2898
1992
                          </object>
2899
1993
                          <packing>
 
1994
                            <property name="expand">True</property>
 
1995
                            <property name="fill">True</property>
2900
1996
                            <property name="position">1</property>
2901
1997
                          </packing>
2902
1998
                        </child>
2907
2003
                <child type="label">
2908
2004
                  <object class="GtkLabel" id="label30">
2909
2005
                    <property name="visible">True</property>
 
2006
                    <property name="can_focus">False</property>
2910
2007
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2911
2008
                    <property name="label" translatable="yes">Start Revision:</property>
2912
2009
                    <attributes>
2924
2021
            <child>
2925
2022
              <object class="GtkFrame" id="frame22">
2926
2023
                <property name="visible">True</property>
 
2024
                <property name="can_focus">False</property>
2927
2025
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2928
2026
                <property name="label_xalign">0</property>
2929
2027
                <property name="shadow_type">none</property>
2930
2028
                <child>
2931
2029
                  <object class="GtkAlignment" id="alignment22">
2932
2030
                    <property name="visible">True</property>
 
2031
                    <property name="can_focus">False</property>
2933
2032
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2934
2033
                    <property name="left_padding">12</property>
2935
2034
                    <child>
2936
2035
                      <object class="GtkVBox" id="vbox25">
2937
2036
                        <property name="visible">True</property>
 
2037
                        <property name="can_focus">False</property>
2938
2038
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2939
2039
                        <child>
2940
2040
                          <object class="GtkHBox" id="hbox19">
2941
2041
                            <property name="visible">True</property>
 
2042
                            <property name="can_focus">False</property>
2942
2043
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2943
2044
                            <property name="spacing">2</property>
2944
2045
                            <child>
2948
2049
                                <property name="can_focus">True</property>
2949
2050
                                <property name="receives_default">False</property>
2950
2051
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2052
                                <property name="xalign">0.5</property>
2951
2053
                                <property name="active">True</property>
2952
2054
                                <property name="draw_indicator">True</property>
2953
2055
                              </object>
2983
2085
                            <property name="can_focus">True</property>
2984
2086
                            <property name="receives_default">False</property>
2985
2087
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2088
                            <property name="xalign">0.5</property>
2986
2089
                            <property name="draw_indicator">True</property>
2987
2090
                            <property name="group">merge_end_revision_radio</property>
2988
2091
                          </object>
2999
2102
                <child type="label">
3000
2103
                  <object class="GtkLabel" id="label31">
3001
2104
                    <property name="visible">True</property>
 
2105
                    <property name="can_focus">False</property>
3002
2106
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3003
2107
                    <property name="label" translatable="yes">End Revision:</property>
3004
2108
                    <attributes>
3016
2120
            <child>
3017
2121
              <object class="GtkFrame" id="frame23">
3018
2122
                <property name="visible">True</property>
 
2123
                <property name="can_focus">False</property>
3019
2124
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3020
2125
                <property name="label_xalign">0</property>
3021
2126
                <property name="shadow_type">none</property>
3022
2127
                <child>
3023
2128
                  <object class="GtkAlignment" id="alignment23">
3024
2129
                    <property name="visible">True</property>
 
2130
                    <property name="can_focus">False</property>
3025
2131
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3026
2132
                    <property name="left_padding">12</property>
3027
2133
                    <child>
3028
2134
                      <object class="GtkVBox" id="vbox26">
3029
2135
                        <property name="visible">True</property>
 
2136
                        <property name="can_focus">False</property>
3030
2137
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3031
2138
                        <child>
3032
2139
                          <object class="GtkCheckButton" id="merge_no_recursive_check">
3035
2142
                            <property name="can_focus">True</property>
3036
2143
                            <property name="receives_default">False</property>
3037
2144
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2145
                            <property name="xalign">0.5</property>
3038
2146
                            <property name="draw_indicator">True</property>
3039
2147
                          </object>
3040
2148
                          <packing>
 
2149
                            <property name="expand">True</property>
 
2150
                            <property name="fill">True</property>
3041
2151
                            <property name="position">0</property>
3042
2152
                          </packing>
3043
2153
                        </child>
3048
2158
                            <property name="can_focus">True</property>
3049
2159
                            <property name="receives_default">False</property>
3050
2160
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2161
                            <property name="xalign">0.5</property>
3051
2162
                            <property name="draw_indicator">True</property>
3052
2163
                          </object>
3053
2164
                          <packing>
 
2165
                            <property name="expand">True</property>
 
2166
                            <property name="fill">True</property>
3054
2167
                            <property name="position">1</property>
3055
2168
                          </packing>
3056
2169
                        </child>
3061
2174
                            <property name="can_focus">True</property>
3062
2175
                            <property name="receives_default">False</property>
3063
2176
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2177
                            <property name="xalign">0.5</property>
3064
2178
                            <property name="draw_indicator">True</property>
3065
2179
                          </object>
3066
2180
                          <packing>
 
2181
                            <property name="expand">True</property>
 
2182
                            <property name="fill">True</property>
3067
2183
                            <property name="position">2</property>
3068
2184
                          </packing>
3069
2185
                        </child>
3074
2190
                            <property name="can_focus">True</property>
3075
2191
                            <property name="receives_default">False</property>
3076
2192
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2193
                            <property name="xalign">0.5</property>
3077
2194
                            <property name="draw_indicator">True</property>
3078
2195
                          </object>
3079
2196
                          <packing>
 
2197
                            <property name="expand">True</property>
 
2198
                            <property name="fill">True</property>
3080
2199
                            <property name="position">3</property>
3081
2200
                          </packing>
3082
2201
                        </child>
3087
2206
                <child type="label">
3088
2207
                  <object class="GtkLabel" id="label41">
3089
2208
                    <property name="visible">True</property>
 
2209
                    <property name="can_focus">False</property>
3090
2210
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3091
2211
                    <property name="label" translatable="yes">Options:</property>
3092
2212
                    <attributes>
3096
2216
                </child>
3097
2217
              </object>
3098
2218
              <packing>
 
2219
                <property name="expand">True</property>
 
2220
                <property name="fill">True</property>
3099
2221
                <property name="position">5</property>
3100
2222
              </packing>
3101
2223
            </child>
3102
2224
          </object>
3103
2225
          <packing>
 
2226
            <property name="expand">False</property>
 
2227
            <property name="fill">True</property>
3104
2228
            <property name="position">1</property>
3105
2229
          </packing>
3106
2230
        </child>
3107
 
        <child internal-child="action_area">
3108
 
          <object class="GtkHButtonBox" id="dialog-action_area12">
3109
 
            <property name="visible">True</property>
3110
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3111
 
            <property name="layout_style">end</property>
3112
 
            <child>
3113
 
              <object class="GtkButton" id="button15">
3114
 
                <property name="label">gtk-cancel</property>
3115
 
                <property name="visible">True</property>
3116
 
                <property name="can_focus">True</property>
3117
 
                <property name="receives_default">True</property>
3118
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3119
 
                <property name="use_stock">True</property>
3120
 
              </object>
3121
 
              <packing>
3122
 
                <property name="expand">False</property>
3123
 
                <property name="fill">False</property>
3124
 
                <property name="position">0</property>
3125
 
              </packing>
3126
 
            </child>
3127
 
            <child>
3128
 
              <object class="GtkButton" id="button16">
3129
 
                <property name="label">gtk-ok</property>
3130
 
                <property name="visible">True</property>
3131
 
                <property name="can_focus">True</property>
3132
 
                <property name="receives_default">True</property>
3133
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3134
 
                <property name="use_stock">True</property>
3135
 
              </object>
3136
 
              <packing>
3137
 
                <property name="expand">False</property>
3138
 
                <property name="fill">False</property>
3139
 
                <property name="position">1</property>
3140
 
              </packing>
3141
 
            </child>
3142
 
          </object>
3143
 
          <packing>
3144
 
            <property name="expand">False</property>
3145
 
            <property name="pack_type">end</property>
3146
 
            <property name="position">0</property>
3147
 
          </packing>
3148
 
        </child>
3149
2231
      </object>
3150
2232
    </child>
3151
2233
    <action-widgets>
3153
2235
      <action-widget response="-5">button16</action-widget>
3154
2236
    </action-widgets>
3155
2237
  </object>
 
2238
  <object class="GtkDialog" id="subversion_remove">
 
2239
    <property name="width_request">550</property>
 
2240
    <property name="can_focus">False</property>
 
2241
    <property name="border_width">10</property>
 
2242
    <property name="title" translatable="yes">Remove file/directory</property>
 
2243
    <property name="resizable">False</property>
 
2244
    <property name="type_hint">dialog</property>
 
2245
    <child internal-child="vbox">
 
2246
      <object class="GtkBox" id="vbox2">
 
2247
        <property name="visible">True</property>
 
2248
        <property name="can_focus">False</property>
 
2249
        <property name="spacing">5</property>
 
2250
        <child internal-child="action_area">
 
2251
          <object class="GtkButtonBox" id="hbuttonbox1">
 
2252
            <property name="visible">True</property>
 
2253
            <property name="can_focus">False</property>
 
2254
            <property name="layout_style">end</property>
 
2255
            <child>
 
2256
              <object class="GtkButton" id="button3">
 
2257
                <property name="label">gtk-cancel</property>
 
2258
                <property name="visible">True</property>
 
2259
                <property name="can_focus">True</property>
 
2260
                <property name="can_default">True</property>
 
2261
                <property name="receives_default">False</property>
 
2262
                <property name="use_stock">True</property>
 
2263
              </object>
 
2264
              <packing>
 
2265
                <property name="expand">False</property>
 
2266
                <property name="fill">False</property>
 
2267
                <property name="position">0</property>
 
2268
              </packing>
 
2269
            </child>
 
2270
            <child>
 
2271
              <object class="GtkButton" id="button2">
 
2272
                <property name="label">gtk-ok</property>
 
2273
                <property name="visible">True</property>
 
2274
                <property name="can_focus">True</property>
 
2275
                <property name="can_default">True</property>
 
2276
                <property name="receives_default">False</property>
 
2277
                <property name="use_stock">True</property>
 
2278
              </object>
 
2279
              <packing>
 
2280
                <property name="expand">False</property>
 
2281
                <property name="fill">False</property>
 
2282
                <property name="position">1</property>
 
2283
              </packing>
 
2284
            </child>
 
2285
          </object>
 
2286
          <packing>
 
2287
            <property name="expand">False</property>
 
2288
            <property name="fill">True</property>
 
2289
            <property name="pack_type">end</property>
 
2290
            <property name="position">0</property>
 
2291
          </packing>
 
2292
        </child>
 
2293
        <child>
 
2294
          <object class="GtkVBox" id="vbox3">
 
2295
            <property name="visible">True</property>
 
2296
            <property name="can_focus">False</property>
 
2297
            <property name="spacing">2</property>
 
2298
            <child>
 
2299
              <object class="GtkFrame" id="frame27">
 
2300
                <property name="visible">True</property>
 
2301
                <property name="can_focus">False</property>
 
2302
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2303
                <property name="label_xalign">0</property>
 
2304
                <property name="shadow_type">none</property>
 
2305
                <child>
 
2306
                  <object class="GtkHBox" id="hbox18">
 
2307
                    <property name="visible">True</property>
 
2308
                    <property name="can_focus">False</property>
 
2309
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2310
                    <property name="spacing">2</property>
 
2311
                    <child>
 
2312
                      <object class="GtkEntry" id="remove_path_entry">
 
2313
                        <property name="visible">True</property>
 
2314
                        <property name="can_focus">True</property>
 
2315
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2316
                      </object>
 
2317
                      <packing>
 
2318
                        <property name="expand">True</property>
 
2319
                        <property name="fill">True</property>
 
2320
                        <property name="position">0</property>
 
2321
                      </packing>
 
2322
                    </child>
 
2323
                    <child>
 
2324
                      <object class="GtkButton" id="remove_path_browse_button">
 
2325
                        <property name="label" translatable="yes">Browse…</property>
 
2326
                        <property name="visible">True</property>
 
2327
                        <property name="can_focus">True</property>
 
2328
                        <property name="receives_default">True</property>
 
2329
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2330
                      </object>
 
2331
                      <packing>
 
2332
                        <property name="expand">False</property>
 
2333
                        <property name="fill">False</property>
 
2334
                        <property name="position">1</property>
 
2335
                      </packing>
 
2336
                    </child>
 
2337
                  </object>
 
2338
                </child>
 
2339
                <child type="label">
 
2340
                  <object class="GtkLabel" id="label4">
 
2341
                    <property name="visible">True</property>
 
2342
                    <property name="can_focus">False</property>
 
2343
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2344
                    <property name="label" translatable="yes">File/URL to Remove:</property>
 
2345
                    <attributes>
 
2346
                      <attribute name="weight" value="bold"/>
 
2347
                    </attributes>
 
2348
                  </object>
 
2349
                </child>
 
2350
              </object>
 
2351
              <packing>
 
2352
                <property name="expand">False</property>
 
2353
                <property name="fill">False</property>
 
2354
                <property name="position">0</property>
 
2355
              </packing>
 
2356
            </child>
 
2357
            <child>
 
2358
              <object class="GtkFrame" id="frame10">
 
2359
                <property name="visible">True</property>
 
2360
                <property name="can_focus">False</property>
 
2361
                <property name="border_width">5</property>
 
2362
                <property name="label_xalign">0</property>
 
2363
                <property name="shadow_type">none</property>
 
2364
                <child>
 
2365
                  <object class="GtkAlignment" id="alignment10">
 
2366
                    <property name="visible">True</property>
 
2367
                    <property name="can_focus">False</property>
 
2368
                    <property name="left_padding">12</property>
 
2369
                    <child>
 
2370
                      <object class="GtkCheckButton" id="subversion_force1">
 
2371
                        <property name="label" translatable="yes">Force</property>
 
2372
                        <property name="visible">True</property>
 
2373
                        <property name="can_focus">True</property>
 
2374
                        <property name="receives_default">False</property>
 
2375
                        <property name="use_underline">True</property>
 
2376
                        <property name="xalign">0.5</property>
 
2377
                        <property name="draw_indicator">True</property>
 
2378
                      </object>
 
2379
                    </child>
 
2380
                  </object>
 
2381
                </child>
 
2382
                <child type="label">
 
2383
                  <object class="GtkLabel" id="label34">
 
2384
                    <property name="visible">True</property>
 
2385
                    <property name="can_focus">False</property>
 
2386
                    <property name="label" translatable="yes">Options:</property>
 
2387
                    <attributes>
 
2388
                      <attribute name="weight" value="bold"/>
 
2389
                    </attributes>
 
2390
                  </object>
 
2391
                </child>
 
2392
              </object>
 
2393
              <packing>
 
2394
                <property name="expand">False</property>
 
2395
                <property name="fill">False</property>
 
2396
                <property name="position">1</property>
 
2397
              </packing>
 
2398
            </child>
 
2399
            <child>
 
2400
              <object class="GtkFrame" id="frame25">
 
2401
                <property name="visible">True</property>
 
2402
                <property name="can_focus">False</property>
 
2403
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2404
                <property name="label_xalign">0</property>
 
2405
                <property name="shadow_type">none</property>
 
2406
                <child>
 
2407
                  <object class="GtkAlignment" id="alignment25">
 
2408
                    <property name="visible">True</property>
 
2409
                    <property name="can_focus">False</property>
 
2410
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2411
                    <property name="left_padding">12</property>
 
2412
                    <child>
 
2413
                      <object class="GtkScrolledWindow" id="scrolledwindow7">
 
2414
                        <property name="visible">True</property>
 
2415
                        <property name="can_focus">True</property>
 
2416
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2417
                        <property name="shadow_type">in</property>
 
2418
                        <child>
 
2419
                          <object class="GtkTextView" id="remove_log_view">
 
2420
                            <property name="visible">True</property>
 
2421
                            <property name="can_focus">True</property>
 
2422
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2423
                          </object>
 
2424
                        </child>
 
2425
                      </object>
 
2426
                    </child>
 
2427
                  </object>
 
2428
                </child>
 
2429
                <child type="label">
 
2430
                  <object class="GtkLabel" id="label44">
 
2431
                    <property name="visible">True</property>
 
2432
                    <property name="can_focus">False</property>
 
2433
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2434
                    <property name="label" translatable="yes">Log Message:</property>
 
2435
                    <attributes>
 
2436
                      <attribute name="weight" value="bold"/>
 
2437
                    </attributes>
 
2438
                  </object>
 
2439
                </child>
 
2440
              </object>
 
2441
              <packing>
 
2442
                <property name="expand">True</property>
 
2443
                <property name="fill">True</property>
 
2444
                <property name="position">2</property>
 
2445
              </packing>
 
2446
            </child>
 
2447
          </object>
 
2448
          <packing>
 
2449
            <property name="expand">False</property>
 
2450
            <property name="fill">True</property>
 
2451
            <property name="position">2</property>
 
2452
          </packing>
 
2453
        </child>
 
2454
      </object>
 
2455
    </child>
 
2456
    <action-widgets>
 
2457
      <action-widget response="-6">button3</action-widget>
 
2458
      <action-widget response="-5">button2</action-widget>
 
2459
    </action-widgets>
 
2460
  </object>
3156
2461
  <object class="GtkDialog" id="subversion_resolve">
3157
2462
    <property name="width_request">600</property>
3158
2463
    <property name="height_request">400</property>
 
2464
    <property name="can_focus">False</property>
3159
2465
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3160
2466
    <property name="border_width">5</property>
3161
2467
    <property name="title" translatable="yes">Set Conflicts as Resolved</property>
3162
2468
    <property name="window_position">center-on-parent</property>
3163
2469
    <property name="type_hint">dialog</property>
3164
 
    <property name="has_separator">False</property>
3165
2470
    <child internal-child="vbox">
3166
 
      <object class="GtkVBox" id="dialog-vbox14">
 
2471
      <object class="GtkBox" id="dialog-vbox14">
3167
2472
        <property name="visible">True</property>
 
2473
        <property name="can_focus">False</property>
3168
2474
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3169
2475
        <property name="spacing">2</property>
 
2476
        <child internal-child="action_area">
 
2477
          <object class="GtkButtonBox" id="dialog-action_area14">
 
2478
            <property name="visible">True</property>
 
2479
            <property name="can_focus">False</property>
 
2480
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2481
            <property name="layout_style">end</property>
 
2482
            <child>
 
2483
              <object class="GtkButton" id="revert_cancel_button2">
 
2484
                <property name="label">gtk-cancel</property>
 
2485
                <property name="visible">True</property>
 
2486
                <property name="can_focus">True</property>
 
2487
                <property name="receives_default">True</property>
 
2488
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2489
                <property name="use_stock">True</property>
 
2490
              </object>
 
2491
              <packing>
 
2492
                <property name="expand">False</property>
 
2493
                <property name="fill">False</property>
 
2494
                <property name="position">0</property>
 
2495
              </packing>
 
2496
            </child>
 
2497
            <child>
 
2498
              <object class="GtkButton" id="revert_ok_button2">
 
2499
                <property name="label">gtk-ok</property>
 
2500
                <property name="visible">True</property>
 
2501
                <property name="can_focus">True</property>
 
2502
                <property name="receives_default">True</property>
 
2503
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2504
                <property name="use_stock">True</property>
 
2505
              </object>
 
2506
              <packing>
 
2507
                <property name="expand">False</property>
 
2508
                <property name="fill">False</property>
 
2509
                <property name="position">1</property>
 
2510
              </packing>
 
2511
            </child>
 
2512
          </object>
 
2513
          <packing>
 
2514
            <property name="expand">False</property>
 
2515
            <property name="fill">True</property>
 
2516
            <property name="pack_type">end</property>
 
2517
            <property name="position">0</property>
 
2518
          </packing>
 
2519
        </child>
3170
2520
        <child>
3171
2521
          <object class="GtkVBox" id="vbox27">
3172
2522
            <property name="visible">True</property>
 
2523
            <property name="can_focus">False</property>
3173
2524
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3174
2525
            <property name="spacing">5</property>
3175
2526
            <child>
3176
2527
              <object class="GtkFrame" id="frame26">
3177
2528
                <property name="visible">True</property>
 
2529
                <property name="can_focus">False</property>
3178
2530
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3179
2531
                <property name="label_xalign">0</property>
3180
2532
                <property name="shadow_type">none</property>
3181
2533
                <child>
3182
2534
                  <object class="GtkAlignment" id="alignment26">
3183
2535
                    <property name="visible">True</property>
 
2536
                    <property name="can_focus">False</property>
3184
2537
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3185
2538
                    <property name="left_padding">12</property>
3186
2539
                    <child>
3188
2541
                        <property name="visible">True</property>
3189
2542
                        <property name="can_focus">True</property>
3190
2543
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3191
 
                        <property name="hscrollbar_policy">automatic</property>
3192
 
                        <property name="vscrollbar_policy">automatic</property>
3193
2544
                        <property name="shadow_type">in</property>
3194
2545
                        <child>
3195
2546
                          <object class="AnjutaVcsStatusTreeView" id="resolve_status_view">
3200
2551
                            <property name="search_column">0</property>
3201
2552
                            <property name="status_codes">ANJUTA_VCS_STATUS_CONFLICTED</property>
3202
2553
                            <property name="show_status">False</property>
 
2554
                            <child internal-child="selection">
 
2555
                              <object class="GtkTreeSelection" id="vcsstatus-selection6"/>
 
2556
                            </child>
3203
2557
                          </object>
3204
2558
                        </child>
3205
2559
                      </object>
3209
2563
                <child type="label">
3210
2564
                  <object class="GtkLabel" id="label45">
3211
2565
                    <property name="visible">True</property>
 
2566
                    <property name="can_focus">False</property>
3212
2567
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3213
2568
                    <property name="label" translatable="yes">Select Files to Mark as Resolved:</property>
3214
2569
                    <attributes>
3218
2573
                </child>
3219
2574
              </object>
3220
2575
              <packing>
 
2576
                <property name="expand">True</property>
 
2577
                <property name="fill">True</property>
3221
2578
                <property name="position">0</property>
3222
2579
              </packing>
3223
2580
            </child>
3224
2581
            <child>
3225
2582
              <object class="GtkProgressBar" id="resolve_status_progress_bar">
3226
2583
                <property name="visible">True</property>
 
2584
                <property name="can_focus">False</property>
3227
2585
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3228
 
                <property name="activity_mode">True</property>
 
2586
                <property name="text" translatable="yes">Retrieving status……</property>
3229
2587
                <property name="show_text">True</property>
3230
 
                <property name="text" translatable="yes">Retrieving status……</property>
3231
2588
              </object>
3232
2589
              <packing>
 
2590
                <property name="expand">True</property>
3233
2591
                <property name="fill">False</property>
3234
2592
                <property name="position">1</property>
3235
2593
              </packing>
3237
2595
            <child>
3238
2596
              <object class="GtkHButtonBox" id="hbuttonbox7">
3239
2597
                <property name="visible">True</property>
 
2598
                <property name="can_focus">False</property>
3240
2599
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3241
2600
                <property name="spacing">2</property>
3242
2601
                <property name="layout_style">start</property>
3273
2632
              </object>
3274
2633
              <packing>
3275
2634
                <property name="expand">False</property>
 
2635
                <property name="fill">True</property>
3276
2636
                <property name="position">2</property>
3277
2637
              </packing>
3278
2638
            </child>
3279
2639
          </object>
3280
2640
          <packing>
 
2641
            <property name="expand">False</property>
 
2642
            <property name="fill">True</property>
3281
2643
            <property name="position">1</property>
3282
2644
          </packing>
3283
2645
        </child>
3284
 
        <child internal-child="action_area">
3285
 
          <object class="GtkHButtonBox" id="dialog-action_area14">
3286
 
            <property name="visible">True</property>
3287
 
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3288
 
            <property name="layout_style">end</property>
3289
 
            <child>
3290
 
              <object class="GtkButton" id="revert_cancel_button2">
3291
 
                <property name="label">gtk-cancel</property>
3292
 
                <property name="visible">True</property>
3293
 
                <property name="can_focus">True</property>
3294
 
                <property name="receives_default">True</property>
3295
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3296
 
                <property name="use_stock">True</property>
3297
 
              </object>
3298
 
              <packing>
3299
 
                <property name="expand">False</property>
3300
 
                <property name="fill">False</property>
3301
 
                <property name="position">0</property>
3302
 
              </packing>
3303
 
            </child>
3304
 
            <child>
3305
 
              <object class="GtkButton" id="revert_ok_button2">
3306
 
                <property name="label">gtk-ok</property>
3307
 
                <property name="visible">True</property>
3308
 
                <property name="can_focus">True</property>
3309
 
                <property name="receives_default">True</property>
3310
 
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
3311
 
                <property name="use_stock">True</property>
3312
 
              </object>
3313
 
              <packing>
3314
 
                <property name="expand">False</property>
3315
 
                <property name="fill">False</property>
3316
 
                <property name="position">1</property>
3317
 
              </packing>
3318
 
            </child>
3319
 
          </object>
3320
 
          <packing>
3321
 
            <property name="expand">False</property>
3322
 
            <property name="pack_type">end</property>
3323
 
            <property name="position">0</property>
3324
 
          </packing>
3325
 
        </child>
3326
2646
      </object>
3327
2647
    </child>
3328
2648
    <action-widgets>
3330
2650
      <action-widget response="-5">revert_ok_button2</action-widget>
3331
2651
    </action-widgets>
3332
2652
  </object>
 
2653
  <object class="GtkDialog" id="subversion_revert">
 
2654
    <property name="width_request">600</property>
 
2655
    <property name="height_request">400</property>
 
2656
    <property name="can_focus">False</property>
 
2657
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2658
    <property name="border_width">5</property>
 
2659
    <property name="title" translatable="yes">Revert Changes</property>
 
2660
    <property name="window_position">center-on-parent</property>
 
2661
    <property name="type_hint">dialog</property>
 
2662
    <child internal-child="vbox">
 
2663
      <object class="GtkBox" id="dialog-vbox8">
 
2664
        <property name="visible">True</property>
 
2665
        <property name="can_focus">False</property>
 
2666
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2667
        <property name="spacing">2</property>
 
2668
        <child internal-child="action_area">
 
2669
          <object class="GtkButtonBox" id="dialog-action_area8">
 
2670
            <property name="visible">True</property>
 
2671
            <property name="can_focus">False</property>
 
2672
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2673
            <property name="layout_style">end</property>
 
2674
            <child>
 
2675
              <object class="GtkButton" id="revert_cancel_button">
 
2676
                <property name="label">gtk-cancel</property>
 
2677
                <property name="visible">True</property>
 
2678
                <property name="can_focus">True</property>
 
2679
                <property name="receives_default">True</property>
 
2680
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2681
                <property name="use_stock">True</property>
 
2682
              </object>
 
2683
              <packing>
 
2684
                <property name="expand">False</property>
 
2685
                <property name="fill">False</property>
 
2686
                <property name="position">0</property>
 
2687
              </packing>
 
2688
            </child>
 
2689
            <child>
 
2690
              <object class="GtkButton" id="revert_ok_button">
 
2691
                <property name="label">gtk-ok</property>
 
2692
                <property name="visible">True</property>
 
2693
                <property name="can_focus">True</property>
 
2694
                <property name="receives_default">True</property>
 
2695
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2696
                <property name="use_stock">True</property>
 
2697
              </object>
 
2698
              <packing>
 
2699
                <property name="expand">False</property>
 
2700
                <property name="fill">False</property>
 
2701
                <property name="position">1</property>
 
2702
              </packing>
 
2703
            </child>
 
2704
          </object>
 
2705
          <packing>
 
2706
            <property name="expand">False</property>
 
2707
            <property name="fill">True</property>
 
2708
            <property name="pack_type">end</property>
 
2709
            <property name="position">0</property>
 
2710
          </packing>
 
2711
        </child>
 
2712
        <child>
 
2713
          <object class="GtkVBox" id="vbox6">
 
2714
            <property name="visible">True</property>
 
2715
            <property name="can_focus">False</property>
 
2716
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2717
            <property name="spacing">5</property>
 
2718
            <child>
 
2719
              <object class="GtkFrame" id="frame29">
 
2720
                <property name="visible">True</property>
 
2721
                <property name="can_focus">False</property>
 
2722
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2723
                <property name="label_xalign">0</property>
 
2724
                <property name="shadow_type">none</property>
 
2725
                <child>
 
2726
                  <object class="GtkAlignment" id="alignment1">
 
2727
                    <property name="visible">True</property>
 
2728
                    <property name="can_focus">False</property>
 
2729
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2730
                    <property name="left_padding">12</property>
 
2731
                    <child>
 
2732
                      <object class="GtkScrolledWindow" id="scrolledwindow2">
 
2733
                        <property name="visible">True</property>
 
2734
                        <property name="can_focus">True</property>
 
2735
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2736
                        <property name="shadow_type">in</property>
 
2737
                        <child>
 
2738
                          <object class="AnjutaVcsStatusTreeView" id="revert_status_view">
 
2739
                            <property name="visible">True</property>
 
2740
                            <property name="can_focus">True</property>
 
2741
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2742
                            <property name="headers_visible">False</property>
 
2743
                            <property name="search_column">0</property>
 
2744
                            <property name="status_codes">ANJUTA_VCS_STATUS_MODIFIED | ANJUTA_VCS_STATUS_ADDED | ANJUTA_VCS_STATUS_DELETED | ANJUTA_VCS_STATUS_CONFLICTED | ANJUTA_VCS_STATUS_MISSING</property>
 
2745
                            <child internal-child="selection">
 
2746
                              <object class="GtkTreeSelection" id="vcsstatus-selection2"/>
 
2747
                            </child>
 
2748
                          </object>
 
2749
                        </child>
 
2750
                      </object>
 
2751
                    </child>
 
2752
                  </object>
 
2753
                </child>
 
2754
                <child type="label">
 
2755
                  <object class="GtkLabel" id="label2">
 
2756
                    <property name="visible">True</property>
 
2757
                    <property name="can_focus">False</property>
 
2758
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2759
                    <property name="label" translatable="yes">Select Changes to Revert:</property>
 
2760
                    <attributes>
 
2761
                      <attribute name="weight" value="bold"/>
 
2762
                    </attributes>
 
2763
                  </object>
 
2764
                </child>
 
2765
              </object>
 
2766
              <packing>
 
2767
                <property name="expand">True</property>
 
2768
                <property name="fill">True</property>
 
2769
                <property name="position">0</property>
 
2770
              </packing>
 
2771
            </child>
 
2772
            <child>
 
2773
              <object class="GtkProgressBar" id="revert_status_progress_bar">
 
2774
                <property name="visible">True</property>
 
2775
                <property name="can_focus">False</property>
 
2776
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2777
                <property name="text" translatable="yes">Retrieving status…</property>
 
2778
              </object>
 
2779
              <packing>
 
2780
                <property name="expand">False</property>
 
2781
                <property name="fill">True</property>
 
2782
                <property name="position">1</property>
 
2783
              </packing>
 
2784
            </child>
 
2785
            <child>
 
2786
              <object class="GtkHButtonBox" id="hbuttonbox5">
 
2787
                <property name="visible">True</property>
 
2788
                <property name="can_focus">False</property>
 
2789
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2790
                <property name="spacing">2</property>
 
2791
                <property name="layout_style">start</property>
 
2792
                <child>
 
2793
                  <object class="GtkButton" id="revert_select_all_button">
 
2794
                    <property name="label">gtk-select-all</property>
 
2795
                    <property name="visible">True</property>
 
2796
                    <property name="can_focus">True</property>
 
2797
                    <property name="receives_default">True</property>
 
2798
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2799
                    <property name="use_stock">True</property>
 
2800
                  </object>
 
2801
                  <packing>
 
2802
                    <property name="expand">False</property>
 
2803
                    <property name="fill">False</property>
 
2804
                    <property name="position">0</property>
 
2805
                  </packing>
 
2806
                </child>
 
2807
                <child>
 
2808
                  <object class="GtkButton" id="revert_clear_button">
 
2809
                    <property name="label">gtk-clear</property>
 
2810
                    <property name="visible">True</property>
 
2811
                    <property name="can_focus">True</property>
 
2812
                    <property name="receives_default">True</property>
 
2813
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2814
                    <property name="use_stock">True</property>
 
2815
                  </object>
 
2816
                  <packing>
 
2817
                    <property name="expand">False</property>
 
2818
                    <property name="fill">False</property>
 
2819
                    <property name="position">1</property>
 
2820
                  </packing>
 
2821
                </child>
 
2822
              </object>
 
2823
              <packing>
 
2824
                <property name="expand">False</property>
 
2825
                <property name="fill">True</property>
 
2826
                <property name="position">2</property>
 
2827
              </packing>
 
2828
            </child>
 
2829
          </object>
 
2830
          <packing>
 
2831
            <property name="expand">False</property>
 
2832
            <property name="fill">True</property>
 
2833
            <property name="position">1</property>
 
2834
          </packing>
 
2835
        </child>
 
2836
      </object>
 
2837
    </child>
 
2838
    <action-widgets>
 
2839
      <action-widget response="-6">revert_cancel_button</action-widget>
 
2840
      <action-widget response="-5">revert_ok_button</action-widget>
 
2841
    </action-widgets>
 
2842
  </object>
 
2843
  <object class="GtkDialog" id="subversion_switch">
 
2844
    <property name="width_request">500</property>
 
2845
    <property name="can_focus">False</property>
 
2846
    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2847
    <property name="border_width">5</property>
 
2848
    <property name="title" translatable="yes">Switch to branch/tag</property>
 
2849
    <property name="resizable">False</property>
 
2850
    <property name="window_position">center-on-parent</property>
 
2851
    <property name="type_hint">dialog</property>
 
2852
    <child internal-child="vbox">
 
2853
      <object class="GtkBox" id="dialog-vbox11">
 
2854
        <property name="visible">True</property>
 
2855
        <property name="can_focus">False</property>
 
2856
        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2857
        <property name="spacing">2</property>
 
2858
        <child internal-child="action_area">
 
2859
          <object class="GtkButtonBox" id="dialog-action_area11">
 
2860
            <property name="visible">True</property>
 
2861
            <property name="can_focus">False</property>
 
2862
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2863
            <property name="layout_style">end</property>
 
2864
            <child>
 
2865
              <object class="GtkButton" id="button13">
 
2866
                <property name="label">gtk-cancel</property>
 
2867
                <property name="visible">True</property>
 
2868
                <property name="can_focus">True</property>
 
2869
                <property name="receives_default">True</property>
 
2870
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2871
                <property name="use_stock">True</property>
 
2872
              </object>
 
2873
              <packing>
 
2874
                <property name="expand">False</property>
 
2875
                <property name="fill">False</property>
 
2876
                <property name="position">0</property>
 
2877
              </packing>
 
2878
            </child>
 
2879
            <child>
 
2880
              <object class="GtkButton" id="button14">
 
2881
                <property name="label">gtk-ok</property>
 
2882
                <property name="visible">True</property>
 
2883
                <property name="can_focus">True</property>
 
2884
                <property name="receives_default">True</property>
 
2885
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2886
                <property name="use_stock">True</property>
 
2887
              </object>
 
2888
              <packing>
 
2889
                <property name="expand">False</property>
 
2890
                <property name="fill">False</property>
 
2891
                <property name="position">1</property>
 
2892
              </packing>
 
2893
            </child>
 
2894
          </object>
 
2895
          <packing>
 
2896
            <property name="expand">False</property>
 
2897
            <property name="fill">True</property>
 
2898
            <property name="pack_type">end</property>
 
2899
            <property name="position">0</property>
 
2900
          </packing>
 
2901
        </child>
 
2902
        <child>
 
2903
          <object class="GtkVBox" id="vbox13">
 
2904
            <property name="visible">True</property>
 
2905
            <property name="can_focus">False</property>
 
2906
            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2907
            <child>
 
2908
              <object class="GtkFrame" id="frame15">
 
2909
                <property name="visible">True</property>
 
2910
                <property name="can_focus">False</property>
 
2911
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2912
                <property name="label_xalign">0</property>
 
2913
                <property name="shadow_type">none</property>
 
2914
                <child>
 
2915
                  <object class="GtkAlignment" id="alignment15">
 
2916
                    <property name="visible">True</property>
 
2917
                    <property name="can_focus">False</property>
 
2918
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2919
                    <property name="left_padding">12</property>
 
2920
                    <child>
 
2921
                      <object class="GtkHBox" id="hbox05">
 
2922
                        <property name="visible">True</property>
 
2923
                        <property name="can_focus">False</property>
 
2924
                        <child>
 
2925
                          <object class="GtkEntry" id="switch_working_copy_entry">
 
2926
                            <property name="width_request">260</property>
 
2927
                            <property name="visible">True</property>
 
2928
                            <property name="can_focus">True</property>
 
2929
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2930
                            <property name="invisible_char">●</property>
 
2931
                          </object>
 
2932
                          <packing>
 
2933
                            <property name="expand">True</property>
 
2934
                            <property name="fill">True</property>
 
2935
                            <property name="position">0</property>
 
2936
                          </packing>
 
2937
                        </child>
 
2938
                        <child>
 
2939
                          <object class="GtkButton" id="browse_button_switch_dialog">
 
2940
                            <property name="label" translatable="yes">Browse…</property>
 
2941
                            <property name="visible">True</property>
 
2942
                            <property name="can_focus">True</property>
 
2943
                            <property name="receives_default">True</property>
 
2944
                          </object>
 
2945
                          <packing>
 
2946
                            <property name="expand">False</property>
 
2947
                            <property name="fill">True</property>
 
2948
                            <property name="position">1</property>
 
2949
                          </packing>
 
2950
                        </child>
 
2951
                      </object>
 
2952
                    </child>
 
2953
                  </object>
 
2954
                </child>
 
2955
                <child type="label">
 
2956
                  <object class="GtkLabel" id="label24">
 
2957
                    <property name="visible">True</property>
 
2958
                    <property name="can_focus">False</property>
 
2959
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2960
                    <property name="label" translatable="yes">Working Copy Path:</property>
 
2961
                    <attributes>
 
2962
                      <attribute name="weight" value="bold"/>
 
2963
                    </attributes>
 
2964
                  </object>
 
2965
                </child>
 
2966
              </object>
 
2967
              <packing>
 
2968
                <property name="expand">False</property>
 
2969
                <property name="fill">True</property>
 
2970
                <property name="position">0</property>
 
2971
              </packing>
 
2972
            </child>
 
2973
            <child>
 
2974
              <object class="GtkFrame" id="frame16">
 
2975
                <property name="visible">True</property>
 
2976
                <property name="can_focus">False</property>
 
2977
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2978
                <property name="label_xalign">0</property>
 
2979
                <property name="shadow_type">none</property>
 
2980
                <child>
 
2981
                  <object class="GtkAlignment" id="alignment16">
 
2982
                    <property name="visible">True</property>
 
2983
                    <property name="can_focus">False</property>
 
2984
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2985
                    <property name="left_padding">12</property>
 
2986
                    <child>
 
2987
                      <object class="GtkEntry" id="switch_url_entry">
 
2988
                        <property name="visible">True</property>
 
2989
                        <property name="can_focus">True</property>
 
2990
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
2991
                      </object>
 
2992
                    </child>
 
2993
                  </object>
 
2994
                </child>
 
2995
                <child type="label">
 
2996
                  <object class="GtkLabel" id="label25">
 
2997
                    <property name="visible">True</property>
 
2998
                    <property name="can_focus">False</property>
 
2999
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3000
                    <property name="label" translatable="yes">Branch/Tag URL:</property>
 
3001
                    <attributes>
 
3002
                      <attribute name="weight" value="bold"/>
 
3003
                    </attributes>
 
3004
                  </object>
 
3005
                </child>
 
3006
              </object>
 
3007
              <packing>
 
3008
                <property name="expand">True</property>
 
3009
                <property name="fill">False</property>
 
3010
                <property name="position">1</property>
 
3011
              </packing>
 
3012
            </child>
 
3013
            <child>
 
3014
              <object class="GtkFrame" id="frame17">
 
3015
                <property name="visible">True</property>
 
3016
                <property name="can_focus">False</property>
 
3017
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3018
                <property name="label_xalign">0</property>
 
3019
                <property name="shadow_type">none</property>
 
3020
                <child>
 
3021
                  <object class="GtkAlignment" id="alignment17">
 
3022
                    <property name="visible">True</property>
 
3023
                    <property name="can_focus">False</property>
 
3024
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3025
                    <property name="left_padding">12</property>
 
3026
                    <child>
 
3027
                      <object class="GtkVBox" id="vbox14">
 
3028
                        <property name="visible">True</property>
 
3029
                        <property name="can_focus">False</property>
 
3030
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3031
                        <child>
 
3032
                          <object class="GtkRadioButton" id="switch_head_revision_radio">
 
3033
                            <property name="label" translatable="yes">Repository Head</property>
 
3034
                            <property name="visible">True</property>
 
3035
                            <property name="can_focus">True</property>
 
3036
                            <property name="receives_default">False</property>
 
3037
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3038
                            <property name="xalign">0.5</property>
 
3039
                            <property name="active">True</property>
 
3040
                            <property name="draw_indicator">True</property>
 
3041
                          </object>
 
3042
                          <packing>
 
3043
                            <property name="expand">False</property>
 
3044
                            <property name="fill">False</property>
 
3045
                            <property name="position">0</property>
 
3046
                          </packing>
 
3047
                        </child>
 
3048
                        <child>
 
3049
                          <object class="GtkHBox" id="hbox14">
 
3050
                            <property name="visible">True</property>
 
3051
                            <property name="can_focus">False</property>
 
3052
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3053
                            <child>
 
3054
                              <object class="GtkRadioButton" id="switch_other_revision_radio">
 
3055
                                <property name="label" translatable="yes">Other Revision:</property>
 
3056
                                <property name="visible">True</property>
 
3057
                                <property name="can_focus">True</property>
 
3058
                                <property name="receives_default">False</property>
 
3059
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3060
                                <property name="xalign">0.5</property>
 
3061
                                <property name="draw_indicator">True</property>
 
3062
                                <property name="group">switch_head_revision_radio</property>
 
3063
                              </object>
 
3064
                              <packing>
 
3065
                                <property name="expand">False</property>
 
3066
                                <property name="fill">True</property>
 
3067
                                <property name="position">0</property>
 
3068
                              </packing>
 
3069
                            </child>
 
3070
                            <child>
 
3071
                              <object class="GtkEntry" id="switch_revision_entry">
 
3072
                                <property name="visible">True</property>
 
3073
                                <property name="sensitive">False</property>
 
3074
                                <property name="can_focus">True</property>
 
3075
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3076
                              </object>
 
3077
                              <packing>
 
3078
                                <property name="expand">False</property>
 
3079
                                <property name="fill">False</property>
 
3080
                                <property name="position">1</property>
 
3081
                              </packing>
 
3082
                            </child>
 
3083
                          </object>
 
3084
                          <packing>
 
3085
                            <property name="expand">False</property>
 
3086
                            <property name="fill">False</property>
 
3087
                            <property name="position">1</property>
 
3088
                          </packing>
 
3089
                        </child>
 
3090
                      </object>
 
3091
                    </child>
 
3092
                  </object>
 
3093
                </child>
 
3094
                <child type="label">
 
3095
                  <object class="GtkLabel" id="label26">
 
3096
                    <property name="visible">True</property>
 
3097
                    <property name="can_focus">False</property>
 
3098
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3099
                    <property name="label" translatable="yes">Revision:</property>
 
3100
                    <attributes>
 
3101
                      <attribute name="weight" value="bold"/>
 
3102
                    </attributes>
 
3103
                  </object>
 
3104
                </child>
 
3105
              </object>
 
3106
              <packing>
 
3107
                <property name="expand">True</property>
 
3108
                <property name="fill">True</property>
 
3109
                <property name="position">2</property>
 
3110
              </packing>
 
3111
            </child>
 
3112
            <child>
 
3113
              <object class="GtkFrame" id="frame18">
 
3114
                <property name="visible">True</property>
 
3115
                <property name="can_focus">False</property>
 
3116
                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3117
                <property name="label_xalign">0</property>
 
3118
                <property name="shadow_type">none</property>
 
3119
                <child>
 
3120
                  <object class="GtkAlignment" id="alignment18">
 
3121
                    <property name="visible">True</property>
 
3122
                    <property name="can_focus">False</property>
 
3123
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3124
                    <property name="left_padding">12</property>
 
3125
                    <child>
 
3126
                      <object class="GtkCheckButton" id="switch_no_recursive_check">
 
3127
                        <property name="label" translatable="yes">Do not act recursively</property>
 
3128
                        <property name="visible">True</property>
 
3129
                        <property name="can_focus">True</property>
 
3130
                        <property name="receives_default">False</property>
 
3131
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3132
                        <property name="xalign">0.5</property>
 
3133
                        <property name="draw_indicator">True</property>
 
3134
                      </object>
 
3135
                    </child>
 
3136
                  </object>
 
3137
                </child>
 
3138
                <child type="label">
 
3139
                  <object class="GtkLabel" id="label27">
 
3140
                    <property name="visible">True</property>
 
3141
                    <property name="can_focus">False</property>
 
3142
                    <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
3143
                    <property name="label" translatable="yes">Options:</property>
 
3144
                    <attributes>
 
3145
                      <attribute name="weight" value="bold"/>
 
3146
                    </attributes>
 
3147
                  </object>
 
3148
                </child>
 
3149
              </object>
 
3150
              <packing>
 
3151
                <property name="expand">True</property>
 
3152
                <property name="fill">True</property>
 
3153
                <property name="position">3</property>
 
3154
              </packing>
 
3155
            </child>
 
3156
          </object>
 
3157
          <packing>
 
3158
            <property name="expand">False</property>
 
3159
            <property name="fill">True</property>
 
3160
            <property name="position">1</property>
 
3161
          </packing>
 
3162
        </child>
 
3163
      </object>
 
3164
    </child>
 
3165
    <action-widgets>
 
3166
      <action-widget response="-6">button13</action-widget>
 
3167
      <action-widget response="-5">button14</action-widget>
 
3168
    </action-widgets>
 
3169
  </object>
 
3170
  <object class="GtkDialog" id="subversion_update">
 
3171
    <property name="can_focus">False</property>
 
3172
    <property name="border_width">10</property>
 
3173
    <property name="title" translatable="yes">Update file/directory</property>
 
3174
    <property name="resizable">False</property>
 
3175
    <property name="default_width">400</property>
 
3176
    <property name="type_hint">dialog</property>
 
3177
    <child internal-child="vbox">
 
3178
      <object class="GtkBox" id="vbox8">
 
3179
        <property name="visible">True</property>
 
3180
        <property name="can_focus">False</property>
 
3181
        <property name="spacing">5</property>
 
3182
        <child internal-child="action_area">
 
3183
          <object class="GtkButtonBox" id="hbuttonbox3">
 
3184
            <property name="visible">True</property>
 
3185
            <property name="can_focus">False</property>
 
3186
            <property name="layout_style">end</property>
 
3187
            <child>
 
3188
              <object class="GtkButton" id="button6">
 
3189
                <property name="label">gtk-cancel</property>
 
3190
                <property name="visible">True</property>
 
3191
                <property name="can_focus">True</property>
 
3192
                <property name="can_default">True</property>
 
3193
                <property name="receives_default">False</property>
 
3194
                <property name="use_stock">True</property>
 
3195
              </object>
 
3196
              <packing>
 
3197
                <property name="expand">False</property>
 
3198
                <property name="fill">False</property>
 
3199
                <property name="position">0</property>
 
3200
              </packing>
 
3201
            </child>
 
3202
            <child>
 
3203
              <object class="GtkButton" id="button7">
 
3204
                <property name="label">gtk-ok</property>
 
3205
                <property name="visible">True</property>
 
3206
                <property name="can_focus">True</property>
 
3207
                <property name="can_default">True</property>
 
3208
                <property name="receives_default">False</property>
 
3209
                <property name="use_stock">True</property>
 
3210
              </object>
 
3211
              <packing>
 
3212
                <property name="expand">False</property>
 
3213
                <property name="fill">False</property>
 
3214
                <property name="position">1</property>
 
3215
              </packing>
 
3216
            </child>
 
3217
          </object>
 
3218
          <packing>
 
3219
            <property name="expand">False</property>
 
3220
            <property name="fill">True</property>
 
3221
            <property name="pack_type">end</property>
 
3222
            <property name="position">0</property>
 
3223
          </packing>
 
3224
        </child>
 
3225
        <child>
 
3226
          <object class="GtkVBox" id="vbox9">
 
3227
            <property name="visible">True</property>
 
3228
            <property name="can_focus">False</property>
 
3229
            <property name="spacing">10</property>
 
3230
            <child>
 
3231
              <object class="GtkLabel" id="label11">
 
3232
                <property name="visible">True</property>
 
3233
                <property name="can_focus">False</property>
 
3234
                <property name="xalign">0</property>
 
3235
                <property name="yalign">0</property>
 
3236
                <property name="label" translatable="yes">Choose file or directory to update:</property>
 
3237
              </object>
 
3238
              <packing>
 
3239
                <property name="expand">False</property>
 
3240
                <property name="fill">False</property>
 
3241
                <property name="position">0</property>
 
3242
              </packing>
 
3243
            </child>
 
3244
            <child>
 
3245
              <object class="GtkHBox" id="hbox02">
 
3246
                <property name="visible">True</property>
 
3247
                <property name="can_focus">False</property>
 
3248
                <child>
 
3249
                  <object class="GtkEntry" id="subversion_update_filename">
 
3250
                    <property name="width_request">260</property>
 
3251
                    <property name="visible">True</property>
 
3252
                    <property name="can_focus">True</property>
 
3253
                    <property name="invisible_char">●</property>
 
3254
                  </object>
 
3255
                  <packing>
 
3256
                    <property name="expand">True</property>
 
3257
                    <property name="fill">True</property>
 
3258
                    <property name="position">0</property>
 
3259
                  </packing>
 
3260
                </child>
 
3261
                <child>
 
3262
                  <object class="GtkButton" id="browse_button_update_dialog">
 
3263
                    <property name="label" translatable="yes">Browse…</property>
 
3264
                    <property name="visible">True</property>
 
3265
                    <property name="can_focus">True</property>
 
3266
                    <property name="receives_default">True</property>
 
3267
                  </object>
 
3268
                  <packing>
 
3269
                    <property name="expand">False</property>
 
3270
                    <property name="fill">True</property>
 
3271
                    <property name="position">1</property>
 
3272
                  </packing>
 
3273
                </child>
 
3274
              </object>
 
3275
              <packing>
 
3276
                <property name="expand">False</property>
 
3277
                <property name="fill">False</property>
 
3278
                <property name="position">1</property>
 
3279
              </packing>
 
3280
            </child>
 
3281
            <child>
 
3282
              <object class="GtkCheckButton" id="subversion_project">
 
3283
                <property name="label" translatable="yes">Whole project</property>
 
3284
                <property name="visible">True</property>
 
3285
                <property name="can_focus">True</property>
 
3286
                <property name="receives_default">False</property>
 
3287
                <property name="use_underline">True</property>
 
3288
                <property name="xalign">0.5</property>
 
3289
                <property name="draw_indicator">True</property>
 
3290
              </object>
 
3291
              <packing>
 
3292
                <property name="expand">False</property>
 
3293
                <property name="fill">False</property>
 
3294
                <property name="position">2</property>
 
3295
              </packing>
 
3296
            </child>
 
3297
            <child>
 
3298
              <object class="GtkFrame" id="frame3">
 
3299
                <property name="visible">True</property>
 
3300
                <property name="can_focus">False</property>
 
3301
                <property name="label_xalign">0</property>
 
3302
                <property name="shadow_type">none</property>
 
3303
                <child>
 
3304
                  <object class="GtkAlignment" id="alignment3">
 
3305
                    <property name="visible">True</property>
 
3306
                    <property name="can_focus">False</property>
 
3307
                    <property name="left_padding">12</property>
 
3308
                    <child>
 
3309
                      <object class="GtkVBox" id="vbox10">
 
3310
                        <property name="visible">True</property>
 
3311
                        <property name="can_focus">False</property>
 
3312
                        <child>
 
3313
                          <placeholder/>
 
3314
                        </child>
 
3315
                        <child>
 
3316
                          <placeholder/>
 
3317
                        </child>
 
3318
                        <child>
 
3319
                          <placeholder/>
 
3320
                        </child>
 
3321
                        <child>
 
3322
                          <object class="GtkCheckButton" id="subversion_update_norecurse">
 
3323
                            <property name="label" translatable="yes">Do not act recursively</property>
 
3324
                            <property name="visible">True</property>
 
3325
                            <property name="can_focus">True</property>
 
3326
                            <property name="receives_default">False</property>
 
3327
                            <property name="use_underline">True</property>
 
3328
                            <property name="xalign">0.5</property>
 
3329
                            <property name="draw_indicator">True</property>
 
3330
                          </object>
 
3331
                          <packing>
 
3332
                            <property name="expand">False</property>
 
3333
                            <property name="fill">False</property>
 
3334
                            <property name="position">3</property>
 
3335
                          </packing>
 
3336
                        </child>
 
3337
                        <child>
 
3338
                          <object class="GtkHBox" id="hbox3">
 
3339
                            <property name="visible">True</property>
 
3340
                            <property name="can_focus">False</property>
 
3341
                            <child>
 
3342
                              <object class="GtkLabel" id="label18">
 
3343
                                <property name="visible">True</property>
 
3344
                                <property name="can_focus">False</property>
 
3345
                                <property name="label" translatable="yes">Use revision/tag:</property>
 
3346
                              </object>
 
3347
                              <packing>
 
3348
                                <property name="expand">False</property>
 
3349
                                <property name="fill">False</property>
 
3350
                                <property name="position">0</property>
 
3351
                              </packing>
 
3352
                            </child>
 
3353
                            <child>
 
3354
                              <object class="GtkEntry" id="subversion_revision">
 
3355
                                <property name="visible">True</property>
 
3356
                                <property name="can_focus">True</property>
 
3357
                              </object>
 
3358
                              <packing>
 
3359
                                <property name="expand">True</property>
 
3360
                                <property name="fill">True</property>
 
3361
                                <property name="position">1</property>
 
3362
                              </packing>
 
3363
                            </child>
 
3364
                          </object>
 
3365
                          <packing>
 
3366
                            <property name="expand">True</property>
 
3367
                            <property name="fill">True</property>
 
3368
                            <property name="position">4</property>
 
3369
                          </packing>
 
3370
                        </child>
 
3371
                      </object>
 
3372
                    </child>
 
3373
                  </object>
 
3374
                </child>
 
3375
                <child type="label">
 
3376
                  <object class="GtkLabel" id="label12">
 
3377
                    <property name="visible">True</property>
 
3378
                    <property name="can_focus">False</property>
 
3379
                    <property name="label" translatable="yes">Options:</property>
 
3380
                    <attributes>
 
3381
                      <attribute name="weight" value="bold"/>
 
3382
                    </attributes>
 
3383
                  </object>
 
3384
                </child>
 
3385
              </object>
 
3386
              <packing>
 
3387
                <property name="expand">True</property>
 
3388
                <property name="fill">True</property>
 
3389
                <property name="position">3</property>
 
3390
              </packing>
 
3391
            </child>
 
3392
          </object>
 
3393
          <packing>
 
3394
            <property name="expand">False</property>
 
3395
            <property name="fill">True</property>
 
3396
            <property name="position">2</property>
 
3397
          </packing>
 
3398
        </child>
 
3399
      </object>
 
3400
    </child>
 
3401
    <action-widgets>
 
3402
      <action-widget response="-6">button6</action-widget>
 
3403
      <action-widget response="-5">button7</action-widget>
 
3404
    </action-widgets>
 
3405
  </object>
 
3406
  <object class="GtkDialog" id="svn_server_trust">
 
3407
    <property name="can_focus">False</property>
 
3408
    <property name="title" translatable="yes">Trust server</property>
 
3409
    <property name="type_hint">dialog</property>
 
3410
    <child internal-child="vbox">
 
3411
      <object class="GtkBox" id="dialog-vbox3">
 
3412
        <property name="visible">True</property>
 
3413
        <property name="can_focus">False</property>
 
3414
        <child internal-child="action_area">
 
3415
          <object class="GtkButtonBox" id="dialog-action_area3">
 
3416
            <property name="visible">True</property>
 
3417
            <property name="can_focus">False</property>
 
3418
            <property name="layout_style">end</property>
 
3419
            <child>
 
3420
              <object class="GtkButton" id="button11">
 
3421
                <property name="label">gtk-no</property>
 
3422
                <property name="visible">True</property>
 
3423
                <property name="can_focus">True</property>
 
3424
                <property name="can_default">True</property>
 
3425
                <property name="receives_default">False</property>
 
3426
                <property name="use_stock">True</property>
 
3427
              </object>
 
3428
              <packing>
 
3429
                <property name="expand">False</property>
 
3430
                <property name="fill">False</property>
 
3431
                <property name="position">0</property>
 
3432
              </packing>
 
3433
            </child>
 
3434
            <child>
 
3435
              <object class="GtkButton" id="button12">
 
3436
                <property name="label">gtk-yes</property>
 
3437
                <property name="visible">True</property>
 
3438
                <property name="can_focus">True</property>
 
3439
                <property name="can_default">True</property>
 
3440
                <property name="receives_default">False</property>
 
3441
                <property name="use_stock">True</property>
 
3442
              </object>
 
3443
              <packing>
 
3444
                <property name="expand">False</property>
 
3445
                <property name="fill">False</property>
 
3446
                <property name="position">1</property>
 
3447
              </packing>
 
3448
            </child>
 
3449
          </object>
 
3450
          <packing>
 
3451
            <property name="expand">False</property>
 
3452
            <property name="fill">True</property>
 
3453
            <property name="pack_type">end</property>
 
3454
            <property name="position">0</property>
 
3455
          </packing>
 
3456
        </child>
 
3457
        <child>
 
3458
          <object class="GtkVBox" id="vbox24">
 
3459
            <property name="visible">True</property>
 
3460
            <property name="can_focus">False</property>
 
3461
            <property name="border_width">5</property>
 
3462
            <property name="spacing">5</property>
 
3463
            <child>
 
3464
              <object class="GtkHBox" id="hbox6">
 
3465
                <property name="visible">True</property>
 
3466
                <property name="can_focus">False</property>
 
3467
                <child>
 
3468
                  <object class="GtkLabel" id="label43">
 
3469
                    <property name="visible">True</property>
 
3470
                    <property name="can_focus">False</property>
 
3471
                    <property name="label" translatable="yes">Realm:</property>
 
3472
                  </object>
 
3473
                  <packing>
 
3474
                    <property name="expand">False</property>
 
3475
                    <property name="fill">False</property>
 
3476
                    <property name="position">0</property>
 
3477
                  </packing>
 
3478
                </child>
 
3479
                <child>
 
3480
                  <object class="GtkLabel" id="realm_label">
 
3481
                    <property name="visible">True</property>
 
3482
                    <property name="can_focus">False</property>
 
3483
                  </object>
 
3484
                  <packing>
 
3485
                    <property name="expand">False</property>
 
3486
                    <property name="fill">False</property>
 
3487
                    <property name="position">1</property>
 
3488
                  </packing>
 
3489
                </child>
 
3490
              </object>
 
3491
              <packing>
 
3492
                <property name="expand">False</property>
 
3493
                <property name="fill">False</property>
 
3494
                <property name="position">0</property>
 
3495
              </packing>
 
3496
            </child>
 
3497
            <child>
 
3498
              <object class="GtkLabel" id="server_info_label">
 
3499
                <property name="visible">True</property>
 
3500
                <property name="can_focus">False</property>
 
3501
              </object>
 
3502
              <packing>
 
3503
                <property name="expand">False</property>
 
3504
                <property name="fill">False</property>
 
3505
                <property name="position">1</property>
 
3506
              </packing>
 
3507
            </child>
 
3508
            <child>
 
3509
              <object class="GtkCheckButton" id="remember_check">
 
3510
                <property name="label" translatable="yes">Remember this decision</property>
 
3511
                <property name="visible">True</property>
 
3512
                <property name="can_focus">True</property>
 
3513
                <property name="receives_default">False</property>
 
3514
                <property name="use_underline">True</property>
 
3515
                <property name="xalign">0.5</property>
 
3516
                <property name="draw_indicator">True</property>
 
3517
              </object>
 
3518
              <packing>
 
3519
                <property name="expand">False</property>
 
3520
                <property name="fill">False</property>
 
3521
                <property name="position">2</property>
 
3522
              </packing>
 
3523
            </child>
 
3524
          </object>
 
3525
          <packing>
 
3526
            <property name="expand">False</property>
 
3527
            <property name="fill">True</property>
 
3528
            <property name="padding">2</property>
 
3529
            <property name="position">2</property>
 
3530
          </packing>
 
3531
        </child>
 
3532
      </object>
 
3533
    </child>
 
3534
    <action-widgets>
 
3535
      <action-widget response="-9">button11</action-widget>
 
3536
      <action-widget response="-8">button12</action-widget>
 
3537
    </action-widgets>
 
3538
  </object>
 
3539
  <object class="GtkDialog" id="svn_user_auth">
 
3540
    <property name="can_focus">False</property>
 
3541
    <property name="title" translatable="yes">Repository authorization</property>
 
3542
    <property name="default_width">380</property>
 
3543
    <property name="type_hint">dialog</property>
 
3544
    <child internal-child="vbox">
 
3545
      <object class="GtkBox" id="dialog-vbox2">
 
3546
        <property name="visible">True</property>
 
3547
        <property name="can_focus">False</property>
 
3548
        <child internal-child="action_area">
 
3549
          <object class="GtkButtonBox" id="dialog-action_area2">
 
3550
            <property name="visible">True</property>
 
3551
            <property name="can_focus">False</property>
 
3552
            <property name="layout_style">end</property>
 
3553
            <child>
 
3554
              <object class="GtkButton" id="cancelbutton2">
 
3555
                <property name="label">gtk-cancel</property>
 
3556
                <property name="visible">True</property>
 
3557
                <property name="can_focus">True</property>
 
3558
                <property name="can_default">True</property>
 
3559
                <property name="receives_default">False</property>
 
3560
                <property name="use_stock">True</property>
 
3561
              </object>
 
3562
              <packing>
 
3563
                <property name="expand">False</property>
 
3564
                <property name="fill">False</property>
 
3565
                <property name="position">0</property>
 
3566
              </packing>
 
3567
            </child>
 
3568
            <child>
 
3569
              <object class="GtkButton" id="okbutton2">
 
3570
                <property name="label">gtk-ok</property>
 
3571
                <property name="visible">True</property>
 
3572
                <property name="can_focus">True</property>
 
3573
                <property name="can_default">True</property>
 
3574
                <property name="receives_default">False</property>
 
3575
                <property name="use_stock">True</property>
 
3576
              </object>
 
3577
              <packing>
 
3578
                <property name="expand">False</property>
 
3579
                <property name="fill">False</property>
 
3580
                <property name="position">1</property>
 
3581
              </packing>
 
3582
            </child>
 
3583
          </object>
 
3584
          <packing>
 
3585
            <property name="expand">False</property>
 
3586
            <property name="fill">True</property>
 
3587
            <property name="pack_type">end</property>
 
3588
            <property name="position">0</property>
 
3589
          </packing>
 
3590
        </child>
 
3591
        <child>
 
3592
          <object class="GtkTable" id="table1">
 
3593
            <property name="visible">True</property>
 
3594
            <property name="can_focus">False</property>
 
3595
            <property name="border_width">5</property>
 
3596
            <property name="n_rows">4</property>
 
3597
            <property name="n_columns">2</property>
 
3598
            <property name="column_spacing">5</property>
 
3599
            <property name="row_spacing">5</property>
 
3600
            <child>
 
3601
              <placeholder/>
 
3602
            </child>
 
3603
            <child>
 
3604
              <object class="GtkLabel" id="label38">
 
3605
                <property name="visible">True</property>
 
3606
                <property name="can_focus">False</property>
 
3607
                <property name="xalign">0</property>
 
3608
                <property name="label" translatable="yes">Username:</property>
 
3609
              </object>
 
3610
              <packing>
 
3611
                <property name="top_attach">1</property>
 
3612
                <property name="bottom_attach">2</property>
 
3613
                <property name="x_options">GTK_FILL</property>
 
3614
                <property name="y_options"/>
 
3615
              </packing>
 
3616
            </child>
 
3617
            <child>
 
3618
              <object class="GtkLabel" id="label39">
 
3619
                <property name="visible">True</property>
 
3620
                <property name="can_focus">False</property>
 
3621
                <property name="xalign">0</property>
 
3622
                <property name="label" translatable="yes">Password:</property>
 
3623
              </object>
 
3624
              <packing>
 
3625
                <property name="top_attach">2</property>
 
3626
                <property name="bottom_attach">3</property>
 
3627
                <property name="x_options">GTK_FILL</property>
 
3628
                <property name="y_options"/>
 
3629
              </packing>
 
3630
            </child>
 
3631
            <child>
 
3632
              <object class="GtkCheckButton" id="remember_pwd">
 
3633
                <property name="label" translatable="yes">Remember Password</property>
 
3634
                <property name="visible">True</property>
 
3635
                <property name="sensitive">False</property>
 
3636
                <property name="can_focus">True</property>
 
3637
                <property name="receives_default">False</property>
 
3638
                <property name="use_underline">True</property>
 
3639
                <property name="xalign">0.5</property>
 
3640
                <property name="draw_indicator">True</property>
 
3641
              </object>
 
3642
              <packing>
 
3643
                <property name="left_attach">1</property>
 
3644
                <property name="right_attach">2</property>
 
3645
                <property name="top_attach">3</property>
 
3646
                <property name="bottom_attach">4</property>
 
3647
                <property name="x_options">GTK_FILL</property>
 
3648
                <property name="y_options"/>
 
3649
              </packing>
 
3650
            </child>
 
3651
            <child>
 
3652
              <object class="GtkEntry" id="username_entry">
 
3653
                <property name="visible">True</property>
 
3654
                <property name="can_focus">True</property>
 
3655
              </object>
 
3656
              <packing>
 
3657
                <property name="left_attach">1</property>
 
3658
                <property name="right_attach">2</property>
 
3659
                <property name="top_attach">1</property>
 
3660
                <property name="bottom_attach">2</property>
 
3661
                <property name="y_options"/>
 
3662
              </packing>
 
3663
            </child>
 
3664
            <child>
 
3665
              <object class="GtkEntry" id="password_entry">
 
3666
                <property name="visible">True</property>
 
3667
                <property name="can_focus">True</property>
 
3668
                <property name="visibility">False</property>
 
3669
                <property name="activates_default">True</property>
 
3670
              </object>
 
3671
              <packing>
 
3672
                <property name="left_attach">1</property>
 
3673
                <property name="right_attach">2</property>
 
3674
                <property name="top_attach">2</property>
 
3675
                <property name="bottom_attach">3</property>
 
3676
                <property name="y_options"/>
 
3677
              </packing>
 
3678
            </child>
 
3679
            <child>
 
3680
              <object class="GtkLabel" id="auth_realm">
 
3681
                <property name="visible">True</property>
 
3682
                <property name="can_focus">False</property>
 
3683
                <property name="xalign">0</property>
 
3684
                <property name="label" translatable="yes">realm</property>
 
3685
              </object>
 
3686
              <packing>
 
3687
                <property name="left_attach">1</property>
 
3688
                <property name="right_attach">2</property>
 
3689
                <property name="x_options">GTK_FILL</property>
 
3690
                <property name="y_options"/>
 
3691
              </packing>
 
3692
            </child>
 
3693
            <child>
 
3694
              <object class="GtkLabel" id="label40">
 
3695
                <property name="visible">True</property>
 
3696
                <property name="can_focus">False</property>
 
3697
                <property name="xalign">0</property>
 
3698
                <property name="label" translatable="yes">Realm:</property>
 
3699
              </object>
 
3700
              <packing>
 
3701
                <property name="x_options">GTK_FILL</property>
 
3702
                <property name="y_options"/>
 
3703
              </packing>
 
3704
            </child>
 
3705
          </object>
 
3706
          <packing>
 
3707
            <property name="expand">False</property>
 
3708
            <property name="fill">True</property>
 
3709
            <property name="position">2</property>
 
3710
          </packing>
 
3711
        </child>
 
3712
      </object>
 
3713
    </child>
 
3714
    <action-widgets>
 
3715
      <action-widget response="-6">cancelbutton2</action-widget>
 
3716
      <action-widget response="-5">okbutton2</action-widget>
 
3717
    </action-widgets>
 
3718
  </object>
3333
3719
</interface>