4
<object class="GtkWindow" id="window">
5
<property name="can_focus">True</property>
6
<property name="has_focus">True</property>
7
<property name="events">GDK_BUTTON_RELEASE_MASK</property>
8
<property name="title" translatable="yes">Dasher</property>
9
<property name="type">GTK_WINDOW_TOPLEVEL</property>
10
<property name="window_position">GTK_WIN_POS_NONE</property>
11
<property name="modal">False</property>
12
<property name="resizable">True</property>
13
<property name="destroy_with_parent">False</property>
14
<property name="decorated">True</property>
15
<property name="skip_taskbar_hint">False</property>
16
<property name="skip_pager_hint">False</property>
17
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
18
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
19
<property name="focus_on_map">True</property>
20
<property name="urgency_hint">False</property>
21
<signal handler="ask_save_before_exit" last_modification_time="Mon, 22 Sep 2003 19:53:44 GMT" name="delete_event"/>
22
<signal handler="on_window_map" last_modification_time="Sun, 05 Mar 2006 20:22:17 GMT" name="map"/>
24
<object class="GtkVBox" id="vbox1">
25
<property name="visible">True</property>
26
<property name="homogeneous">False</property>
27
<property name="spacing">0</property>
29
<object class="GtkAlignment" id="alignment61">
30
<property name="border_width">8</property>
31
<property name="visible">True</property>
32
<property name="xalign">0.5</property>
33
<property name="yalign">0.5</property>
34
<property name="xscale">1</property>
35
<property name="yscale">1</property>
36
<property name="top_padding">0</property>
37
<property name="bottom_padding">0</property>
38
<property name="left_padding">0</property>
39
<property name="right_padding">0</property>
41
<object class="GtkScrolledWindow" id="scrolledwindow5">
42
<property name="visible">True</property>
43
<property name="can_focus">True</property>
44
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
45
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
46
<property name="shadow_type">GTK_SHADOW_IN</property>
47
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
49
<object class="GtkTextView" id="the_text_view">
50
<property name="height_request">256</property>
51
<property name="visible">True</property>
52
<property name="can_default">True</property>
53
<property name="can_focus">True</property>
54
<property name="events">GDK_BUTTON_PRESS_MASK | GDK_KEY_PRESS_MASK</property>
55
<property name="editable">True</property>
56
<property name="overwrite">False</property>
57
<property name="accepts_tab">True</property>
58
<property name="justification">GTK_JUSTIFY_LEFT</property>
59
<property name="wrap_mode">GTK_WRAP_WORD</property>
60
<property name="cursor_visible">True</property>
61
<property name="pixels_above_lines">0</property>
62
<property name="pixels_below_lines">0</property>
63
<property name="pixels_inside_wrap">0</property>
64
<property name="left_margin">0</property>
65
<property name="right_margin">0</property>
66
<property name="indent">0</property>
67
<signal handler="edit_focus_in_event" last_modification_time="Fri, 21 Jul 2006 10:28:42 GMT" name="focus_in_event"/>
74
<property name="padding">0</property>
75
<property name="expand">False</property>
76
<property name="fill">True</property>
80
<object class="GtkHBox" id="hbox7">
81
<property name="visible">True</property>
82
<property name="homogeneous">False</property>
83
<property name="spacing">0</property>
85
<object class="GtkVBox" id="vbox59">
86
<property name="visible">True</property>
87
<property name="homogeneous">False</property>
88
<property name="spacing">0</property>
90
<object class="GtkButton" id="button38">
91
<property name="border_width">8</property>
92
<property name="width_request">128</property>
93
<property name="height_request">128</property>
94
<property name="visible">True</property>
95
<property name="can_focus">True</property>
96
<property name="label" translatable="no">button38</property>
97
<property name="use_underline">True</property>
98
<property name="relief">GTK_RELIEF_NORMAL</property>
99
<property name="focus_on_click">True</property>
102
<property name="padding">0</property>
103
<property name="expand">False</property>
104
<property name="fill">False</property>
108
<object class="GtkButton" id="button37">
109
<property name="border_width">8</property>
110
<property name="width_request">128</property>
111
<property name="height_request">128</property>
112
<property name="visible">True</property>
113
<property name="can_focus">True</property>
114
<property name="label" translatable="no">button37</property>
115
<property name="use_underline">True</property>
116
<property name="relief">GTK_RELIEF_NORMAL</property>
117
<property name="focus_on_click">True</property>
120
<property name="padding">0</property>
121
<property name="expand">False</property>
122
<property name="fill">False</property>
126
<object class="GtkButton" id="button36">
127
<property name="border_width">8</property>
128
<property name="width_request">128</property>
129
<property name="height_request">128</property>
130
<property name="visible">True</property>
131
<property name="can_focus">True</property>
132
<property name="label" translatable="no">button36</property>
133
<property name="use_underline">True</property>
134
<property name="relief">GTK_RELIEF_NORMAL</property>
135
<property name="focus_on_click">True</property>
138
<property name="padding">0</property>
139
<property name="expand">False</property>
140
<property name="fill">False</property>
145
<property name="padding">0</property>
146
<property name="expand">False</property>
147
<property name="fill">True</property>
151
<object class="GtkAlignment" id="alignment60">
152
<property name="border_width">10</property>
153
<property name="visible">True</property>
154
<property name="xalign">0.5</property>
155
<property name="yalign">0.5</property>
156
<property name="xscale">1</property>
157
<property name="yscale">1</property>
158
<property name="top_padding">0</property>
159
<property name="bottom_padding">0</property>
160
<property name="left_padding">0</property>
161
<property name="right_padding">0</property>
163
<object class="Custom" id="DasherControl">
164
<property name="width_request">200</property>
165
<property name="height_request">200</property>
166
<property name="visible">True</property>
167
<property name="can_focus">True</property>
168
<property name="has_focus">True</property>
169
<property name="creation_function">create_dasher_control</property>
170
<property name="int1">0</property>
171
<property name="int2">0</property>
172
<property name="last_modification_time">Sun, 05 Mar 2006 19:33:03 GMT</property>
173
<signal handler="parameter_notification" last_modification_time="Sun, 05 Mar 2006 19:45:23 GMT" name="dasher_changed"/>
174
<signal handler="handle_start_event" last_modification_time="Sun, 05 Mar 2006 19:45:35 GMT" name="dasher_start"/>
175
<signal handler="handle_stop_event" last_modification_time="Sun, 05 Mar 2006 19:45:43 GMT" name="dasher_stop"/>
176
<signal handler="handle_control_event" last_modification_time="Sun, 05 Mar 2006 19:45:53 GMT" name="dasher_control"/>
177
<signal handler="gtk2_edit_output_callback" last_modification_time="Sun, 05 Mar 2006 19:46:13 GMT" name="dasher_edit_insert"/>
178
<signal handler="gtk2_edit_delete_callback" last_modification_time="Sun, 05 Mar 2006 19:46:32 GMT" name="dasher_edit_delete"/>
179
<signal handler="handle_context_request" last_modification_time="Sun, 05 Mar 2006 19:46:54 GMT" name="dasher_context_request"/>
180
<signal handler="handle_request_settings" last_modification_time="Sun, 05 Mar 2006 19:47:12 GMT" name="dasher_request_settings"/>
181
<signal handler="focus_in_event" last_modification_time="Sun, 05 Mar 2006 19:47:28 GMT" name="focus_in_event"/>
182
<signal handler="on_lock_info" last_modification_time="Wed, 22 Mar 2006 10:38:44 GMT" name="dasher_lock_info"/>
183
<signal handler="on_message" last_modification_time="Wed, 22 Mar 2006 14:24:04 GMT" name="dasher_message"/>
184
<signal handler="convert_cb" last_modification_time="Tue, 30 May 2006 14:21:15 GMT" name="dasher_edit_convert"/>
185
<signal handler="protect_cb" last_modification_time="Tue, 30 May 2006 14:21:26 GMT" name="dasher_edit_protect"/>
186
<signal handler="on_command" last_modification_time="Thu, 14 Sep 2006 12:13:36 GMT" name="dasher_command"/>
191
<property name="padding">0</property>
192
<property name="expand">True</property>
193
<property name="fill">True</property>
197
<object class="GtkVBox" id="vbox60">
198
<property name="visible">True</property>
199
<property name="homogeneous">False</property>
200
<property name="spacing">0</property>
202
<object class="GtkButton" id="button33">
203
<property name="border_width">8</property>
204
<property name="width_request">128</property>
205
<property name="height_request">128</property>
206
<property name="visible">True</property>
207
<property name="can_focus">True</property>
208
<property name="label" translatable="no">button33</property>
209
<property name="use_underline">True</property>
210
<property name="relief">GTK_RELIEF_NORMAL</property>
211
<property name="focus_on_click">True</property>
214
<property name="padding">0</property>
215
<property name="expand">False</property>
216
<property name="fill">False</property>
220
<object class="GtkButton" id="button34">
221
<property name="border_width">8</property>
222
<property name="width_request">128</property>
223
<property name="height_request">128</property>
224
<property name="visible">True</property>
225
<property name="can_focus">True</property>
226
<property name="label" translatable="no">button34</property>
227
<property name="use_underline">True</property>
228
<property name="relief">GTK_RELIEF_NORMAL</property>
229
<property name="focus_on_click">True</property>
232
<property name="padding">0</property>
233
<property name="expand">False</property>
234
<property name="fill">False</property>
238
<object class="GtkButton" id="button35">
239
<property name="border_width">8</property>
240
<property name="width_request">128</property>
241
<property name="height_request">128</property>
242
<property name="visible">True</property>
243
<property name="can_focus">True</property>
244
<property name="label" translatable="no">button35</property>
245
<property name="use_underline">True</property>
246
<property name="relief">GTK_RELIEF_NORMAL</property>
247
<property name="focus_on_click">True</property>
250
<property name="padding">0</property>
251
<property name="expand">False</property>
252
<property name="fill">False</property>
257
<property name="padding">0</property>
258
<property name="expand">False</property>
259
<property name="fill">True</property>
264
<property name="padding">0</property>
265
<property name="expand">True</property>
266
<property name="fill">True</property>
272
<object class="GtkFileSelection" id="open_fileselector">
273
<property name="border_width">10</property>
274
<property name="title" translatable="yes">Select File</property>
275
<property name="type">GTK_WINDOW_TOPLEVEL</property>
276
<property name="window_position">GTK_WIN_POS_NONE</property>
277
<property name="modal">False</property>
278
<property name="resizable">True</property>
279
<property name="destroy_with_parent">True</property>
280
<property name="decorated">True</property>
281
<property name="skip_taskbar_hint">False</property>
282
<property name="skip_pager_hint">False</property>
283
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
284
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
285
<property name="focus_on_map">True</property>
286
<property name="urgency_hint">False</property>
287
<property name="show_fileops">True</property>
288
<signal handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT" name="delete_event"/>
289
<child internal-child="cancel_button">
290
<object class="GtkButton" id="cancel_button1">
291
<property name="visible">True</property>
292
<property name="can_default">True</property>
293
<property name="can_focus">True</property>
294
<property name="relief">GTK_RELIEF_NORMAL</property>
295
<property name="focus_on_click">True</property>
298
<child internal-child="ok_button">
299
<object class="GtkButton" id="ok_button1">
300
<property name="visible">True</property>
301
<property name="can_default">True</property>
302
<property name="can_focus">True</property>
303
<property name="relief">GTK_RELIEF_NORMAL</property>
304
<property name="focus_on_click">True</property>
308
<object class="GtkFontSelectionDialog" id="dasher_fontselector">
309
<property name="border_width">4</property>
310
<property name="title" translatable="yes">Select Font</property>
311
<property name="type">GTK_WINDOW_TOPLEVEL</property>
312
<property name="window_position">GTK_WIN_POS_NONE</property>
313
<property name="modal">False</property>
314
<property name="resizable">True</property>
315
<property name="destroy_with_parent">False</property>
316
<property name="decorated">True</property>
317
<property name="skip_taskbar_hint">False</property>
318
<property name="skip_pager_hint">False</property>
319
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
320
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
321
<property name="focus_on_map">True</property>
322
<property name="urgency_hint">False</property>
323
<signal handler="dasher_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:22:16 GMT" name="delete_event"/>
324
<child internal-child="cancel_button">
325
<object class="GtkButton" id="dasher_font_cancel">
326
<property name="visible">True</property>
327
<property name="can_default">True</property>
328
<property name="can_focus">True</property>
329
<property name="label">gtk-cancel</property>
330
<property name="use_stock">True</property>
331
<property name="relief">GTK_RELIEF_NORMAL</property>
332
<property name="focus_on_click">True</property>
333
<signal handler="dasher_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:21:14 GMT" name="clicked"/>
336
<child internal-child="apply_button">
337
<object class="GtkButton" id="dasher_font_apply">
338
<property name="visible">True</property>
339
<property name="can_default">True</property>
340
<property name="can_focus">True</property>
341
<property name="label">gtk-apply</property>
342
<property name="use_stock">True</property>
343
<property name="relief">GTK_RELIEF_NORMAL</property>
344
<property name="focus_on_click">True</property>
345
<signal handler="dasher_font_apply_cb" last_modification_time="Thu, 11 May 2006 15:21:38 GMT" name="clicked"/>
348
<child internal-child="ok_button">
349
<object class="GtkButton" id="dasher_font_ok">
350
<property name="visible">True</property>
351
<property name="can_default">True</property>
352
<property name="can_focus">True</property>
353
<property name="label">gtk-ok</property>
354
<property name="use_stock">True</property>
355
<property name="relief">GTK_RELIEF_NORMAL</property>
356
<property name="focus_on_click">True</property>
357
<signal handler="dasher_font_ok_cb" last_modification_time="Thu, 11 May 2006 15:22:03 GMT" name="clicked"/>
360
<child internal-child="font_selection">
361
<object class="GtkFontSelection" id="font_selection1">
362
<property name="border_width">4</property>
363
<property name="visible">True</property>
366
<property name="padding">0</property>
367
<property name="expand">True</property>
368
<property name="fill">True</property>
372
<object class="GtkFontSelectionDialog" id="edit_fontselector">
373
<property name="border_width">4</property>
374
<property name="title" translatable="yes">Select Font</property>
375
<property name="type">GTK_WINDOW_TOPLEVEL</property>
376
<property name="window_position">GTK_WIN_POS_NONE</property>
377
<property name="modal">False</property>
378
<property name="resizable">True</property>
379
<property name="destroy_with_parent">False</property>
380
<property name="decorated">True</property>
381
<property name="skip_taskbar_hint">False</property>
382
<property name="skip_pager_hint">False</property>
383
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
384
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
385
<property name="focus_on_map">True</property>
386
<property name="urgency_hint">False</property>
387
<signal handler="edit_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:22:37 GMT" name="close"/>
388
<child internal-child="cancel_button">
389
<object class="GtkButton" id="edit_font_cancel">
390
<property name="visible">True</property>
391
<property name="can_default">True</property>
392
<property name="can_focus">True</property>
393
<property name="label">gtk-cancel</property>
394
<property name="use_stock">True</property>
395
<property name="relief">GTK_RELIEF_NORMAL</property>
396
<property name="focus_on_click">True</property>
397
<signal handler="edit_font_cancel_cb" last_modification_time="Thu, 11 May 2006 15:20:27 GMT" name="clicked"/>
400
<child internal-child="apply_button">
401
<object class="GtkButton" id="edit_font_apply">
402
<property name="visible">True</property>
403
<property name="can_default">True</property>
404
<property name="can_focus">True</property>
405
<property name="label">gtk-apply</property>
406
<property name="use_stock">True</property>
407
<property name="relief">GTK_RELIEF_NORMAL</property>
408
<property name="focus_on_click">True</property>
409
<signal handler="edit_font_apply_cb" last_modification_time="Thu, 11 May 2006 15:20:19 GMT" name="clicked"/>
412
<child internal-child="ok_button">
413
<object class="GtkButton" id="edit_font_ok">
414
<property name="visible">True</property>
415
<property name="can_default">True</property>
416
<property name="can_focus">True</property>
417
<property name="label">gtk-ok</property>
418
<property name="use_stock">True</property>
419
<property name="relief">GTK_RELIEF_NORMAL</property>
420
<property name="focus_on_click">True</property>
421
<signal handler="edit_font_ok_cb" last_modification_time="Thu, 11 May 2006 15:19:55 GMT" name="clicked"/>
424
<child internal-child="font_selection">
425
<object class="GtkFontSelection" id="font_selection_2">
426
<property name="border_width">4</property>
427
<property name="visible">True</property>
430
<property name="padding">0</property>
431
<property name="expand">True</property>
432
<property name="fill">True</property>
436
<object class="GtkFileSelection" id="save_fileselector">
437
<property name="border_width">10</property>
438
<property name="title" translatable="yes">Select File</property>
439
<property name="type">GTK_WINDOW_TOPLEVEL</property>
440
<property name="window_position">GTK_WIN_POS_NONE</property>
441
<property name="modal">False</property>
442
<property name="resizable">True</property>
443
<property name="destroy_with_parent">True</property>
444
<property name="decorated">True</property>
445
<property name="skip_taskbar_hint">False</property>
446
<property name="skip_pager_hint">False</property>
447
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
448
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
449
<property name="focus_on_map">True</property>
450
<property name="urgency_hint">False</property>
451
<property name="show_fileops">True</property>
452
<signal handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT" name="delete_event"/>
453
<child internal-child="cancel_button">
454
<object class="GtkButton" id="button14">
455
<property name="visible">True</property>
456
<property name="can_default">True</property>
457
<property name="can_focus">True</property>
458
<property name="relief">GTK_RELIEF_NORMAL</property>
459
<property name="focus_on_click">True</property>
462
<child internal-child="ok_button">
463
<object class="GtkButton" id="button15">
464
<property name="visible">True</property>
465
<property name="can_default">True</property>
466
<property name="can_focus">True</property>
467
<property name="relief">GTK_RELIEF_NORMAL</property>
468
<property name="focus_on_click">True</property>
472
<object class="GtkFileSelection" id="append_fileselector">
473
<property name="border_width">10</property>
474
<property name="title" translatable="yes">Select File</property>
475
<property name="type">GTK_WINDOW_TOPLEVEL</property>
476
<property name="window_position">GTK_WIN_POS_NONE</property>
477
<property name="modal">False</property>
478
<property name="resizable">True</property>
479
<property name="destroy_with_parent">True</property>
480
<property name="decorated">True</property>
481
<property name="skip_taskbar_hint">False</property>
482
<property name="skip_pager_hint">False</property>
483
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
484
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
485
<property name="focus_on_map">True</property>
486
<property name="urgency_hint">False</property>
487
<property name="show_fileops">True</property>
488
<signal handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT" name="delete_event"/>
489
<child internal-child="cancel_button">
490
<object class="GtkButton" id="button16">
491
<property name="visible">True</property>
492
<property name="can_default">True</property>
493
<property name="can_focus">True</property>
494
<property name="relief">GTK_RELIEF_NORMAL</property>
495
<property name="focus_on_click">True</property>
498
<child internal-child="ok_button">
499
<object class="GtkButton" id="button17">
500
<property name="visible">True</property>
501
<property name="can_default">True</property>
502
<property name="can_focus">True</property>
503
<property name="relief">GTK_RELIEF_NORMAL</property>
504
<property name="focus_on_click">True</property>
508
<object class="GtkFileSelection" id="import_fileselector">
509
<property name="border_width">10</property>
510
<property name="title" translatable="yes">Select File</property>
511
<property name="type">GTK_WINDOW_TOPLEVEL</property>
512
<property name="window_position">GTK_WIN_POS_NONE</property>
513
<property name="modal">False</property>
514
<property name="resizable">True</property>
515
<property name="destroy_with_parent">True</property>
516
<property name="decorated">True</property>
517
<property name="skip_taskbar_hint">False</property>
518
<property name="skip_pager_hint">False</property>
519
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
520
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
521
<property name="focus_on_map">True</property>
522
<property name="urgency_hint">False</property>
523
<property name="show_fileops">True</property>
524
<signal handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT" name="delete_event"/>
525
<child internal-child="cancel_button">
526
<object class="GtkButton" id="button18">
527
<property name="visible">True</property>
528
<property name="can_default">True</property>
529
<property name="can_focus">True</property>
530
<property name="relief">GTK_RELIEF_NORMAL</property>
531
<property name="focus_on_click">True</property>
534
<child internal-child="ok_button">
535
<object class="GtkButton" id="button19">
536
<property name="visible">True</property>
537
<property name="can_default">True</property>
538
<property name="can_focus">True</property>
539
<property name="relief">GTK_RELIEF_NORMAL</property>
540
<property name="focus_on_click">True</property>
544
<object class="GtkFileSelection" id="save_and_quit_fileselector">
545
<property name="border_width">10</property>
546
<property name="title" translatable="yes">Select File</property>
547
<property name="type">GTK_WINDOW_TOPLEVEL</property>
548
<property name="window_position">GTK_WIN_POS_NONE</property>
549
<property name="modal">False</property>
550
<property name="resizable">True</property>
551
<property name="destroy_with_parent">True</property>
552
<property name="decorated">True</property>
553
<property name="skip_taskbar_hint">False</property>
554
<property name="skip_pager_hint">False</property>
555
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
556
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
557
<property name="focus_on_map">True</property>
558
<property name="urgency_hint">False</property>
559
<property name="show_fileops">True</property>
560
<signal handler="gtk_widget_hide_on_delete" last_modification_time="Tue, 23 Sep 2003 13:19:39 GMT" name="delete_event"/>
561
<child internal-child="cancel_button">
562
<object class="GtkButton" id="button20">
563
<property name="visible">True</property>
564
<property name="can_default">True</property>
565
<property name="can_focus">True</property>
566
<property name="relief">GTK_RELIEF_NORMAL</property>
567
<property name="focus_on_click">True</property>
570
<child internal-child="ok_button">
571
<object class="GtkButton" id="button21">
572
<property name="visible">True</property>
573
<property name="can_default">True</property>
574
<property name="can_focus">True</property>
575
<property name="relief">GTK_RELIEF_NORMAL</property>
576
<property name="focus_on_click">True</property>
580
<object class="GtkWindow" id="HiddenWindow">
581
<property name="width_request">128</property>
582
<property name="height_request">64</property>
583
<property name="title" translatable="yes">Dasher</property>
584
<property name="type">GTK_WINDOW_TOPLEVEL</property>
585
<property name="window_position">GTK_WIN_POS_NONE</property>
586
<property name="modal">False</property>
587
<property name="resizable">False</property>
588
<property name="destroy_with_parent">False</property>
589
<property name="decorated">True</property>
590
<property name="skip_taskbar_hint">False</property>
591
<property name="skip_pager_hint">False</property>
592
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
593
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
594
<property name="focus_on_map">True</property>
595
<property name="urgency_hint">False</property>
597
<object class="GtkButton" id="RestoreButton">
598
<property name="visible">True</property>
599
<property name="can_focus">True</property>
600
<property name="label" translatable="yes">Dasher</property>
601
<property name="use_underline">True</property>
602
<property name="relief">GTK_RELIEF_NORMAL</property>
603
<property name="focus_on_click">True</property>
607
<object class="GtkWindow" id="lock_window">
608
<property name="visible">True</property>
609
<property name="title" translatable="yes">Please Wait…</property>
610
<property name="type">GTK_WINDOW_TOPLEVEL</property>
611
<property name="window_position">GTK_WIN_POS_NONE</property>
612
<property name="modal">False</property>
613
<property name="resizable">True</property>
614
<property name="destroy_with_parent">False</property>
615
<property name="decorated">True</property>
616
<property name="skip_taskbar_hint">False</property>
617
<property name="skip_pager_hint">False</property>
618
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
619
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
620
<property name="focus_on_map">True</property>
621
<property name="urgency_hint">False</property>
623
<object class="GtkVBox" id="vbox43">
624
<property name="visible">True</property>
625
<property name="homogeneous">False</property>
626
<property name="spacing">0</property>
628
<object class="GtkLabel" id="lock_message">
629
<property name="visible">True</property>
630
<property name="label"/>
631
<property name="use_underline">False</property>
632
<property name="use_markup">False</property>
633
<property name="justify">GTK_JUSTIFY_LEFT</property>
634
<property name="wrap">False</property>
635
<property name="selectable">False</property>
636
<property name="xalign">0.5</property>
637
<property name="yalign">0.5</property>
638
<property name="xpad">0</property>
639
<property name="ypad">0</property>
640
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
641
<property name="width_chars">-1</property>
642
<property name="single_line_mode">False</property>
643
<property name="angle">0</property>
646
<property name="padding">8</property>
647
<property name="expand">False</property>
648
<property name="fill">False</property>
652
<object class="GtkAlignment" id="alignment38">
653
<property name="border_width">8</property>
654
<property name="visible">True</property>
655
<property name="xalign">0.5</property>
656
<property name="yalign">0.5</property>
657
<property name="xscale">1</property>
658
<property name="yscale">1</property>
659
<property name="top_padding">0</property>
660
<property name="bottom_padding">0</property>
661
<property name="left_padding">0</property>
662
<property name="right_padding">0</property>
664
<object class="GtkProgressBar" id="lock_progress">
665
<property name="visible">True</property>
666
<property name="orientation">GTK_PROGRESS_LEFT_TO_RIGHT</property>
667
<property name="fraction">0</property>
668
<property name="pulse_step">0.10000000149</property>
669
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
674
<property name="padding">0</property>
675
<property name="expand">False</property>
676
<property name="fill">False</property>