← Back to branch summary

~ubuntu-branches/debian/sid/link-monitor-applet/sid

« back to all changes in this revision

Viewing changes to ui/preferences-dialog.glade

  • Committer: Bazaar Package Importer
  • Author(s): Adriaan Peeters
  • Date: 2008-03-30 22:26:13 UTC
  • mto: This revision was merged to the branch mainline in revision 4.
  • Revision ID: james.westby@ubuntu.com-20080330222613-5aubcuo9mgg2n7st
Tags: upstream-3.0
Import upstream version 3.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
ui/preferences-dialog.glade
1
 
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
 
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
 
 
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
 
3
<!--*- mode: xml -*-->
4
4
<glade-interface>
5
 
<requires lib="gnome"/>
6
 
 
7
 
<widget class="GtkDialog" id="dialog">
8
 
  <property name="border_width">5</property>
9
 
  <property name="title" translatable="yes">Link Monitor Preferences</property>
10
 
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
11
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
12
 
  <property name="modal">False</property>
13
 
  <property name="resizable">True</property>
14
 
  <property name="destroy_with_parent">False</property>
15
 
  <property name="decorated">True</property>
16
 
  <property name="skip_taskbar_hint">False</property>
17
 
  <property name="skip_pager_hint">False</property>
18
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
19
 
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
20
 
  <property name="focus_on_map">True</property>
21
 
  <property name="urgency_hint">False</property>
22
 
  <property name="has_separator">False</property>
23
 
 
24
 
  <child internal-child="vbox">
25
 
    <widget class="GtkVBox" id="dialog-vbox1">
26
 
      <property name="visible">True</property>
27
 
      <property name="homogeneous">False</property>
28
 
      <property name="spacing">2</property>
29
 
 
30
 
      <child internal-child="action_area">
31
 
        <widget class="GtkHButtonBox" id="dialog-action_area1">
32
 
          <property name="visible">True</property>
33
 
          <property name="layout_style">GTK_BUTTONBOX_END</property>
34
 
 
35
 
          <child>
36
 
            <widget class="GtkButton" id="helpbutton1">
37
 
              <property name="visible">True</property>
38
 
              <property name="can_default">True</property>
39
 
              <property name="can_focus">True</property>
40
 
              <property name="label">gtk-help</property>
41
 
              <property name="use_stock">True</property>
42
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
43
 
              <property name="focus_on_click">True</property>
44
 
              <property name="response_id">-11</property>
45
 
            </widget>
46
 
          </child>
47
 
 
48
 
          <child>
49
 
            <widget class="GtkButton" id="closebutton1">
50
 
              <property name="visible">True</property>
51
 
              <property name="can_default">True</property>
52
 
              <property name="can_focus">True</property>
53
 
              <property name="label">gtk-close</property>
54
 
              <property name="use_stock">True</property>
55
 
              <property name="relief">GTK_RELIEF_NORMAL</property>
56
 
              <property name="focus_on_click">True</property>
57
 
              <property name="response_id">-7</property>
58
 
            </widget>
59
 
          </child>
60
 
        </widget>
61
 
        <packing>
62
 
          <property name="padding">0</property>
63
 
          <property name="expand">False</property>
64
 
          <property name="fill">True</property>
65
 
          <property name="pack_type">GTK_PACK_END</property>
66
 
        </packing>
67
 
      </child>
68
 
 
69
 
      <child>
70
 
        <widget class="GtkVBox" id="vbox">
71
 
          <property name="border_width">5</property>
72
 
          <property name="visible">True</property>
73
 
          <property name="homogeneous">False</property>
74
 
          <property name="spacing">18</property>
75
 
 
76
 
          <child>
77
 
            <widget class="GtkVBox" id="vbox2">
78
 
              <property name="visible">True</property>
79
 
              <property name="homogeneous">False</property>
80
 
              <property name="spacing">6</property>
81
 
 
82
 
              <child>
83
 
                <widget class="GtkLabel" id="label1">
84
 
                  <property name="visible">True</property>
85
 
                  <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;Hosts&lt;/span&gt;</property>
86
 
                  <property name="use_underline">False</property>
87
 
                  <property name="use_markup">True</property>
88
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
89
 
                  <property name="wrap">False</property>
90
 
                  <property name="selectable">False</property>
91
 
                  <property name="xalign">0</property>
92
 
                  <property name="yalign">0.5</property>
93
 
                  <property name="xpad">0</property>
94
 
                  <property name="ypad">0</property>
95
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
96
 
                  <property name="width_chars">-1</property>
97
 
                  <property name="single_line_mode">False</property>
98
 
                  <property name="angle">0</property>
99
 
                </widget>
100
 
                <packing>
101
 
                  <property name="padding">0</property>
102
 
                  <property name="expand">False</property>
103
 
                  <property name="fill">False</property>
104
 
                </packing>
105
 
              </child>
106
 
 
107
 
              <child>
108
 
                <widget class="GtkAlignment" id="alignment4">
109
 
                  <property name="visible">True</property>
110
 
                  <property name="xalign">0.5</property>
111
 
                  <property name="yalign">0.5</property>
112
 
                  <property name="xscale">1</property>
113
 
                  <property name="yscale">1</property>
114
 
                  <property name="top_padding">0</property>
115
 
                  <property name="bottom_padding">0</property>
116
 
                  <property name="left_padding">12</property>
117
 
                  <property name="right_padding">0</property>
118
 
 
119
 
                  <child>
120
 
                    <widget class="GtkHBox" id="hbox12">
121
 
                      <property name="visible">True</property>
122
 
                      <property name="homogeneous">False</property>
123
 
                      <property name="spacing">6</property>
124
 
 
125
 
                      <child>
126
 
                        <widget class="GtkVBox" id="vbox3">
127
 
                          <property name="visible">True</property>
128
 
                          <property name="homogeneous">False</property>
129
 
                          <property name="spacing">6</property>
130
 
 
131
 
                          <child>
132
 
                            <widget class="GtkScrolledWindow" id="scrolled">
133
 
                              <property name="visible">True</property>
134
 
                              <property name="can_focus">True</property>
135
 
                              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
136
 
                              <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
137
 
                              <property name="shadow_type">GTK_SHADOW_IN</property>
138
 
                              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
139
 
 
140
 
                              <child>
141
 
                                <placeholder/>
142
 
                              </child>
143
 
                            </widget>
144
 
                            <packing>
145
 
                              <property name="padding">0</property>
146
 
                              <property name="expand">True</property>
147
 
                              <property name="fill">True</property>
148
 
                            </packing>
149
 
                          </child>
150
 
 
151
 
                          <child>
152
 
                            <widget class="GtkLabel" id="selected_label">
153
 
                              <property name="visible">True</property>
154
 
                              <property name="label" translatable="yes"></property>
155
 
                              <property name="use_underline">False</property>
156
 
                              <property name="use_markup">False</property>
157
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
158
 
                              <property name="wrap">False</property>
159
 
                              <property name="selectable">False</property>
160
 
                              <property name="xalign">0.5</property>
161
 
                              <property name="yalign">0.5</property>
162
 
                              <property name="xpad">0</property>
163
 
                              <property name="ypad">0</property>
164
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
165
 
                              <property name="width_chars">-1</property>
166
 
                              <property name="single_line_mode">False</property>
167
 
                              <property name="angle">0</property>
168
 
                            </widget>
169
 
                            <packing>
170
 
                              <property name="padding">0</property>
171
 
                              <property name="expand">False</property>
172
 
                              <property name="fill">False</property>
173
 
                            </packing>
174
 
                          </child>
175
 
                        </widget>
176
 
                        <packing>
177
 
                          <property name="padding">0</property>
178
 
                          <property name="expand">True</property>
179
 
                          <property name="fill">True</property>
180
 
                        </packing>
181
 
                      </child>
182
 
 
183
 
                      <child>
184
 
                        <widget class="GtkVBox" id="vbox6">
185
 
                          <property name="visible">True</property>
186
 
                          <property name="homogeneous">False</property>
187
 
                          <property name="spacing">6</property>
188
 
 
189
 
                          <child>
190
 
                            <widget class="GtkButton" id="button1">
191
 
                              <property name="visible">True</property>
192
 
                              <property name="can_focus">True</property>
193
 
                              <property name="label">gtk-add</property>
194
 
                              <property name="use_stock">True</property>
195
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
196
 
                              <property name="focus_on_click">True</property>
197
 
                              <signal name="clicked" handler="add_clicked_h" last_modification_time="Fri, 19 May 2006 09:51:39 GMT"/>
198
 
                            </widget>
199
 
                            <packing>
200
 
                              <property name="padding">0</property>
201
 
                              <property name="expand">False</property>
202
 
                              <property name="fill">False</property>
203
 
                            </packing>
204
 
                          </child>
205
 
 
206
 
                          <child>
207
 
                            <widget class="GtkButton" id="remove">
208
 
                              <property name="visible">True</property>
209
 
                              <property name="can_focus">True</property>
210
 
                              <property name="label">gtk-remove</property>
211
 
                              <property name="use_stock">True</property>
212
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
213
 
                              <property name="focus_on_click">True</property>
214
 
                              <signal name="clicked" handler="remove_clicked_h" last_modification_time="Fri, 19 May 2006 09:51:58 GMT"/>
215
 
                            </widget>
216
 
                            <packing>
217
 
                              <property name="padding">0</property>
218
 
                              <property name="expand">False</property>
219
 
                              <property name="fill">False</property>
220
 
                            </packing>
221
 
                          </child>
222
 
 
223
 
                          <child>
224
 
                            <widget class="GtkButton" id="up">
225
 
                              <property name="visible">True</property>
226
 
                              <property name="can_focus">True</property>
227
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
228
 
                              <property name="focus_on_click">True</property>
229
 
                              <signal name="clicked" handler="up_clicked_h" last_modification_time="Fri, 19 May 2006 09:52:05 GMT"/>
230
 
 
231
 
                              <child>
232
 
                                <widget class="GtkAlignment" id="alignment1">
233
 
                                  <property name="visible">True</property>
234
 
                                  <property name="xalign">0.5</property>
235
 
                                  <property name="yalign">0.5</property>
236
 
                                  <property name="xscale">0</property>
237
 
                                  <property name="yscale">0</property>
238
 
                                  <property name="top_padding">0</property>
239
 
                                  <property name="bottom_padding">0</property>
240
 
                                  <property name="left_padding">0</property>
241
 
                                  <property name="right_padding">0</property>
242
 
 
243
 
                                  <child>
244
 
                                    <widget class="GtkHBox" id="hbox10">
245
 
                                      <property name="visible">True</property>
246
 
                                      <property name="homogeneous">False</property>
247
 
                                      <property name="spacing">2</property>
248
 
 
249
 
                                      <child>
250
 
                                        <widget class="GtkImage" id="image1">
251
 
                                          <property name="visible">True</property>
252
 
                                          <property name="stock">gtk-go-up</property>
253
 
                                          <property name="icon_size">4</property>
254
 
                                          <property name="xalign">0.5</property>
255
 
                                          <property name="yalign">0.5</property>
256
 
                                          <property name="xpad">0</property>
257
 
                                          <property name="ypad">0</property>
258
 
                                        </widget>
259
 
                                        <packing>
260
 
                                          <property name="padding">0</property>
261
 
                                          <property name="expand">False</property>
262
 
                                          <property name="fill">False</property>
263
 
                                        </packing>
264
 
                                      </child>
265
 
 
266
 
                                      <child>
267
 
                                        <widget class="GtkLabel" id="label12">
268
 
                                          <property name="visible">True</property>
269
 
                                          <property name="label" translatable="yes">Move _Up</property>
270
 
                                          <property name="use_underline">True</property>
271
 
                                          <property name="use_markup">False</property>
272
 
                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
273
 
                                          <property name="wrap">False</property>
274
 
                                          <property name="selectable">False</property>
275
 
                                          <property name="xalign">0.5</property>
276
 
                                          <property name="yalign">0.5</property>
277
 
                                          <property name="xpad">0</property>
278
 
                                          <property name="ypad">0</property>
279
 
                                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
280
 
                                          <property name="width_chars">-1</property>
281
 
                                          <property name="single_line_mode">False</property>
282
 
                                          <property name="angle">0</property>
283
 
                                        </widget>
284
 
                                        <packing>
285
 
                                          <property name="padding">0</property>
286
 
                                          <property name="expand">False</property>
287
 
                                          <property name="fill">False</property>
288
 
                                        </packing>
289
 
                                      </child>
290
 
                                    </widget>
291
 
                                  </child>
292
 
                                </widget>
293
 
                              </child>
294
 
                            </widget>
295
 
                            <packing>
296
 
                              <property name="padding">0</property>
297
 
                              <property name="expand">False</property>
298
 
                              <property name="fill">False</property>
299
 
                            </packing>
300
 
                          </child>
301
 
 
302
 
                          <child>
303
 
                            <widget class="GtkButton" id="down">
304
 
                              <property name="visible">True</property>
305
 
                              <property name="can_focus">True</property>
306
 
                              <property name="relief">GTK_RELIEF_NORMAL</property>
307
 
                              <property name="focus_on_click">True</property>
308
 
                              <signal name="clicked" handler="down_clicked_h" last_modification_time="Fri, 19 May 2006 09:52:12 GMT"/>
309
 
 
310
 
                              <child>
311
 
                                <widget class="GtkAlignment" id="alignment2">
312
 
                                  <property name="visible">True</property>
313
 
                                  <property name="xalign">0.5</property>
314
 
                                  <property name="yalign">0.5</property>
315
 
                                  <property name="xscale">0</property>
316
 
                                  <property name="yscale">0</property>
317
 
                                  <property name="top_padding">0</property>
318
 
                                  <property name="bottom_padding">0</property>
319
 
                                  <property name="left_padding">0</property>
320
 
                                  <property name="right_padding">0</property>
321
 
 
322
 
                                  <child>
323
 
                                    <widget class="GtkHBox" id="hbox11">
324
 
                                      <property name="visible">True</property>
325
 
                                      <property name="homogeneous">False</property>
326
 
                                      <property name="spacing">2</property>
327
 
 
328
 
                                      <child>
329
 
                                        <widget class="GtkImage" id="image2">
330
 
                                          <property name="visible">True</property>
331
 
                                          <property name="stock">gtk-go-down</property>
332
 
                                          <property name="icon_size">4</property>
333
 
                                          <property name="xalign">0.5</property>
334
 
                                          <property name="yalign">0.5</property>
335
 
                                          <property name="xpad">0</property>
336
 
                                          <property name="ypad">0</property>
337
 
                                        </widget>
338
 
                                        <packing>
339
 
                                          <property name="padding">0</property>
340
 
                                          <property name="expand">False</property>
341
 
                                          <property name="fill">False</property>
342
 
                                        </packing>
343
 
                                      </child>
344
 
 
345
 
                                      <child>
346
 
                                        <widget class="GtkLabel" id="label13">
347
 
                                          <property name="visible">True</property>
348
 
                                          <property name="label" translatable="yes">Move _Down</property>
349
 
                                          <property name="use_underline">True</property>
350
 
                                          <property name="use_markup">False</property>
351
 
                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
352
 
                                          <property name="wrap">False</property>
353
 
                                          <property name="selectable">False</property>
354
 
                                          <property name="xalign">0.5</property>
355
 
                                          <property name="yalign">0.5</property>
356
 
                                          <property name="xpad">0</property>
357
 
                                          <property name="ypad">0</property>
358
 
                                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
359
 
                                          <property name="width_chars">-1</property>
360
 
                                          <property name="single_line_mode">False</property>
361
 
                                          <property name="angle">0</property>
362
 
                                        </widget>
363
 
                                        <packing>
364
 
                                          <property name="padding">0</property>
365
 
                                          <property name="expand">False</property>
366
 
                                          <property name="fill">False</property>
367
 
                                        </packing>
368
 
                                      </child>
369
 
                                    </widget>
370
 
                                  </child>
371
 
                                </widget>
372
 
                              </child>
373
 
                            </widget>
374
 
                            <packing>
375
 
                              <property name="padding">0</property>
376
 
                              <property name="expand">False</property>
377
 
                              <property name="fill">False</property>
378
 
                            </packing>
379
 
                          </child>
380
 
                        </widget>
381
 
                        <packing>
382
 
                          <property name="padding">0</property>
383
 
                          <property name="expand">False</property>
384
 
                          <property name="fill">False</property>
385
 
                        </packing>
386
 
                      </child>
387
 
                    </widget>
388
 
                  </child>
389
 
                </widget>
390
 
                <packing>
391
 
                  <property name="padding">0</property>
392
 
                  <property name="expand">True</property>
393
 
                  <property name="fill">True</property>
394
 
                </packing>
395
 
              </child>
396
 
            </widget>
397
 
            <packing>
398
 
              <property name="padding">0</property>
399
 
              <property name="expand">True</property>
400
 
              <property name="fill">True</property>
401
 
            </packing>
402
 
          </child>
403
 
 
404
 
          <child>
405
 
            <widget class="GtkVBox" id="vbox4">
406
 
              <property name="visible">True</property>
407
 
              <property name="homogeneous">False</property>
408
 
              <property name="spacing">5</property>
409
 
 
410
 
              <child>
411
 
                <widget class="GtkLabel" id="label4">
412
 
                  <property name="visible">True</property>
413
 
                  <property name="label" translatable="yes">&lt;span weight=&quot;bold&quot;&gt;General&lt;/span&gt;</property>
414
 
                  <property name="use_underline">False</property>
415
 
                  <property name="use_markup">True</property>
416
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
417
 
                  <property name="wrap">False</property>
418
 
                  <property name="selectable">False</property>
419
 
                  <property name="xalign">0</property>
420
 
                  <property name="yalign">0.5</property>
421
 
                  <property name="xpad">0</property>
422
 
                  <property name="ypad">0</property>
423
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
424
 
                  <property name="width_chars">-1</property>
425
 
                  <property name="single_line_mode">False</property>
426
 
                  <property name="angle">0</property>
427
 
                </widget>
428
 
                <packing>
429
 
                  <property name="padding">0</property>
430
 
                  <property name="expand">False</property>
431
 
                  <property name="fill">False</property>
432
 
                </packing>
433
 
              </child>
434
 
 
435
 
              <child>
436
 
                <widget class="GtkAlignment" id="alignment5">
437
 
                  <property name="visible">True</property>
438
 
                  <property name="xalign">0.5</property>
439
 
                  <property name="yalign">0.5</property>
440
 
                  <property name="xscale">1</property>
441
 
                  <property name="yscale">1</property>
442
 
                  <property name="top_padding">0</property>
443
 
                  <property name="bottom_padding">0</property>
444
 
                  <property name="left_padding">12</property>
445
 
                  <property name="right_padding">0</property>
446
 
 
447
 
                  <child>
448
 
                    <widget class="GtkVBox" id="vbox5">
449
 
                      <property name="visible">True</property>
450
 
                      <property name="homogeneous">False</property>
451
 
                      <property name="spacing">6</property>
452
 
 
453
 
                      <child>
454
 
                        <widget class="GtkHBox" id="hbox4">
455
 
                          <property name="visible">True</property>
456
 
                          <property name="homogeneous">False</property>
457
 
                          <property name="spacing">12</property>
458
 
 
459
 
                          <child>
460
 
                            <widget class="GtkLabel" id="delay_label">
461
 
                              <property name="visible">True</property>
462
 
                              <property name="label" translatable="yes">_Delay between echo requests:</property>
463
 
                              <property name="use_underline">True</property>
464
 
                              <property name="use_markup">False</property>
465
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
466
 
                              <property name="wrap">False</property>
467
 
                              <property name="selectable">False</property>
468
 
                              <property name="xalign">0</property>
469
 
                              <property name="yalign">0.5</property>
470
 
                              <property name="xpad">0</property>
471
 
                              <property name="ypad">0</property>
472
 
                              <property name="mnemonic_widget">delay_spin</property>
473
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
474
 
                              <property name="width_chars">-1</property>
475
 
                              <property name="single_line_mode">False</property>
476
 
                              <property name="angle">0</property>
477
 
                            </widget>
478
 
                            <packing>
479
 
                              <property name="padding">0</property>
480
 
                              <property name="expand">False</property>
481
 
                              <property name="fill">False</property>
482
 
                            </packing>
483
 
                          </child>
484
 
 
485
 
                          <child>
486
 
                            <widget class="GtkHBox" id="hbox5">
487
 
                              <property name="visible">True</property>
488
 
                              <property name="homogeneous">False</property>
489
 
                              <property name="spacing">6</property>
490
 
 
491
 
                              <child>
492
 
                                <widget class="GtkSpinButton" id="delay_spin">
493
 
                                  <property name="visible">True</property>
494
 
                                  <property name="can_focus">True</property>
495
 
                                  <property name="climb_rate">1</property>
496
 
                                  <property name="digits">0</property>
497
 
                                  <property name="numeric">True</property>
498
 
                                  <property name="update_policy">GTK_UPDATE_ALWAYS</property>
499
 
                                  <property name="snap_to_ticks">False</property>
500
 
                                  <property name="wrap">False</property>
501
 
                                  <property name="adjustment">1000 1000 60000 1 10 10</property>
502
 
                                  <signal name="value_changed" handler="delay_spin_value_changed_h" last_modification_time="Fri, 19 May 2006 09:52:26 GMT"/>
503
 
                                </widget>
504
 
                                <packing>
505
 
                                  <property name="padding">0</property>
506
 
                                  <property name="expand">False</property>
507
 
                                  <property name="fill">False</property>
508
 
                                </packing>
509
 
                              </child>
510
 
 
511
 
                              <child>
512
 
                                <widget class="GtkLabel" id="label7">
513
 
                                  <property name="visible">True</property>
514
 
                                  <property name="label" translatable="yes">milliseconds</property>
515
 
                                  <property name="use_underline">False</property>
516
 
                                  <property name="use_markup">False</property>
517
 
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
518
 
                                  <property name="wrap">False</property>
519
 
                                  <property name="selectable">False</property>
520
 
                                  <property name="xalign">0.5</property>
521
 
                                  <property name="yalign">0.5</property>
522
 
                                  <property name="xpad">0</property>
523
 
                                  <property name="ypad">0</property>
524
 
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
525
 
                                  <property name="width_chars">-1</property>
526
 
                                  <property name="single_line_mode">False</property>
527
 
                                  <property name="angle">0</property>
528
 
                                </widget>
529
 
                                <packing>
530
 
                                  <property name="padding">0</property>
531
 
                                  <property name="expand">False</property>
532
 
                                  <property name="fill">False</property>
533
 
                                </packing>
534
 
                              </child>
535
 
                            </widget>
536
 
                            <packing>
537
 
                              <property name="padding">0</property>
538
 
                              <property name="expand">True</property>
539
 
                              <property name="fill">True</property>
540
 
                            </packing>
541
 
                          </child>
542
 
                        </widget>
543
 
                        <packing>
544
 
                          <property name="padding">0</property>
545
 
                          <property name="expand">True</property>
546
 
                          <property name="fill">True</property>
547
 
                        </packing>
548
 
                      </child>
549
 
 
550
 
                      <child>
551
 
                        <widget class="GtkHBox" id="hbox8">
552
 
                          <property name="visible">True</property>
553
 
                          <property name="homogeneous">False</property>
554
 
                          <property name="spacing">12</property>
555
 
 
556
 
                          <child>
557
 
                            <widget class="GtkLabel" id="timeout_label">
558
 
                              <property name="visible">True</property>
559
 
                              <property name="label" translatable="yes">_Echo reply timeout:</property>
560
 
                              <property name="use_underline">True</property>
561
 
                              <property name="use_markup">False</property>
562
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
563
 
                              <property name="wrap">False</property>
564
 
                              <property name="selectable">False</property>
565
 
                              <property name="xalign">0</property>
566
 
                              <property name="yalign">0.5</property>
567
 
                              <property name="xpad">0</property>
568
 
                              <property name="ypad">0</property>
569
 
                              <property name="mnemonic_widget">timeout_spin</property>
570
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
571
 
                              <property name="width_chars">-1</property>
572
 
                              <property name="single_line_mode">False</property>
573
 
                              <property name="angle">0</property>
574
 
                            </widget>
575
 
                            <packing>
576
 
                              <property name="padding">0</property>
577
 
                              <property name="expand">False</property>
578
 
                              <property name="fill">False</property>
579
 
                            </packing>
580
 
                          </child>
581
 
 
582
 
                          <child>
583
 
                            <widget class="GtkHBox" id="hbox9">
584
 
                              <property name="visible">True</property>
585
 
                              <property name="homogeneous">False</property>
586
 
                              <property name="spacing">6</property>
587
 
 
588
 
                              <child>
589
 
                                <widget class="GtkSpinButton" id="timeout_spin">
590
 
                                  <property name="visible">True</property>
591
 
                                  <property name="can_focus">True</property>
592
 
                                  <property name="climb_rate">1</property>
593
 
                                  <property name="digits">0</property>
594
 
                                  <property name="numeric">True</property>
595
 
                                  <property name="update_policy">GTK_UPDATE_ALWAYS</property>
596
 
                                  <property name="snap_to_ticks">False</property>
597
 
                                  <property name="wrap">False</property>
598
 
                                  <property name="adjustment">1000 100 60000 1 10 10</property>
599
 
                                  <signal name="value_changed" handler="timeout_spin_value_changed_h" last_modification_time="Fri, 19 May 2006 09:52:39 GMT"/>
600
 
                                </widget>
601
 
                                <packing>
602
 
                                  <property name="padding">0</property>
603
 
                                  <property name="expand">False</property>
604
 
                                  <property name="fill">False</property>
605
 
                                </packing>
606
 
                              </child>
607
 
 
608
 
                              <child>
609
 
                                <widget class="GtkLabel" id="label11">
610
 
                                  <property name="visible">True</property>
611
 
                                  <property name="label" translatable="yes">milliseconds</property>
612
 
                                  <property name="use_underline">False</property>
613
 
                                  <property name="use_markup">False</property>
614
 
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
615
 
                                  <property name="wrap">False</property>
616
 
                                  <property name="selectable">False</property>
617
 
                                  <property name="xalign">0.5</property>
618
 
                                  <property name="yalign">0.5</property>
619
 
                                  <property name="xpad">0</property>
620
 
                                  <property name="ypad">0</property>
621
 
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
622
 
                                  <property name="width_chars">-1</property>
623
 
                                  <property name="single_line_mode">False</property>
624
 
                                  <property name="angle">0</property>
625
 
                                </widget>
626
 
                                <packing>
627
 
                                  <property name="padding">0</property>
628
 
                                  <property name="expand">False</property>
629
 
                                  <property name="fill">False</property>
630
 
                                </packing>
631
 
                              </child>
632
 
                            </widget>
633
 
                            <packing>
634
 
                              <property name="padding">0</property>
635
 
                              <property name="expand">True</property>
636
 
                              <property name="fill">True</property>
637
 
                            </packing>
638
 
                          </child>
639
 
                        </widget>
640
 
                        <packing>
641
 
                          <property name="padding">0</property>
642
 
                          <property name="expand">True</property>
643
 
                          <property name="fill">True</property>
644
 
                        </packing>
645
 
                      </child>
646
 
 
647
 
                      <child>
648
 
                        <widget class="GtkHBox" id="hbox6">
649
 
                          <property name="visible">True</property>
650
 
                          <property name="homogeneous">False</property>
651
 
                          <property name="spacing">12</property>
652
 
 
653
 
                          <child>
654
 
                            <widget class="GtkLabel" id="scale_label">
655
 
                              <property name="visible">True</property>
656
 
                              <property name="label" translatable="yes">_Graphs scale:</property>
657
 
                              <property name="use_underline">True</property>
658
 
                              <property name="use_markup">False</property>
659
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
660
 
                              <property name="wrap">False</property>
661
 
                              <property name="selectable">False</property>
662
 
                              <property name="xalign">0</property>
663
 
                              <property name="yalign">0.5</property>
664
 
                              <property name="xpad">0</property>
665
 
                              <property name="ypad">0</property>
666
 
                              <property name="mnemonic_widget">scale_spin</property>
667
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
668
 
                              <property name="width_chars">-1</property>
669
 
                              <property name="single_line_mode">False</property>
670
 
                              <property name="angle">0</property>
671
 
                            </widget>
672
 
                            <packing>
673
 
                              <property name="padding">0</property>
674
 
                              <property name="expand">False</property>
675
 
                              <property name="fill">False</property>
676
 
                            </packing>
677
 
                          </child>
678
 
 
679
 
                          <child>
680
 
                            <widget class="GtkHBox" id="hbox7">
681
 
                              <property name="visible">True</property>
682
 
                              <property name="homogeneous">False</property>
683
 
                              <property name="spacing">6</property>
684
 
 
685
 
                              <child>
686
 
                                <widget class="GtkSpinButton" id="scale_spin">
687
 
                                  <property name="visible">True</property>
688
 
                                  <property name="can_focus">True</property>
689
 
                                  <property name="climb_rate">1</property>
690
 
                                  <property name="digits">0</property>
691
 
                                  <property name="numeric">True</property>
692
 
                                  <property name="update_policy">GTK_UPDATE_ALWAYS</property>
693
 
                                  <property name="snap_to_ticks">False</property>
694
 
                                  <property name="wrap">False</property>
695
 
                                  <property name="adjustment">500 1 60000 1 10 10</property>
696
 
                                  <signal name="value_changed" handler="scale_spin_value_changed_h" last_modification_time="Fri, 19 May 2006 09:53:00 GMT"/>
697
 
                                </widget>
698
 
                                <packing>
699
 
                                  <property name="padding">0</property>
700
 
                                  <property name="expand">False</property>
701
 
                                  <property name="fill">False</property>
702
 
                                </packing>
703
 
                              </child>
704
 
 
705
 
                              <child>
706
 
                                <widget class="GtkLabel" id="label9">
707
 
                                  <property name="visible">True</property>
708
 
                                  <property name="label" translatable="yes">milliseconds</property>
709
 
                                  <property name="use_underline">False</property>
710
 
                                  <property name="use_markup">False</property>
711
 
                                  <property name="justify">GTK_JUSTIFY_LEFT</property>
712
 
                                  <property name="wrap">False</property>
713
 
                                  <property name="selectable">False</property>
714
 
                                  <property name="xalign">0.5</property>
715
 
                                  <property name="yalign">0.5</property>
716
 
                                  <property name="xpad">0</property>
717
 
                                  <property name="ypad">0</property>
718
 
                                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
719
 
                                  <property name="width_chars">-1</property>
720
 
                                  <property name="single_line_mode">False</property>
721
 
                                  <property name="angle">0</property>
722
 
                                </widget>
723
 
                                <packing>
724
 
                                  <property name="padding">0</property>
725
 
                                  <property name="expand">False</property>
726
 
                                  <property name="fill">False</property>
727
 
                                </packing>
728
 
                              </child>
729
 
                            </widget>
730
 
                            <packing>
731
 
                              <property name="padding">0</property>
732
 
                              <property name="expand">True</property>
733
 
                              <property name="fill">True</property>
734
 
                            </packing>
735
 
                          </child>
736
 
                        </widget>
737
 
                        <packing>
738
 
                          <property name="padding">0</property>
739
 
                          <property name="expand">True</property>
740
 
                          <property name="fill">True</property>
741
 
                        </packing>
742
 
                      </child>
743
 
                    </widget>
744
 
                  </child>
745
 
                </widget>
746
 
                <packing>
747
 
                  <property name="padding">0</property>
748
 
                  <property name="expand">True</property>
749
 
                  <property name="fill">True</property>
750
 
                </packing>
751
 
              </child>
752
 
            </widget>
753
 
            <packing>
754
 
              <property name="padding">0</property>
755
 
              <property name="expand">False</property>
756
 
              <property name="fill">False</property>
757
 
            </packing>
758
 
          </child>
759
 
        </widget>
760
 
        <packing>
761
 
          <property name="padding">0</property>
762
 
          <property name="expand">True</property>
763
 
          <property name="fill">True</property>
764
 
        </packing>
765
 
      </child>
766
 
    </widget>
767
 
  </child>
768
 
</widget>
769
 
 
 
5
  <widget class="GtkDialog" id="dialog">
 
6
    <property name="border_width">5</property>
 
7
    <property name="title" translatable="yes">Link Monitor Preferences</property>
 
8
    <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 
9
    <property name="has_separator">False</property>
 
10
    <child internal-child="vbox">
 
11
      <widget class="GtkVBox" id="dialog-vbox1">
 
12
        <property name="visible">True</property>
 
13
        <property name="spacing">2</property>
 
14
        <child>
 
15
          <widget class="GtkVBox" id="vbox">
 
16
            <property name="visible">True</property>
 
17
            <property name="border_width">5</property>
 
18
            <property name="spacing">18</property>
 
19
            <child>
 
20
              <widget class="GtkVBox" id="vbox2">
 
21
                <property name="visible">True</property>
 
22
                <property name="spacing">6</property>
 
23
                <child>
 
24
                  <widget class="GtkLabel" id="label1">
 
25
                    <property name="visible">True</property>
 
26
                    <property name="xalign">0</property>
 
27
                    <property name="label" translatable="yes">&lt;span weight="bold"&gt;Hosts&lt;/span&gt;</property>
 
28
                    <property name="use_markup">True</property>
 
29
                  </widget>
 
30
                  <packing>
 
31
                    <property name="expand">False</property>
 
32
                    <property name="fill">False</property>
 
33
                  </packing>
 
34
                </child>
 
35
                <child>
 
36
                  <widget class="GtkAlignment" id="alignment4">
 
37
                    <property name="visible">True</property>
 
38
                    <property name="left_padding">12</property>
 
39
                    <child>
 
40
                      <widget class="GtkHBox" id="hbox12">
 
41
                        <property name="visible">True</property>
 
42
                        <property name="spacing">6</property>
 
43
                        <child>
 
44
                          <widget class="GtkVBox" id="vbox3">
 
45
                            <property name="visible">True</property>
 
46
                            <property name="spacing">6</property>
 
47
                            <child>
 
48
                              <widget class="GtkScrolledWindow" id="scrolled">
 
49
                                <property name="visible">True</property>
 
50
                                <property name="can_focus">True</property>
 
51
                                <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
52
                                <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
53
                                <property name="shadow_type">GTK_SHADOW_IN</property>
 
54
                                <child>
 
55
                                  <placeholder/>
 
56
                                </child>
 
57
                              </widget>
 
58
                            </child>
 
59
                            <child>
 
60
                              <widget class="GtkLabel" id="selected_label">
 
61
                                <property name="visible">True</property>
 
62
                              </widget>
 
63
                              <packing>
 
64
                                <property name="expand">False</property>
 
65
                                <property name="fill">False</property>
 
66
                                <property name="position">1</property>
 
67
                              </packing>
 
68
                            </child>
 
69
                          </widget>
 
70
                        </child>
 
71
                        <child>
 
72
                          <widget class="GtkVBox" id="vbox6">
 
73
                            <property name="visible">True</property>
 
74
                            <property name="spacing">6</property>
 
75
                            <child>
 
76
                              <widget class="GtkButton" id="add">
 
77
                                <property name="visible">True</property>
 
78
                                <property name="can_focus">True</property>
 
79
                                <property name="label">gtk-add</property>
 
80
                                <property name="use_stock">True</property>
 
81
                                <property name="response_id">0</property>
 
82
                                <signal name="clicked" handler="add_clicked_h"/>
 
83
                              </widget>
 
84
                              <packing>
 
85
                                <property name="expand">False</property>
 
86
                                <property name="fill">False</property>
 
87
                              </packing>
 
88
                            </child>
 
89
                            <child>
 
90
                              <widget class="GtkButton" id="remove">
 
91
                                <property name="visible">True</property>
 
92
                                <property name="can_focus">True</property>
 
93
                                <property name="label">gtk-remove</property>
 
94
                                <property name="use_stock">True</property>
 
95
                                <property name="response_id">0</property>
 
96
                                <signal name="clicked" handler="remove_clicked_h"/>
 
97
                              </widget>
 
98
                              <packing>
 
99
                                <property name="expand">False</property>
 
100
                                <property name="fill">False</property>
 
101
                                <property name="position">1</property>
 
102
                              </packing>
 
103
                            </child>
 
104
                            <child>
 
105
                              <widget class="GtkButton" id="up">
 
106
                                <property name="visible">True</property>
 
107
                                <property name="can_focus">True</property>
 
108
                                <property name="response_id">0</property>
 
109
                                <signal name="clicked" handler="up_clicked_h"/>
 
110
                                <child>
 
111
                                  <widget class="GtkAlignment" id="alignment1">
 
112
                                    <property name="visible">True</property>
 
113
                                    <property name="xscale">0</property>
 
114
                                    <property name="yscale">0</property>
 
115
                                    <child>
 
116
                                      <widget class="GtkHBox" id="hbox10">
 
117
                                        <property name="visible">True</property>
 
118
                                        <property name="spacing">2</property>
 
119
                                        <child>
 
120
                                          <widget class="GtkImage" id="image1">
 
121
                                            <property name="visible">True</property>
 
122
                                            <property name="stock">gtk-go-up</property>
 
123
                                          </widget>
 
124
                                          <packing>
 
125
                                            <property name="expand">False</property>
 
126
                                            <property name="fill">False</property>
 
127
                                          </packing>
 
128
                                        </child>
 
129
                                        <child>
 
130
                                          <widget class="GtkLabel" id="label12">
 
131
                                            <property name="visible">True</property>
 
132
                                            <property name="label" translatable="yes">Move _Up</property>
 
133
                                            <property name="use_underline">True</property>
 
134
                                          </widget>
 
135
                                          <packing>
 
136
                                            <property name="expand">False</property>
 
137
                                            <property name="fill">False</property>
 
138
                                            <property name="position">1</property>
 
139
                                          </packing>
 
140
                                        </child>
 
141
                                      </widget>
 
142
                                    </child>
 
143
                                  </widget>
 
144
                                </child>
 
145
                              </widget>
 
146
                              <packing>
 
147
                                <property name="expand">False</property>
 
148
                                <property name="fill">False</property>
 
149
                                <property name="position">2</property>
 
150
                              </packing>
 
151
                            </child>
 
152
                            <child>
 
153
                              <widget class="GtkButton" id="down">
 
154
                                <property name="visible">True</property>
 
155
                                <property name="can_focus">True</property>
 
156
                                <property name="response_id">0</property>
 
157
                                <signal name="clicked" handler="down_clicked_h"/>
 
158
                                <child>
 
159
                                  <widget class="GtkAlignment" id="alignment2">
 
160
                                    <property name="visible">True</property>
 
161
                                    <property name="xscale">0</property>
 
162
                                    <property name="yscale">0</property>
 
163
                                    <child>
 
164
                                      <widget class="GtkHBox" id="hbox11">
 
165
                                        <property name="visible">True</property>
 
166
                                        <property name="spacing">2</property>
 
167
                                        <child>
 
168
                                          <widget class="GtkImage" id="image2">
 
169
                                            <property name="visible">True</property>
 
170
                                            <property name="stock">gtk-go-down</property>
 
171
                                          </widget>
 
172
                                          <packing>
 
173
                                            <property name="expand">False</property>
 
174
                                            <property name="fill">False</property>
 
175
                                          </packing>
 
176
                                        </child>
 
177
                                        <child>
 
178
                                          <widget class="GtkLabel" id="label13">
 
179
                                            <property name="visible">True</property>
 
180
                                            <property name="label" translatable="yes">Move _Down</property>
 
181
                                            <property name="use_underline">True</property>
 
182
                                          </widget>
 
183
                                          <packing>
 
184
                                            <property name="expand">False</property>
 
185
                                            <property name="fill">False</property>
 
186
                                            <property name="position">1</property>
 
187
                                          </packing>
 
188
                                        </child>
 
189
                                      </widget>
 
190
                                    </child>
 
191
                                  </widget>
 
192
                                </child>
 
193
                              </widget>
 
194
                              <packing>
 
195
                                <property name="expand">False</property>
 
196
                                <property name="fill">False</property>
 
197
                                <property name="position">3</property>
 
198
                              </packing>
 
199
                            </child>
 
200
                          </widget>
 
201
                          <packing>
 
202
                            <property name="expand">False</property>
 
203
                            <property name="fill">False</property>
 
204
                            <property name="position">1</property>
 
205
                          </packing>
 
206
                        </child>
 
207
                      </widget>
 
208
                    </child>
 
209
                  </widget>
 
210
                  <packing>
 
211
                    <property name="position">1</property>
 
212
                  </packing>
 
213
                </child>
 
214
              </widget>
 
215
            </child>
 
216
            <child>
 
217
              <widget class="GtkVBox" id="vbox4">
 
218
                <property name="visible">True</property>
 
219
                <property name="spacing">6</property>
 
220
                <child>
 
221
                  <widget class="GtkLabel" id="label4">
 
222
                    <property name="visible">True</property>
 
223
                    <property name="xalign">0</property>
 
224
                    <property name="label" translatable="yes">&lt;span weight="bold"&gt;General&lt;/span&gt;</property>
 
225
                    <property name="use_markup">True</property>
 
226
                  </widget>
 
227
                  <packing>
 
228
                    <property name="expand">False</property>
 
229
                    <property name="fill">False</property>
 
230
                  </packing>
 
231
                </child>
 
232
                <child>
 
233
                  <widget class="GtkAlignment" id="alignment5">
 
234
                    <property name="visible">True</property>
 
235
                    <property name="left_padding">12</property>
 
236
                    <child>
 
237
                      <widget class="GtkVBox" id="vbox5">
 
238
                        <property name="visible">True</property>
 
239
                        <property name="spacing">6</property>
 
240
                        <child>
 
241
                          <widget class="GtkHBox" id="hbox4">
 
242
                            <property name="visible">True</property>
 
243
                            <property name="spacing">12</property>
 
244
                            <child>
 
245
                              <widget class="GtkLabel" id="delay_label">
 
246
                                <property name="visible">True</property>
 
247
                                <property name="xalign">0</property>
 
248
                                <property name="label" translatable="yes">_Delay between echo requests:</property>
 
249
                                <property name="use_underline">True</property>
 
250
                                <property name="mnemonic_widget">delay_scale</property>
 
251
                              </widget>
 
252
                              <packing>
 
253
                                <property name="expand">False</property>
 
254
                                <property name="fill">False</property>
 
255
                              </packing>
 
256
                            </child>
 
257
                            <child>
 
258
                              <widget class="GtkHScale" id="delay_scale">
 
259
                                <property name="width_request">200</property>
 
260
                                <property name="visible">True</property>
 
261
                                <property name="can_focus">True</property>
 
262
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
263
                                <property name="adjustment">0 0 100 1 10 0</property>
 
264
                                <property name="digits">0</property>
 
265
                                <signal name="value_changed" handler="delay_scale_value_changed_h"/>
 
266
                                <signal name="format_value" handler="scale_format_value_h"/>
 
267
                              </widget>
 
268
                              <packing>
 
269
                                <property name="position">1</property>
 
270
                              </packing>
 
271
                            </child>
 
272
                          </widget>
 
273
                        </child>
 
274
                        <child>
 
275
                          <widget class="GtkHBox" id="hbox6">
 
276
                            <property name="visible">True</property>
 
277
                            <property name="spacing">12</property>
 
278
                            <child>
 
279
                              <widget class="GtkLabel" id="scale_label">
 
280
                                <property name="visible">True</property>
 
281
                                <property name="xalign">0</property>
 
282
                                <property name="label" translatable="yes">_Graphs scale:</property>
 
283
                                <property name="use_underline">True</property>
 
284
                                <property name="mnemonic_widget">scale_scale</property>
 
285
                              </widget>
 
286
                              <packing>
 
287
                                <property name="expand">False</property>
 
288
                                <property name="fill">False</property>
 
289
                              </packing>
 
290
                            </child>
 
291
                            <child>
 
292
                              <widget class="GtkHScale" id="scale_scale">
 
293
                                <property name="width_request">200</property>
 
294
                                <property name="visible">True</property>
 
295
                                <property name="can_focus">True</property>
 
296
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
297
                                <property name="adjustment">0 0 100 1 10 0</property>
 
298
                                <property name="digits">0</property>
 
299
                                <signal name="value_changed" handler="scale_scale_value_changed_h"/>
 
300
                                <signal name="format_value" handler="scale_format_value_h"/>
 
301
                              </widget>
 
302
                              <packing>
 
303
                                <property name="position">1</property>
 
304
                              </packing>
 
305
                            </child>
 
306
                          </widget>
 
307
                          <packing>
 
308
                            <property name="position">1</property>
 
309
                          </packing>
 
310
                        </child>
 
311
                        <child>
 
312
                          <widget class="GtkHBox" id="hbox3">
 
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="spacing">12</property>
 
316
                            <child>
 
317
                              <widget class="GtkLabel" id="tooltip_graph_span_label">
 
318
                                <property name="visible">True</property>
 
319
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
320
                                <property name="xalign">0</property>
 
321
                                <property name="label" translatable="yes">_Tooltip graph span:</property>
 
322
                                <property name="use_underline">True</property>
 
323
                                <property name="mnemonic_widget">tooltip_graph_span_scale</property>
 
324
                              </widget>
 
325
                              <packing>
 
326
                                <property name="expand">False</property>
 
327
                                <property name="fill">False</property>
 
328
                              </packing>
 
329
                            </child>
 
330
                            <child>
 
331
                              <widget class="GtkHScale" id="tooltip_graph_span_scale">
 
332
                                <property name="width_request">200</property>
 
333
                                <property name="visible">True</property>
 
334
                                <property name="can_focus">True</property>
 
335
                                <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
336
                                <property name="adjustment">0 0 100 1 10 0</property>
 
337
                                <property name="digits">0</property>
 
338
                                <signal name="value_changed" handler="tooltip_graph_span_scale_value_changed_h"/>
 
339
                                <signal name="format_value" handler="scale_format_value_h"/>
 
340
                              </widget>
 
341
                              <packing>
 
342
                                <property name="position">1</property>
 
343
                              </packing>
 
344
                            </child>
 
345
                          </widget>
 
346
                          <packing>
 
347
                            <property name="position">2</property>
 
348
                          </packing>
 
349
                        </child>
 
350
                      </widget>
 
351
                    </child>
 
352
                  </widget>
 
353
                  <packing>
 
354
                    <property name="position">1</property>
 
355
                  </packing>
 
356
                </child>
 
357
              </widget>
 
358
              <packing>
 
359
                <property name="expand">False</property>
 
360
                <property name="fill">False</property>
 
361
                <property name="position">1</property>
 
362
              </packing>
 
363
            </child>
 
364
          </widget>
 
365
          <packing>
 
366
            <property name="position">1</property>
 
367
          </packing>
 
368
        </child>
 
369
        <child internal-child="action_area">
 
370
          <widget class="GtkHButtonBox" id="dialog-action_area1">
 
371
            <property name="visible">True</property>
 
372
            <property name="layout_style">GTK_BUTTONBOX_END</property>
 
373
            <child>
 
374
              <widget class="GtkButton" id="helpbutton1">
 
375
                <property name="visible">True</property>
 
376
                <property name="can_focus">True</property>
 
377
                <property name="can_default">True</property>
 
378
                <property name="label">gtk-help</property>
 
379
                <property name="use_stock">True</property>
 
380
                <property name="response_id">-11</property>
 
381
              </widget>
 
382
            </child>
 
383
            <child>
 
384
              <widget class="GtkButton" id="closebutton1">
 
385
                <property name="visible">True</property>
 
386
                <property name="can_focus">True</property>
 
387
                <property name="can_default">True</property>
 
388
                <property name="label">gtk-close</property>
 
389
                <property name="use_stock">True</property>
 
390
                <property name="response_id">-7</property>
 
391
              </widget>
 
392
              <packing>
 
393
                <property name="position">1</property>
 
394
              </packing>
 
395
            </child>
 
396
          </widget>
 
397
          <packing>
 
398
            <property name="expand">False</property>
 
399
            <property name="pack_type">GTK_PACK_END</property>
 
400
          </packing>
 
401
        </child>
 
402
      </widget>
 
403
    </child>
 
404
  </widget>
770
405
</glade-interface>