Mercurial > hg > camir-aes2014

comparison toolboxes/graph_visualisation/share/graphviz/smyrna/original_smyrna.glade @ 0:e9a9cd732c1e tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
first hg version after svn
author wolffd
date Tue, 10 Feb 2015 15:05:51 +0000
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:e9a9cd732c1e
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4 <glade-interface>
5
6 <widget class="GtkWindow" id="frmMain">
7 <property name="width_request">900</property>
8 <property name="height_request">700</property>
9 <property name="title" translatable="yes">Smyrna Graph visualizer ver: 0.99 ATT</property>
10 <property name="type">GTK_WINDOW_TOPLEVEL</property>
11 <property name="window_position">GTK_WIN_POS_CENTER</property>
12 <property name="modal">False</property>
13 <property name="default_width">900</property>
14 <property name="default_height">700</property>
15 <property name="resizable">True</property>
16 <property name="destroy_with_parent">False</property>
17 <property name="decorated">True</property>
18 <property name="skip_taskbar_hint">False</property>
19 <property name="skip_pager_hint">False</property>
20 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
21 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
22 <property name="focus_on_map">True</property>
23 <property name="urgency_hint">False</property>
24
25 <child>
26 <widget class="GtkVBox" id="vbox2">
27 <property name="visible">True</property>
28 <property name="homogeneous">False</property>
29 <property name="spacing">0</property>
30
31 <child>
32 <widget class="GtkHBox" id="hbox13">
33 <property name="visible">True</property>
34 <property name="homogeneous">False</property>
35 <property name="spacing">0</property>
36
37 <child>
38 <widget class="GtkMenuBar" id="menubar1">
39 <property name="width_request">540</property>
40 <property name="visible">True</property>
41 <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
42 <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
43
44 <child>
45 <widget class="GtkMenuItem" id="menuitem1">
46 <property name="visible">True</property>
47 <property name="label" translatable="yes">_File</property>
48 <property name="use_underline">True</property>
49
50 <child>
51 <widget class="GtkMenu" id="menuitem1_menu">
52
53 <child>
54 <widget class="GtkImageMenuItem" id="mOpen">
55 <property name="visible">True</property>
56 <property name="label">gtk-open</property>
57 <property name="use_stock">True</property>
58 <signal name="activate" handler="mOpenSlot"/>
59 </widget>
60 </child>
61
62 <child>
63 <widget class="GtkImageMenuItem" id="mSave">
64 <property name="visible">True</property>
65 <property name="label">gtk-save</property>
66 <property name="use_stock">True</property>
67 <signal name="activate" handler="mSaveSlot"/>
68 </widget>
69 </child>
70
71 <child>
72 <widget class="GtkImageMenuItem" id="mSaveAs">
73 <property name="visible">True</property>
74 <property name="label">gtk-save-as</property>
75 <property name="use_stock">True</property>
76 <signal name="activate" handler="mSaveAsSlot"/>
77 </widget>
78 </child>
79
80 <child>
81 <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
82 <property name="visible">True</property>
83 </widget>
84 </child>
85
86 <child>
87 <widget class="GtkImageMenuItem" id="mQuit">
88 <property name="visible">True</property>
89 <property name="label">gtk-quit</property>
90 <property name="use_stock">True</property>
91 <signal name="activate" handler="mQuitSlot"/>
92 </widget>
93 </child>
94 </widget>
95 </child>
96 </widget>
97 </child>
98
99 <child>
100 <widget class="GtkMenuItem" id="menuitem2">
101 <property name="visible">True</property>
102 <property name="label" translatable="yes">_Edit</property>
103 <property name="use_underline">True</property>
104
105 <child>
106 <widget class="GtkMenu" id="menuitem2_menu">
107
108 <child>
109 <widget class="GtkMenuItem" id="mTopviewSettings">
110 <property name="visible">True</property>
111 <property name="label" translatable="yes">Smyrna Settings</property>
112 <property name="use_underline">True</property>
113 <signal name="activate" handler="mTopviewSettingsSlot"/>
114 </widget>
115 </child>
116
117 <child>
118 <widget class="GtkMenuItem" id="mAttributes">
119 <property name="visible">True</property>
120 <property name="label" translatable="yes">Attributes</property>
121 <property name="use_underline">True</property>
122 <signal name="activate" handler="mAttributesSlot" last_modification_time="Fri, 06 Nov 2009 17:03:12 GMT"/>
123 </widget>
124 </child>
125
126 <child>
127 <widget class="GtkMenuItem" id="node_list1">
128 <property name="visible">True</property>
129 <property name="label" translatable="yes">Node List</property>
130 <property name="use_underline">True</property>
131 <signal name="activate" handler="mNodeListSlot" last_modification_time="Fri, 06 Nov 2009 17:02:05 GMT"/>
132 </widget>
133 </child>
134 </widget>
135 </child>
136 </widget>
137 </child>
138
139 <child>
140 <widget class="GtkMenuItem" id="menuitem3">
141 <property name="visible">True</property>
142 <property name="label" translatable="yes">_View</property>
143 <property name="use_underline">True</property>
144
145 <child>
146 <widget class="GtkMenu" id="menuitem3_menu">
147
148 <child>
149 <widget class="GtkMenuItem" id="show_console1">
150 <property name="visible">True</property>
151 <property name="label" translatable="yes">Show Console</property>
152 <property name="use_underline">True</property>
153 <signal name="activate" handler="mShowConsoleSlot" last_modification_time="Wed, 22 Jul 2009 16:17:32 GMT"/>
154 </widget>
155 </child>
156
157 <child>
158 <widget class="GtkMenuItem" id="hide_console1">
159 <property name="visible">True</property>
160 <property name="label" translatable="yes">Hide Console</property>
161 <property name="use_underline">True</property>
162 <signal name="activate" handler="mHideConsoleSlot" last_modification_time="Wed, 22 Jul 2009 16:17:32 GMT"/>
163 </widget>
164 </child>
165 </widget>
166 </child>
167 </widget>
168 </child>
169
170 <child>
171 <widget class="GtkMenuItem" id="menuitem6">
172 <property name="visible">True</property>
173 <property name="label" translatable="yes">Select</property>
174 <property name="use_underline">True</property>
175
176 <child>
177 <widget class="GtkMenu" id="menuitem6_menu">
178
179 <child>
180 <widget class="GtkImageMenuItem" id="mSelectAll">
181 <property name="visible">True</property>
182 <property name="label">gtk-select-all</property>
183 <property name="use_stock">True</property>
184 <signal name="activate" handler="mSelectAllSlot"/>
185 </widget>
186 </child>
187
188 <child>
189 <widget class="GtkMenuItem" id="mUnselectAll">
190 <property name="visible">True</property>
191 <property name="label" translatable="yes">Unselect All</property>
192 <property name="use_underline">True</property>
193 <signal name="activate" handler="mUnselectAllSlot"/>
194 </widget>
195 </child>
196
197 <child>
198 <widget class="GtkMenuItem" id="menuitem7">
199 <property name="visible">True</property>
200 <property name="label" translatable="yes">Select All Nodes</property>
201 <property name="use_underline">True</property>
202 <signal name="activate" handler="mSelectAllNodesSlot"/>
203 </widget>
204 </child>
205
206 <child>
207 <widget class="GtkMenuItem" id="menuitem8">
208 <property name="visible">True</property>
209 <property name="label" translatable="yes">Select All Edges</property>
210 <property name="use_underline">True</property>
211 <signal name="activate" handler="mSelectAllEdgesSlot"/>
212 </widget>
213 </child>
214
215 <child>
216 <widget class="GtkMenuItem" id="menuitem9">
217 <property name="visible">True</property>
218 <property name="label" translatable="yes">Select All Clusters</property>
219 <property name="use_underline">True</property>
220 <signal name="activate" handler="mSelectAllClustersSlot"/>
221 </widget>
222 </child>
223
224 <child>
225 <widget class="GtkMenuItem" id="menuitem10">
226 <property name="visible">True</property>
227 <property name="label" translatable="yes">Unselect All Nodes</property>
228 <property name="use_underline">True</property>
229 <signal name="activate" handler="mUnselectAllNodesSlot"/>
230 </widget>
231 </child>
232
233 <child>
234 <widget class="GtkMenuItem" id="menuitem11">
235 <property name="visible">True</property>
236 <property name="label" translatable="yes">Unselect All Edges</property>
237 <property name="use_underline">True</property>
238 <signal name="activate" handler="mUnselectAllEdgesSlot"/>
239 </widget>
240 </child>
241
242 <child>
243 <widget class="GtkMenuItem" id="menuitem12">
244 <property name="visible">True</property>
245 <property name="label" translatable="yes">Unselect All Clusters</property>
246 <property name="use_underline">True</property>
247 <signal name="activate" handler="mUnselectAllClustersSlot"/>
248 </widget>
249 </child>
250 </widget>
251 </child>
252 </widget>
253 </child>
254
255 <child>
256 <widget class="GtkMenuItem" id="menuitem4">
257 <property name="visible">True</property>
258 <property name="label" translatable="yes">_Help</property>
259 <property name="use_underline">True</property>
260
261 <child>
262 <widget class="GtkMenu" id="menuitem4_menu">
263
264 <child>
265 <widget class="GtkImageMenuItem" id="mAbout">
266 <property name="visible">True</property>
267 <property name="label">gtk-about</property>
268 <property name="use_stock">True</property>
269 <signal name="activate" handler="mAbout"/>
270 </widget>
271 </child>
272 </widget>
273 </child>
274 </widget>
275 </child>
276 </widget>
277 <packing>
278 <property name="padding">0</property>
279 <property name="expand">False</property>
280 <property name="fill">True</property>
281 </packing>
282 </child>
283
284 <child>
285 <widget class="GtkLabel" id="label128">
286 <property name="visible">True</property>
287 <property name="label" translatable="yes">Active Graph:</property>
288 <property name="use_underline">False</property>
289 <property name="use_markup">False</property>
290 <property name="justify">GTK_JUSTIFY_RIGHT</property>
291 <property name="wrap">False</property>
292 <property name="selectable">False</property>
293 <property name="xalign">1</property>
294 <property name="yalign">0.5</property>
295 <property name="xpad">5</property>
296 <property name="ypad">2</property>
297 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
298 <property name="width_chars">-1</property>
299 <property name="single_line_mode">False</property>
300 <property name="angle">0</property>
301 </widget>
302 <packing>
303 <property name="padding">0</property>
304 <property name="expand">True</property>
305 <property name="fill">True</property>
306 </packing>
307 </child>
308
309 <child>
310 <widget class="GtkButton" id="button10">
311 <property name="visible">True</property>
312 <property name="can_focus">True</property>
313 <property name="label" translatable="yes">Remove</property>
314 <property name="use_underline">True</property>
315 <property name="relief">GTK_RELIEF_NORMAL</property>
316 <property name="focus_on_click">True</property>
317 </widget>
318 <packing>
319 <property name="padding">0</property>
320 <property name="expand">False</property>
321 <property name="fill">False</property>
322 <property name="pack_type">GTK_PACK_END</property>
323 </packing>
324 </child>
325
326 <child>
327 <placeholder/>
328 </child>
329
330 <child>
331 <widget class="GtkButton" id="btnActivateGraph">
332 <property name="visible">True</property>
333 <property name="can_focus">True</property>
334 <property name="label" translatable="yes">Activate</property>
335 <property name="use_underline">True</property>
336 <property name="relief">GTK_RELIEF_NORMAL</property>
337 <property name="focus_on_click">True</property>
338 <signal name="clicked" handler="on_btnActivateGraph_clicked" last_modification_time="Tue, 23 Jun 2009 16:15:08 GMT"/>
339 </widget>
340 <packing>
341 <property name="padding">0</property>
342 <property name="expand">False</property>
343 <property name="fill">False</property>
344 <property name="pack_type">GTK_PACK_END</property>
345 </packing>
346 </child>
347 </widget>
348 <packing>
349 <property name="padding">0</property>
350 <property name="expand">False</property>
351 <property name="fill">False</property>
352 </packing>
353 </child>
354
355 <child>
356 <widget class="GtkHBox" id="hbox11">
357 <property name="height_request">0</property>
358 <property name="visible">True</property>
359 <property name="homogeneous">False</property>
360 <property name="spacing">0</property>
361
362 <child>
363 <placeholder/>
364 </child>
365
366 <child>
367 <widget class="GtkVBox" id="vbox13">
368 <property name="visible">True</property>
369 <property name="homogeneous">False</property>
370 <property name="spacing">0</property>
371
372 <child>
373 <widget class="GtkScrolledWindow" id="scrolledwindow7">
374 <property name="width_request">215</property>
375 <property name="height_request">488</property>
376 <property name="visible">True</property>
377 <property name="can_focus">True</property>
378 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
379 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
380 <property name="shadow_type">GTK_SHADOW_IN</property>
381 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
382
383 <child>
384 <widget class="GtkTextView" id="mainconsole">
385 <property name="visible">True</property>
386 <property name="can_focus">True</property>
387 <property name="editable">True</property>
388 <property name="overwrite">False</property>
389 <property name="accepts_tab">True</property>
390 <property name="justification">GTK_JUSTIFY_LEFT</property>
391 <property name="wrap_mode">GTK_WRAP_NONE</property>
392 <property name="cursor_visible">True</property>
393 <property name="pixels_above_lines">0</property>
394 <property name="pixels_below_lines">0</property>
395 <property name="pixels_inside_wrap">0</property>
396 <property name="left_margin">0</property>
397 <property name="right_margin">0</property>
398 <property name="indent">0</property>
399 <property name="text" translatable="yes"></property>
400 </widget>
401 </child>
402 </widget>
403 <packing>
404 <property name="padding">0</property>
405 <property name="expand">True</property>
406 <property name="fill">True</property>
407 </packing>
408 </child>
409
410 <child>
411 <widget class="GtkTable" id="table17">
412 <property name="visible">True</property>
413 <property name="n_rows">1</property>
414 <property name="n_columns">4</property>
415 <property name="homogeneous">False</property>
416 <property name="row_spacing">0</property>
417 <property name="column_spacing">0</property>
418
419 <child>
420 <widget class="GtkButton" id="consoledecbtn">
421 <property name="width_request">27</property>
422 <property name="visible">True</property>
423 <property name="can_focus">True</property>
424 <property name="label" translatable="yes">-</property>
425 <property name="use_underline">True</property>
426 <property name="relief">GTK_RELIEF_NORMAL</property>
427 <property name="focus_on_click">True</property>
428 <signal name="clicked" handler="on_consoledecbtn_clicked" last_modification_time="Wed, 22 Jul 2009 15:24:50 GMT"/>
429 </widget>
430 <packing>
431 <property name="left_attach">2</property>
432 <property name="right_attach">3</property>
433 <property name="top_attach">0</property>
434 <property name="bottom_attach">1</property>
435 <property name="x_options">fill</property>
436 <property name="y_options"></property>
437 </packing>
438 </child>
439
440 <child>
441 <widget class="GtkButton" id="consoleincbtn">
442 <property name="width_request">27</property>
443 <property name="visible">True</property>
444 <property name="can_focus">True</property>
445 <property name="label" translatable="yes">+</property>
446 <property name="use_underline">True</property>
447 <property name="relief">GTK_RELIEF_NORMAL</property>
448 <property name="focus_on_click">True</property>
449 <signal name="clicked" handler="on_consoleincbtn_clicked" last_modification_time="Thu, 23 Jul 2009 18:54:38 GMT"/>
450 </widget>
451 <packing>
452 <property name="left_attach">3</property>
453 <property name="right_attach">4</property>
454 <property name="top_attach">0</property>
455 <property name="bottom_attach">1</property>
456 <property name="x_options">fill</property>
457 <property name="y_options"></property>
458 </packing>
459 </child>
460
461 <child>
462 <widget class="GtkButton" id="clearconsolebtn">
463 <property name="visible">True</property>
464 <property name="can_focus">True</property>
465 <property name="label" translatable="yes">Clear</property>
466 <property name="use_underline">True</property>
467 <property name="relief">GTK_RELIEF_NORMAL</property>
468 <property name="focus_on_click">True</property>
469 <signal name="clicked" handler="on_clearconsolebtn_clicked" last_modification_time="Wed, 22 Jul 2009 15:22:56 GMT"/>
470 </widget>
471 <packing>
472 <property name="left_attach">0</property>
473 <property name="right_attach">1</property>
474 <property name="top_attach">0</property>
475 <property name="bottom_attach">1</property>
476 <property name="y_options"></property>
477 </packing>
478 </child>
479
480 <child>
481 <widget class="GtkButton" id="hideconsolebtn">
482 <property name="visible">True</property>
483 <property name="can_focus">True</property>
484 <property name="label" translatable="yes">Hide</property>
485 <property name="use_underline">True</property>
486 <property name="relief">GTK_RELIEF_NORMAL</property>
487 <property name="focus_on_click">True</property>
488 <signal name="clicked" handler="on_hideconsolebtn_clicked" last_modification_time="Wed, 22 Jul 2009 15:23:55 GMT"/>
489 </widget>
490 <packing>
491 <property name="left_attach">1</property>
492 <property name="right_attach">2</property>
493 <property name="top_attach">0</property>
494 <property name="bottom_attach">1</property>
495 <property name="y_options"></property>
496 </packing>
497 </child>
498 </widget>
499 <packing>
500 <property name="padding">0</property>
501 <property name="expand">False</property>
502 <property name="fill">True</property>
503 </packing>
504 </child>
505 </widget>
506 <packing>
507 <property name="padding">0</property>
508 <property name="expand">False</property>
509 <property name="fill">True</property>
510 </packing>
511 </child>
512 </widget>
513 <packing>
514 <property name="padding">0</property>
515 <property name="expand">True</property>
516 <property name="fill">True</property>
517 </packing>
518 </child>
519 </widget>
520 </child>
521 </widget>
522
523 <widget class="GtkWindow" id="frmTVNodes">
524 <property name="width_request">950</property>
525 <property name="height_request">680</property>
526 <property name="title" translatable="yes"></property>
527 <property name="type">GTK_WINDOW_TOPLEVEL</property>
528 <property name="window_position">GTK_WIN_POS_MOUSE</property>
529 <property name="modal">False</property>
530 <property name="default_width">950</property>
531 <property name="default_height">680</property>
532 <property name="resizable">False</property>
533 <property name="destroy_with_parent">False</property>
534 <property name="decorated">True</property>
535 <property name="skip_taskbar_hint">False</property>
536 <property name="skip_pager_hint">False</property>
537 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
538 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
539 <property name="focus_on_map">True</property>
540 <property name="urgency_hint">False</property>
541
542 <child>
543 <widget class="GtkVBox" id="vbox3">
544 <property name="visible">True</property>
545 <property name="homogeneous">False</property>
546 <property name="spacing">0</property>
547
548 <child>
549 <widget class="GtkLayout" id="layout10">
550 <property name="width_request">0</property>
551 <property name="height_request">66</property>
552 <property name="visible">True</property>
553 <property name="width">400</property>
554 <property name="height">400</property>
555 <property name="hadjustment">0 0 950 0 855 950</property>
556 <property name="vadjustment">0 0 400 0 59.4 66</property>
557
558 <child>
559 <widget class="GtkLabel" id="label8">
560 <property name="width_request">60</property>
561 <property name="height_request">20</property>
562 <property name="visible">True</property>
563 <property name="label" translatable="yes">ID</property>
564 <property name="use_underline">False</property>
565 <property name="use_markup">False</property>
566 <property name="justify">GTK_JUSTIFY_LEFT</property>
567 <property name="wrap">False</property>
568 <property name="selectable">False</property>
569 <property name="xalign">0</property>
570 <property name="yalign">0.5</property>
571 <property name="xpad">0</property>
572 <property name="ypad">0</property>
573 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
574 <property name="width_chars">-1</property>
575 <property name="single_line_mode">False</property>
576 <property name="angle">0</property>
577 </widget>
578 <packing>
579 <property name="x">30</property>
580 <property name="y">222</property>
581 </packing>
582 </child>
583
584 <child>
585 <widget class="GtkCheckButton" id="cgbTVSelect">
586 <property name="width_request">25</property>
587 <property name="height_request">20</property>
588 <property name="visible">True</property>
589 <property name="relief">GTK_RELIEF_NONE</property>
590 <property name="focus_on_click">True</property>
591 <property name="active">False</property>
592 <property name="inconsistent">False</property>
593 <property name="draw_indicator">True</property>
594 <signal name="toggled" handler="cgbTVSelect_toggled_cb"/>
595
596 <child>
597 <placeholder/>
598 </child>
599 </widget>
600 <packing>
601 <property name="x">16</property>
602 <property name="y">48</property>
603 </packing>
604 </child>
605
606 <child>
607 <widget class="GtkLabel" id="lblTVData1">
608 <property name="width_request">100</property>
609 <property name="height_request">20</property>
610 <property name="visible">True</property>
611 <property name="label" translatable="yes">D</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</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="x">360</property>
628 <property name="y">47</property>
629 </packing>
630 </child>
631
632 <child>
633 <widget class="GtkLabel" id="lblTVData2">
634 <property name="width_request">100</property>
635 <property name="height_request">20</property>
636 <property name="visible">True</property>
637 <property name="label" translatable="yes">Data2</property>
638 <property name="use_underline">False</property>
639 <property name="use_markup">False</property>
640 <property name="justify">GTK_JUSTIFY_LEFT</property>
641 <property name="wrap">False</property>
642 <property name="selectable">False</property>
643 <property name="xalign">0</property>
644 <property name="yalign">0.5</property>
645 <property name="xpad">0</property>
646 <property name="ypad">0</property>
647 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
648 <property name="width_chars">-1</property>
649 <property name="single_line_mode">False</property>
650 <property name="angle">0</property>
651 </widget>
652 <packing>
653 <property name="x">566</property>
654 <property name="y">47</property>
655 </packing>
656 </child>
657
658 <child>
659 <widget class="GtkLabel" id="label11">
660 <property name="width_request">51</property>
661 <property name="height_request">20</property>
662 <property name="visible">True</property>
663 <property name="label" translatable="yes">Visible</property>
664 <property name="use_underline">False</property>
665 <property name="use_markup">False</property>
666 <property name="justify">GTK_JUSTIFY_LEFT</property>
667 <property name="wrap">False</property>
668 <property name="selectable">False</property>
669 <property name="xalign">0</property>
670 <property name="yalign">0.5</property>
671 <property name="xpad">0</property>
672 <property name="ypad">0</property>
673 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
674 <property name="width_chars">-1</property>
675 <property name="single_line_mode">False</property>
676 <property name="angle">0</property>
677 </widget>
678 <packing>
679 <property name="x">130</property>
680 <property name="y">32</property>
681 </packing>
682 </child>
683
684 <child>
685 <widget class="GtkLabel" id="label12">
686 <property name="width_request">73</property>
687 <property name="height_request">20</property>
688 <property name="visible">True</property>
689 <property name="label" translatable="yes">Highlighted</property>
690 <property name="use_underline">False</property>
691 <property name="use_markup">False</property>
692 <property name="justify">GTK_JUSTIFY_LEFT</property>
693 <property name="wrap">False</property>
694 <property name="selectable">False</property>
695 <property name="xalign">0</property>
696 <property name="yalign">0.5</property>
697 <property name="xpad">0</property>
698 <property name="ypad">0</property>
699 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
700 <property name="width_chars">-1</property>
701 <property name="single_line_mode">False</property>
702 <property name="angle">0</property>
703 </widget>
704 <packing>
705 <property name="x">184</property>
706 <property name="y">32</property>
707 </packing>
708 </child>
709
710 <child>
711 <widget class="GtkCheckButton" id="cgbTVVisible">
712 <property name="width_request">20</property>
713 <property name="height_request">20</property>
714 <property name="visible">True</property>
715 <property name="relief">GTK_RELIEF_NORMAL</property>
716 <property name="focus_on_click">True</property>
717 <property name="active">False</property>
718 <property name="inconsistent">False</property>
719 <property name="draw_indicator">True</property>
720 <signal name="toggled" handler="cgbTVVisible_toggled_cb"/>
721
722 <child>
723 <placeholder/>
724 </child>
725 </widget>
726 <packing>
727 <property name="x">139</property>
728 <property name="y">48</property>
729 </packing>
730 </child>
731
732 <child>
733 <widget class="GtkCheckButton" id="cgbTVHighlighted">
734 <property name="width_request">20</property>
735 <property name="height_request">20</property>
736 <property name="visible">True</property>
737 <property name="label" translatable="yes"></property>
738 <property name="use_underline">True</property>
739 <property name="relief">GTK_RELIEF_NORMAL</property>
740 <property name="focus_on_click">True</property>
741 <property name="active">False</property>
742 <property name="inconsistent">False</property>
743 <property name="draw_indicator">True</property>
744 <signal name="toggled" handler="cgbTVHighlighted_toggled_cb"/>
745 </widget>
746 <packing>
747 <property name="x">204</property>
748 <property name="y">48</property>
749 </packing>
750 </child>
751
752 <child>
753 <widget class="GtkLabel" id="label20">
754 <property name="width_request">53</property>
755 <property name="height_request">20</property>
756 <property name="visible">True</property>
757 <property name="label" translatable="yes">Selected</property>
758 <property name="use_underline">False</property>
759 <property name="use_markup">False</property>
760 <property name="justify">GTK_JUSTIFY_LEFT</property>
761 <property name="wrap">False</property>
762 <property name="selectable">False</property>
763 <property name="xalign">0.5</property>
764 <property name="yalign">0.5</property>
765 <property name="xpad">0</property>
766 <property name="ypad">0</property>
767 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
768 <property name="width_chars">-1</property>
769 <property name="single_line_mode">False</property>
770 <property name="angle">0</property>
771 </widget>
772 <packing>
773 <property name="x">0</property>
774 <property name="y">32</property>
775 </packing>
776 </child>
777
778 <child>
779 <widget class="GtkLabel" id="label21">
780 <property name="width_request">28</property>
781 <property name="height_request">20</property>
782 <property name="visible">True</property>
783 <property name="label" translatable="yes">ID</property>
784 <property name="use_underline">False</property>
785 <property name="use_markup">False</property>
786 <property name="justify">GTK_JUSTIFY_LEFT</property>
787 <property name="wrap">False</property>
788 <property name="selectable">False</property>
789 <property name="xalign">0.5</property>
790 <property name="yalign">0.5</property>
791 <property name="xpad">0</property>
792 <property name="ypad">0</property>
793 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
794 <property name="width_chars">-1</property>
795 <property name="single_line_mode">False</property>
796 <property name="angle">0</property>
797 </widget>
798 <packing>
799 <property name="x">34</property>
800 <property name="y">47</property>
801 </packing>
802 </child>
803
804 <child>
805 <widget class="GtkButton" id="btnTVSelectAll">
806 <property name="width_request">75</property>
807 <property name="height_request">25</property>
808 <property name="visible">True</property>
809 <property name="label" translatable="yes">Select All</property>
810 <property name="use_underline">True</property>
811 <property name="relief">GTK_RELIEF_NORMAL</property>
812 <property name="focus_on_click">True</property>
813 <signal name="clicked" handler="btnTVSelectAll_clicked_cb"/>
814 </widget>
815 <packing>
816 <property name="x">3</property>
817 <property name="y">4</property>
818 </packing>
819 </child>
820
821 <child>
822 <widget class="GtkButton" id="btnTVUnselectAll">
823 <property name="width_request">80</property>
824 <property name="height_request">25</property>
825 <property name="visible">True</property>
826 <property name="label" translatable="yes">Unselect All</property>
827 <property name="use_underline">True</property>
828 <property name="relief">GTK_RELIEF_NORMAL</property>
829 <property name="focus_on_click">True</property>
830 <signal name="clicked" handler="btnTVUnselectAll_clicked_cb"/>
831 </widget>
832 <packing>
833 <property name="x">80</property>
834 <property name="y">4</property>
835 </packing>
836 </child>
837
838 <child>
839 <widget class="GtkButton" id="btnTVShowAll">
840 <property name="width_request">98</property>
841 <property name="height_request">25</property>
842 <property name="visible">True</property>
843 <property name="label" translatable="yes">Show All</property>
844 <property name="use_underline">True</property>
845 <property name="relief">GTK_RELIEF_NORMAL</property>
846 <property name="focus_on_click">True</property>
847 <signal name="clicked" handler="btnTVShowAll_clicked_cb"/>
848 </widget>
849 <packing>
850 <property name="x">176</property>
851 <property name="y">4</property>
852 </packing>
853 </child>
854
855 <child>
856 <widget class="GtkButton" id="btnTVHideAll">
857 <property name="width_request">100</property>
858 <property name="height_request">25</property>
859 <property name="visible">True</property>
860 <property name="label" translatable="yes">Hide All</property>
861 <property name="use_underline">True</property>
862 <property name="relief">GTK_RELIEF_NORMAL</property>
863 <property name="focus_on_click">True</property>
864 <signal name="clicked" handler="btnTVHideAll_clicked_cb"/>
865 </widget>
866 <packing>
867 <property name="x">288</property>
868 <property name="y">4</property>
869 </packing>
870 </child>
871
872 <child>
873 <widget class="GtkButton" id="btnTVHideAll1">
874 <property name="width_request">150</property>
875 <property name="height_request">25</property>
876 <property name="visible">True</property>
877 <property name="label" translatable="yes">Save As Subgraph</property>
878 <property name="use_underline">True</property>
879 <property name="relief">GTK_RELIEF_NORMAL</property>
880 <property name="focus_on_click">True</property>
881 <signal name="clicked" handler="btnTVSaveAs_clicked_cb"/>
882 </widget>
883 <packing>
884 <property name="x">400</property>
885 <property name="y">4</property>
886 </packing>
887 </child>
888
889 <child>
890 <widget class="GtkLabel" id="label131">
891 <property name="width_request">40</property>
892 <property name="height_request">16</property>
893 <property name="visible">True</property>
894 <property name="label" translatable="yes">name</property>
895 <property name="use_underline">False</property>
896 <property name="use_markup">False</property>
897 <property name="justify">GTK_JUSTIFY_LEFT</property>
898 <property name="wrap">False</property>
899 <property name="selectable">False</property>
900 <property name="xalign">0.5</property>
901 <property name="yalign">0.5</property>
902 <property name="xpad">0</property>
903 <property name="ypad">0</property>
904 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
905 <property name="width_chars">-1</property>
906 <property name="single_line_mode">False</property>
907 <property name="angle">0</property>
908 </widget>
909 <packing>
910 <property name="x">280</property>
911 <property name="y">48</property>
912 </packing>
913 </child>
914 </widget>
915 <packing>
916 <property name="padding">0</property>
917 <property name="expand">False</property>
918 <property name="fill">True</property>
919 </packing>
920 </child>
921
922 <child>
923 <widget class="GtkLayout" id="layoutTVData">
924 <property name="visible">True</property>
925 <property name="width">400</property>
926 <property name="height">400</property>
927 <property name="hadjustment">0 0 950 0 855 950</property>
928 <property name="vadjustment">0 0 574 0 516.6 574</property>
929
930 <child>
931 <widget class="GtkHSeparator" id="hseparator3">
932 <property name="width_request">947</property>
933 <property name="height_request">20</property>
934 <property name="visible">True</property>
935 </widget>
936 <packing>
937 <property name="x">4</property>
938 <property name="y">-9</property>
939 </packing>
940 </child>
941 </widget>
942 <packing>
943 <property name="padding">0</property>
944 <property name="expand">True</property>
945 <property name="fill">True</property>
946 </packing>
947 </child>
948
949 <child>
950 <widget class="GtkHBox" id="hbox1">
951 <property name="visible">True</property>
952 <property name="homogeneous">False</property>
953 <property name="spacing">0</property>
954
955 <child>
956 <widget class="GtkLayout" id="layout13">
957 <property name="visible">True</property>
958 <property name="width">400</property>
959 <property name="height">400</property>
960 <property name="hadjustment">0 0 400 0 304.2 338</property>
961 <property name="vadjustment">0 0 400 0 36 40</property>
962
963 <child>
964 <widget class="GtkButton" id="btnTVFilter">
965 <property name="width_request">80</property>
966 <property name="height_request">30</property>
967 <property name="visible">True</property>
968 <property name="label" translatable="yes">Filter</property>
969 <property name="use_underline">True</property>
970 <property name="relief">GTK_RELIEF_NORMAL</property>
971 <property name="focus_on_click">True</property>
972 <signal name="clicked" handler="btnTVFilter_clicked_cb"/>
973 </widget>
974 <packing>
975 <property name="x">3</property>
976 <property name="y">8</property>
977 </packing>
978 </child>
979 </widget>
980 <packing>
981 <property name="padding">0</property>
982 <property name="expand">True</property>
983 <property name="fill">True</property>
984 </packing>
985 </child>
986
987 <child>
988 <widget class="GtkLayout" id="layout12">
989 <property name="width_request">178</property>
990 <property name="visible">True</property>
991 <property name="width">400</property>
992 <property name="height">400</property>
993 <property name="hadjustment">0 0 516 0 464.4 516</property>
994 <property name="vadjustment">0 0 400 0 36 40</property>
995
996 <child>
997 <widget class="GtkButton" id="btnTVFirst">
998 <property name="width_request">40</property>
999 <property name="height_request">25</property>
1000 <property name="visible">True</property>
1001 <property name="label" translatable="yes">&lt;&lt;</property>
1002 <property name="use_underline">True</property>
1003 <property name="relief">GTK_RELIEF_NORMAL</property>
1004 <property name="focus_on_click">True</property>
1005 <signal name="clicked" handler="btnTVFirst_clicked_cb"/>
1006 </widget>
1007 <packing>
1008 <property name="x">7</property>
1009 <property name="y">10</property>
1010 </packing>
1011 </child>
1012
1013 <child>
1014 <widget class="GtkButton" id="btnTVPrevious">
1015 <property name="width_request">40</property>
1016 <property name="height_request">25</property>
1017 <property name="visible">True</property>
1018 <property name="label" translatable="yes">&lt;</property>
1019 <property name="use_underline">True</property>
1020 <property name="relief">GTK_RELIEF_NORMAL</property>
1021 <property name="focus_on_click">True</property>
1022 <signal name="clicked" handler="btnTVPrevious_clicked_cb"/>
1023 </widget>
1024 <packing>
1025 <property name="x">51</property>
1026 <property name="y">10</property>
1027 </packing>
1028 </child>
1029
1030 <child>
1031 <widget class="GtkButton" id="btnTVNext">
1032 <property name="width_request">40</property>
1033 <property name="height_request">25</property>
1034 <property name="visible">True</property>
1035 <property name="label" translatable="yes">&gt;</property>
1036 <property name="use_underline">True</property>
1037 <property name="relief">GTK_RELIEF_NORMAL</property>
1038 <property name="focus_on_click">True</property>
1039 <signal name="clicked" handler="btnTVNext_clicked_cb"/>
1040 </widget>
1041 <packing>
1042 <property name="x">95</property>
1043 <property name="y">10</property>
1044 </packing>
1045 </child>
1046
1047 <child>
1048 <widget class="GtkButton" id="btnTVLast">
1049 <property name="width_request">40</property>
1050 <property name="height_request">25</property>
1051 <property name="visible">True</property>
1052 <property name="label" translatable="yes">&gt;&gt;</property>
1053 <property name="use_underline">True</property>
1054 <property name="relief">GTK_RELIEF_NORMAL</property>
1055 <property name="focus_on_click">True</property>
1056 <signal name="clicked" handler="btnTVLast_clicked_cb"/>
1057 </widget>
1058 <packing>
1059 <property name="x">140</property>
1060 <property name="y">10</property>
1061 </packing>
1062 </child>
1063
1064 <child>
1065 <widget class="GtkLabel" id="lblTVPage">
1066 <property name="width_request">136</property>
1067 <property name="height_request">20</property>
1068 <property name="visible">True</property>
1069 <property name="label" translatable="yes">Page (0/0)</property>
1070 <property name="use_underline">False</property>
1071 <property name="use_markup">False</property>
1072 <property name="justify">GTK_JUSTIFY_LEFT</property>
1073 <property name="wrap">False</property>
1074 <property name="selectable">False</property>
1075 <property name="xalign">0.5</property>
1076 <property name="yalign">0.5</property>
1077 <property name="xpad">0</property>
1078 <property name="ypad">0</property>
1079 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1080 <property name="width_chars">-1</property>
1081 <property name="single_line_mode">False</property>
1082 <property name="angle">0</property>
1083 </widget>
1084 <packing>
1085 <property name="x">180</property>
1086 <property name="y">13</property>
1087 </packing>
1088 </child>
1089
1090 <child>
1091 <widget class="GtkButton" id="btnTVGotopage">
1092 <property name="width_request">90</property>
1093 <property name="height_request">25</property>
1094 <property name="visible">True</property>
1095 <property name="label" translatable="yes">Go to page #</property>
1096 <property name="use_underline">True</property>
1097 <property name="relief">GTK_RELIEF_NORMAL</property>
1098 <property name="focus_on_click">True</property>
1099 <signal name="clicked" handler="btnTVGotopage_clicked_cb"/>
1100 </widget>
1101 <packing>
1102 <property name="x">317</property>
1103 <property name="y">10</property>
1104 </packing>
1105 </child>
1106
1107 <child>
1108 <widget class="GtkSpinButton" id="spnTVGotopage">
1109 <property name="width_request">99</property>
1110 <property name="height_request">23</property>
1111 <property name="visible">True</property>
1112 <property name="can_focus">True</property>
1113 <property name="climb_rate">1</property>
1114 <property name="digits">0</property>
1115 <property name="numeric">False</property>
1116 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1117 <property name="snap_to_ticks">False</property>
1118 <property name="wrap">False</property>
1119 <property name="adjustment">0 0 1000000 1 10 10</property>
1120 </widget>
1121 <packing>
1122 <property name="x">410</property>
1123 <property name="y">11</property>
1124 </packing>
1125 </child>
1126 </widget>
1127 <packing>
1128 <property name="padding">0</property>
1129 <property name="expand">True</property>
1130 <property name="fill">True</property>
1131 </packing>
1132 </child>
1133
1134 <child>
1135 <widget class="GtkLayout" id="layout9">
1136 <property name="width_request">96</property>
1137 <property name="height_request">40</property>
1138 <property name="visible">True</property>
1139 <property name="width">400</property>
1140 <property name="height">400</property>
1141 <property name="hadjustment">0 0 400 0 86.4 96</property>
1142 <property name="vadjustment">0 0 400 0 36 40</property>
1143
1144 <child>
1145 <widget class="GtkButton" id="btnTVOK">
1146 <property name="width_request">80</property>
1147 <property name="height_request">30</property>
1148 <property name="visible">True</property>
1149 <property name="label" translatable="yes">OK</property>
1150 <property name="use_underline">True</property>
1151 <property name="relief">GTK_RELIEF_NORMAL</property>
1152 <property name="focus_on_click">True</property>
1153 <signal name="clicked" handler="btnTVOK_clicked_cb"/>
1154 </widget>
1155 <packing>
1156 <property name="x">9</property>
1157 <property name="y">7</property>
1158 </packing>
1159 </child>
1160 </widget>
1161 <packing>
1162 <property name="padding">0</property>
1163 <property name="expand">False</property>
1164 <property name="fill">True</property>
1165 </packing>
1166 </child>
1167 </widget>
1168 <packing>
1169 <property name="padding">0</property>
1170 <property name="expand">False</property>
1171 <property name="fill">True</property>
1172 </packing>
1173 </child>
1174 </widget>
1175 </child>
1176 </widget>
1177
1178 <widget class="GtkDialog" id="dlgTVFilter">
1179 <property name="border_width">5</property>
1180 <property name="width_request">590</property>
1181 <property name="height_request">196</property>
1182 <property name="title" translatable="yes"></property>
1183 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1184 <property name="window_position">GTK_WIN_POS_NONE</property>
1185 <property name="modal">False</property>
1186 <property name="default_width">590</property>
1187 <property name="default_height">350</property>
1188 <property name="resizable">True</property>
1189 <property name="destroy_with_parent">False</property>
1190 <property name="decorated">True</property>
1191 <property name="skip_taskbar_hint">False</property>
1192 <property name="skip_pager_hint">False</property>
1193 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1194 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1195 <property name="focus_on_map">True</property>
1196 <property name="urgency_hint">False</property>
1197 <property name="has_separator">False</property>
1198
1199 <child internal-child="vbox">
1200 <widget class="GtkVBox" id="dialog-vbox2">
1201 <property name="visible">True</property>
1202 <property name="homogeneous">False</property>
1203 <property name="spacing">2</property>
1204
1205 <child internal-child="action_area">
1206 <widget class="GtkHButtonBox" id="dialog-action_area2">
1207 <property name="visible">True</property>
1208 <property name="layout_style">GTK_BUTTONBOX_END</property>
1209
1210 <child>
1211 <widget class="GtkButton" id="btnTVFilterCancel">
1212 <property name="visible">True</property>
1213 <property name="label" translatable="yes">Cancel</property>
1214 <property name="use_underline">True</property>
1215 <property name="relief">GTK_RELIEF_NORMAL</property>
1216 <property name="focus_on_click">True</property>
1217 <property name="response_id">2</property>
1218 </widget>
1219 </child>
1220
1221 <child>
1222 <widget class="GtkButton" id="btnTVFilterApply">
1223 <property name="visible">True</property>
1224 <property name="label" translatable="yes">Apply</property>
1225 <property name="use_underline">True</property>
1226 <property name="relief">GTK_RELIEF_NORMAL</property>
1227 <property name="focus_on_click">True</property>
1228 <property name="response_id">1</property>
1229 </widget>
1230 </child>
1231 </widget>
1232 <packing>
1233 <property name="padding">0</property>
1234 <property name="expand">False</property>
1235 <property name="fill">True</property>
1236 <property name="pack_type">GTK_PACK_END</property>
1237 </packing>
1238 </child>
1239
1240 <child>
1241 <widget class="GtkLayout" id="layout11">
1242 <property name="visible">True</property>
1243 <property name="width">400</property>
1244 <property name="height">400</property>
1245 <property name="hadjustment">0 0 576 0 518.4 576</property>
1246 <property name="vadjustment">0 0 400 0 128.7 143</property>
1247
1248 <child>
1249 <widget class="GtkTable" id="table1">
1250 <property name="width_request">419</property>
1251 <property name="height_request">80</property>
1252 <property name="visible">True</property>
1253 <property name="n_rows">3</property>
1254 <property name="n_columns">2</property>
1255 <property name="homogeneous">False</property>
1256 <property name="row_spacing">0</property>
1257 <property name="column_spacing">0</property>
1258
1259 <child>
1260 <widget class="GtkHBox" id="hbox2">
1261 <property name="visible">True</property>
1262 <property name="homogeneous">False</property>
1263 <property name="spacing">0</property>
1264
1265 <child>
1266 <widget class="GtkRadioButton" id="rbTVFilterSel1">
1267 <property name="width_request">15</property>
1268 <property name="visible">True</property>
1269 <property name="label" translatable="yes">All</property>
1270 <property name="use_underline">True</property>
1271 <property name="relief">GTK_RELIEF_NORMAL</property>
1272 <property name="focus_on_click">True</property>
1273 <property name="active">False</property>
1274 <property name="inconsistent">False</property>
1275 <property name="draw_indicator">True</property>
1276 </widget>
1277 <packing>
1278 <property name="padding">0</property>
1279 <property name="expand">True</property>
1280 <property name="fill">True</property>
1281 </packing>
1282 </child>
1283
1284 <child>
1285 <widget class="GtkRadioButton" id="rbTVFilterSel2">
1286 <property name="width_request">75</property>
1287 <property name="visible">True</property>
1288 <property name="label" translatable="yes">Selected</property>
1289 <property name="use_underline">True</property>
1290 <property name="relief">GTK_RELIEF_NORMAL</property>
1291 <property name="focus_on_click">True</property>
1292 <property name="active">False</property>
1293 <property name="inconsistent">False</property>
1294 <property name="draw_indicator">True</property>
1295 <property name="group">rbTVFilterSel1</property>
1296 </widget>
1297 <packing>
1298 <property name="padding">0</property>
1299 <property name="expand">True</property>
1300 <property name="fill">True</property>
1301 </packing>
1302 </child>
1303
1304 <child>
1305 <widget class="GtkRadioButton" id="rbTVFilterSel3">
1306 <property name="width_request">100</property>
1307 <property name="visible">True</property>
1308 <property name="label" translatable="yes">Non-selected</property>
1309 <property name="use_underline">True</property>
1310 <property name="relief">GTK_RELIEF_NORMAL</property>
1311 <property name="focus_on_click">True</property>
1312 <property name="active">False</property>
1313 <property name="inconsistent">False</property>
1314 <property name="draw_indicator">True</property>
1315 <property name="group">rbTVFilterSel1</property>
1316 </widget>
1317 <packing>
1318 <property name="padding">0</property>
1319 <property name="expand">True</property>
1320 <property name="fill">True</property>
1321 </packing>
1322 </child>
1323 </widget>
1324 <packing>
1325 <property name="left_attach">1</property>
1326 <property name="right_attach">2</property>
1327 <property name="top_attach">0</property>
1328 <property name="bottom_attach">1</property>
1329 </packing>
1330 </child>
1331
1332 <child>
1333 <widget class="GtkLabel" id="label3">
1334 <property name="visible">True</property>
1335 <property name="label" translatable="yes">Selection</property>
1336 <property name="use_underline">False</property>
1337 <property name="use_markup">False</property>
1338 <property name="justify">GTK_JUSTIFY_LEFT</property>
1339 <property name="wrap">False</property>
1340 <property name="selectable">False</property>
1341 <property name="xalign">0</property>
1342 <property name="yalign">0.5</property>
1343 <property name="xpad">0</property>
1344 <property name="ypad">0</property>
1345 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1346 <property name="width_chars">-1</property>
1347 <property name="single_line_mode">False</property>
1348 <property name="angle">0</property>
1349 </widget>
1350 <packing>
1351 <property name="left_attach">0</property>
1352 <property name="right_attach">1</property>
1353 <property name="top_attach">0</property>
1354 <property name="bottom_attach">1</property>
1355 </packing>
1356 </child>
1357
1358 <child>
1359 <widget class="GtkLabel" id="label9">
1360 <property name="visible">True</property>
1361 <property name="label" translatable="yes">Visible</property>
1362 <property name="use_underline">False</property>
1363 <property name="use_markup">False</property>
1364 <property name="justify">GTK_JUSTIFY_LEFT</property>
1365 <property name="wrap">False</property>
1366 <property name="selectable">False</property>
1367 <property name="xalign">0</property>
1368 <property name="yalign">0.5</property>
1369 <property name="xpad">0</property>
1370 <property name="ypad">0</property>
1371 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1372 <property name="width_chars">-1</property>
1373 <property name="single_line_mode">False</property>
1374 <property name="angle">0</property>
1375 </widget>
1376 <packing>
1377 <property name="left_attach">0</property>
1378 <property name="right_attach">1</property>
1379 <property name="top_attach">1</property>
1380 <property name="bottom_attach">2</property>
1381 </packing>
1382 </child>
1383
1384 <child>
1385 <widget class="GtkLabel" id="label10">
1386 <property name="label" translatable="yes">Highlighted</property>
1387 <property name="use_underline">False</property>
1388 <property name="use_markup">False</property>
1389 <property name="justify">GTK_JUSTIFY_LEFT</property>
1390 <property name="wrap">False</property>
1391 <property name="selectable">False</property>
1392 <property name="xalign">0</property>
1393 <property name="yalign">0.5</property>
1394 <property name="xpad">0</property>
1395 <property name="ypad">0</property>
1396 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1397 <property name="width_chars">-1</property>
1398 <property name="single_line_mode">False</property>
1399 <property name="angle">0</property>
1400 </widget>
1401 <packing>
1402 <property name="left_attach">0</property>
1403 <property name="right_attach">1</property>
1404 <property name="top_attach">2</property>
1405 <property name="bottom_attach">3</property>
1406 </packing>
1407 </child>
1408
1409 <child>
1410 <widget class="GtkHBox" id="hbox3">
1411 <property name="visible">True</property>
1412 <property name="homogeneous">False</property>
1413 <property name="spacing">0</property>
1414
1415 <child>
1416 <widget class="GtkRadioButton" id="rbTVFilterVisible1">
1417 <property name="width_request">15</property>
1418 <property name="visible">True</property>
1419 <property name="label" translatable="yes">All</property>
1420 <property name="use_underline">True</property>
1421 <property name="relief">GTK_RELIEF_NORMAL</property>
1422 <property name="focus_on_click">True</property>
1423 <property name="active">False</property>
1424 <property name="inconsistent">False</property>
1425 <property name="draw_indicator">True</property>
1426 </widget>
1427 <packing>
1428 <property name="padding">0</property>
1429 <property name="expand">True</property>
1430 <property name="fill">True</property>
1431 </packing>
1432 </child>
1433
1434 <child>
1435 <widget class="GtkRadioButton" id="rbTVFilterVisible2">
1436 <property name="width_request">75</property>
1437 <property name="visible">True</property>
1438 <property name="label" translatable="yes">Visible</property>
1439 <property name="use_underline">True</property>
1440 <property name="relief">GTK_RELIEF_NORMAL</property>
1441 <property name="focus_on_click">True</property>
1442 <property name="active">False</property>
1443 <property name="inconsistent">False</property>
1444 <property name="draw_indicator">True</property>
1445 <property name="group">rbTVFilterVisible1</property>
1446 </widget>
1447 <packing>
1448 <property name="padding">0</property>
1449 <property name="expand">True</property>
1450 <property name="fill">True</property>
1451 </packing>
1452 </child>
1453
1454 <child>
1455 <widget class="GtkRadioButton" id="rbTVFilterVisible3">
1456 <property name="width_request">100</property>
1457 <property name="visible">True</property>
1458 <property name="label" translatable="yes">Hidden</property>
1459 <property name="use_underline">True</property>
1460 <property name="relief">GTK_RELIEF_NORMAL</property>
1461 <property name="focus_on_click">True</property>
1462 <property name="active">False</property>
1463 <property name="inconsistent">False</property>
1464 <property name="draw_indicator">True</property>
1465 <property name="group">rbTVFilterVisible1</property>
1466 </widget>
1467 <packing>
1468 <property name="padding">0</property>
1469 <property name="expand">True</property>
1470 <property name="fill">True</property>
1471 </packing>
1472 </child>
1473 </widget>
1474 <packing>
1475 <property name="left_attach">1</property>
1476 <property name="right_attach">2</property>
1477 <property name="top_attach">1</property>
1478 <property name="bottom_attach">2</property>
1479 </packing>
1480 </child>
1481
1482 <child>
1483 <widget class="GtkHBox" id="hbox4">
1484 <property name="visible">True</property>
1485 <property name="homogeneous">False</property>
1486 <property name="spacing">0</property>
1487
1488 <child>
1489 <widget class="GtkRadioButton" id="rbTVFilterHigh1">
1490 <property name="width_request">15</property>
1491 <property name="label" translatable="yes">All</property>
1492 <property name="use_underline">True</property>
1493 <property name="relief">GTK_RELIEF_NORMAL</property>
1494 <property name="focus_on_click">True</property>
1495 <property name="active">False</property>
1496 <property name="inconsistent">False</property>
1497 <property name="draw_indicator">True</property>
1498 </widget>
1499 <packing>
1500 <property name="padding">0</property>
1501 <property name="expand">True</property>
1502 <property name="fill">True</property>
1503 </packing>
1504 </child>
1505
1506 <child>
1507 <widget class="GtkRadioButton" id="rbTVFilterHigh2">
1508 <property name="width_request">75</property>
1509 <property name="label" translatable="yes">Highlighted</property>
1510 <property name="use_underline">True</property>
1511 <property name="relief">GTK_RELIEF_NORMAL</property>
1512 <property name="focus_on_click">True</property>
1513 <property name="active">False</property>
1514 <property name="inconsistent">False</property>
1515 <property name="draw_indicator">True</property>
1516 <property name="group">rbTVFilterHigh1</property>
1517 </widget>
1518 <packing>
1519 <property name="padding">0</property>
1520 <property name="expand">True</property>
1521 <property name="fill">True</property>
1522 </packing>
1523 </child>
1524
1525 <child>
1526 <widget class="GtkRadioButton" id="rbTVFilterHigh3">
1527 <property name="width_request">100</property>
1528 <property name="label" translatable="yes">Not Highlighted</property>
1529 <property name="use_underline">True</property>
1530 <property name="relief">GTK_RELIEF_NORMAL</property>
1531 <property name="focus_on_click">True</property>
1532 <property name="active">False</property>
1533 <property name="inconsistent">False</property>
1534 <property name="draw_indicator">True</property>
1535 <property name="group">rbTVFilterHigh1</property>
1536 </widget>
1537 <packing>
1538 <property name="padding">0</property>
1539 <property name="expand">True</property>
1540 <property name="fill">True</property>
1541 </packing>
1542 </child>
1543 </widget>
1544 <packing>
1545 <property name="left_attach">1</property>
1546 <property name="right_attach">2</property>
1547 <property name="top_attach">2</property>
1548 <property name="bottom_attach">3</property>
1549 </packing>
1550 </child>
1551 </widget>
1552 <packing>
1553 <property name="x">2</property>
1554 <property name="y">30</property>
1555 </packing>
1556 </child>
1557
1558 <child>
1559 <widget class="GtkLabel" id="label13">
1560 <property name="width_request">181</property>
1561 <property name="height_request">20</property>
1562 <property name="visible">True</property>
1563 <property name="label" translatable="yes">FILTER CRITERIAS</property>
1564 <property name="use_underline">False</property>
1565 <property name="use_markup">False</property>
1566 <property name="justify">GTK_JUSTIFY_LEFT</property>
1567 <property name="wrap">False</property>
1568 <property name="selectable">False</property>
1569 <property name="xalign">0</property>
1570 <property name="yalign">0.5</property>
1571 <property name="xpad">0</property>
1572 <property name="ypad">0</property>
1573 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1574 <property name="width_chars">-1</property>
1575 <property name="single_line_mode">False</property>
1576 <property name="angle">0</property>
1577 </widget>
1578 <packing>
1579 <property name="x">0</property>
1580 <property name="y">0</property>
1581 </packing>
1582 </child>
1583
1584 <child>
1585 <widget class="GtkHSeparator" id="hseparator4">
1586 <property name="width_request">581</property>
1587 <property name="height_request">20</property>
1588 <property name="visible">True</property>
1589 </widget>
1590 <packing>
1591 <property name="x">0</property>
1592 <property name="y">13</property>
1593 </packing>
1594 </child>
1595
1596 <child>
1597 <widget class="GtkButton" id="btnTVFilterClear">
1598 <property name="width_request">100</property>
1599 <property name="height_request">29</property>
1600 <property name="visible">True</property>
1601 <property name="label" translatable="yes">Clear Filter</property>
1602 <property name="use_underline">True</property>
1603 <property name="relief">GTK_RELIEF_NORMAL</property>
1604 <property name="focus_on_click">True</property>
1605 <signal name="clicked" handler="btnTVFilterClear_clicked_cb"/>
1606 </widget>
1607 <packing>
1608 <property name="x">467</property>
1609 <property name="y">32</property>
1610 </packing>
1611 </child>
1612 </widget>
1613 <packing>
1614 <property name="padding">0</property>
1615 <property name="expand">True</property>
1616 <property name="fill">True</property>
1617 </packing>
1618 </child>
1619 </widget>
1620 </child>
1621 </widget>
1622
1623 <widget class="GtkDialog" id="dlgSettings">
1624 <property name="border_width">5</property>
1625 <property name="width_request">676</property>
1626 <property name="height_request">505</property>
1627 <property name="title" translatable="yes"></property>
1628 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1629 <property name="window_position">GTK_WIN_POS_NONE</property>
1630 <property name="modal">False</property>
1631 <property name="resizable">True</property>
1632 <property name="destroy_with_parent">True</property>
1633 <property name="decorated">True</property>
1634 <property name="skip_taskbar_hint">False</property>
1635 <property name="skip_pager_hint">False</property>
1636 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1637 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1638 <property name="focus_on_map">True</property>
1639 <property name="urgency_hint">False</property>
1640 <property name="has_separator">False</property>
1641 <signal name="delete_event" handler="on_dlgSettings_close" last_modification_time="Thu, 03 Dec 2009 16:39:12 GMT"/>
1642
1643 <child internal-child="vbox">
1644 <widget class="GtkVBox" id="dialog-vbox5">
1645 <property name="visible">True</property>
1646 <property name="homogeneous">False</property>
1647 <property name="spacing">2</property>
1648
1649 <child internal-child="action_area">
1650 <widget class="GtkHButtonBox" id="dialog-action_area5">
1651 <property name="visible">True</property>
1652 <property name="layout_style">GTK_BUTTONBOX_END</property>
1653
1654 <child>
1655 <widget class="GtkButton" id="button15">
1656 <property name="visible">True</property>
1657 <property name="label" translatable="yes">Cancel</property>
1658 <property name="use_underline">True</property>
1659 <property name="relief">GTK_RELIEF_NORMAL</property>
1660 <property name="focus_on_click">True</property>
1661 <property name="response_id">0</property>
1662 <signal name="clicked" handler="on_settingsCancelBtn_clicked" last_modification_time="Wed, 11 Nov 2009 20:53:28 GMT"/>
1663 </widget>
1664 </child>
1665
1666 <child>
1667 <widget class="GtkButton" id="button12">
1668 <property name="visible">True</property>
1669 <property name="label" translatable="yes">Apply</property>
1670 <property name="use_underline">True</property>
1671 <property name="relief">GTK_RELIEF_NORMAL</property>
1672 <property name="focus_on_click">True</property>
1673 <property name="response_id">0</property>
1674 <signal name="clicked" handler="on_settingsApplyBtn_clicked" last_modification_time="Mon, 20 Jul 2009 16:39:55 GMT"/>
1675 </widget>
1676 </child>
1677
1678 <child>
1679 <widget class="GtkButton" id="button11">
1680 <property name="visible">True</property>
1681 <property name="label" translatable="yes">OK</property>
1682 <property name="use_underline">True</property>
1683 <property name="relief">GTK_RELIEF_NORMAL</property>
1684 <property name="focus_on_click">True</property>
1685 <property name="response_id">0</property>
1686 <signal name="clicked" handler="on_settingsOKBtn_clicked" last_modification_time="Tue, 26 May 2009 19:00:55 GMT"/>
1687 </widget>
1688 </child>
1689 </widget>
1690 <packing>
1691 <property name="padding">0</property>
1692 <property name="expand">False</property>
1693 <property name="fill">True</property>
1694 <property name="pack_type">GTK_PACK_END</property>
1695 </packing>
1696 </child>
1697
1698 <child>
1699 <widget class="GtkNotebook" id="notebook3">
1700 <property name="visible">True</property>
1701 <property name="show_tabs">True</property>
1702 <property name="show_border">True</property>
1703 <property name="tab_pos">GTK_POS_TOP</property>
1704 <property name="scrollable">False</property>
1705 <property name="enable_popup">False</property>
1706
1707 <child>
1708 <widget class="GtkLayout" id="layout15">
1709 <property name="visible">True</property>
1710 <property name="width">400</property>
1711 <property name="height">400</property>
1712 <property name="hadjustment">0 0 658 0 592.2 658</property>
1713 <property name="vadjustment">0 0 425 0 382.5 425</property>
1714
1715 <child>
1716 <widget class="GtkTable" id="table4">
1717 <property name="width_request">443</property>
1718 <property name="height_request">408</property>
1719 <property name="visible">True</property>
1720 <property name="n_rows">14</property>
1721 <property name="n_columns">3</property>
1722 <property name="homogeneous">False</property>
1723 <property name="row_spacing">0</property>
1724 <property name="column_spacing">0</property>
1725
1726 <child>
1727 <widget class="GtkCheckButton" id="settingsChkBox3">
1728 <property name="visible">True</property>
1729 <property name="relief">GTK_RELIEF_NORMAL</property>
1730 <property name="focus_on_click">True</property>
1731 <property name="active">False</property>
1732 <property name="inconsistent">False</property>
1733 <property name="draw_indicator">True</property>
1734
1735 <child>
1736 <placeholder/>
1737 </child>
1738 </widget>
1739 <packing>
1740 <property name="left_attach">2</property>
1741 <property name="right_attach">3</property>
1742 <property name="top_attach">2</property>
1743 <property name="bottom_attach">3</property>
1744 <property name="x_options"></property>
1745 </packing>
1746 </child>
1747
1748 <child>
1749 <widget class="GtkCheckButton" id="settingsChkBox2">
1750 <property name="visible">True</property>
1751 <property name="relief">GTK_RELIEF_NORMAL</property>
1752 <property name="focus_on_click">True</property>
1753 <property name="active">False</property>
1754 <property name="inconsistent">False</property>
1755 <property name="draw_indicator">True</property>
1756
1757 <child>
1758 <placeholder/>
1759 </child>
1760 </widget>
1761 <packing>
1762 <property name="left_attach">2</property>
1763 <property name="right_attach">3</property>
1764 <property name="top_attach">1</property>
1765 <property name="bottom_attach">2</property>
1766 <property name="x_options"></property>
1767 </packing>
1768 </child>
1769
1770 <child>
1771 <widget class="GtkColorButton" id="settingsColorBtn3">
1772 <property name="visible">True</property>
1773 <property name="use_alpha">False</property>
1774 <property name="focus_on_click">True</property>
1775 </widget>
1776 <packing>
1777 <property name="left_attach">1</property>
1778 <property name="right_attach">2</property>
1779 <property name="top_attach">2</property>
1780 <property name="bottom_attach">3</property>
1781 </packing>
1782 </child>
1783
1784 <child>
1785 <widget class="GtkColorButton" id="settingsColorBtn2">
1786 <property name="visible">True</property>
1787 <property name="use_alpha">False</property>
1788 <property name="focus_on_click">True</property>
1789 </widget>
1790 <packing>
1791 <property name="left_attach">1</property>
1792 <property name="right_attach">2</property>
1793 <property name="top_attach">1</property>
1794 <property name="bottom_attach">2</property>
1795 </packing>
1796 </child>
1797
1798 <child>
1799 <widget class="GtkLabel" id="label41">
1800 <property name="visible">True</property>
1801 <property name="label" translatable="yes">Default Edge Color</property>
1802 <property name="use_underline">False</property>
1803 <property name="use_markup">False</property>
1804 <property name="justify">GTK_JUSTIFY_LEFT</property>
1805 <property name="wrap">False</property>
1806 <property name="selectable">False</property>
1807 <property name="xalign">0</property>
1808 <property name="yalign">0.5</property>
1809 <property name="xpad">5</property>
1810 <property name="ypad">0</property>
1811 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1812 <property name="width_chars">-1</property>
1813 <property name="single_line_mode">False</property>
1814 <property name="angle">0</property>
1815 </widget>
1816 <packing>
1817 <property name="left_attach">0</property>
1818 <property name="right_attach">1</property>
1819 <property name="top_attach">4</property>
1820 <property name="bottom_attach">5</property>
1821 </packing>
1822 </child>
1823
1824 <child>
1825 <widget class="GtkLabel" id="label40">
1826 <property name="visible">True</property>
1827 <property name="label" translatable="yes">Default Node Color</property>
1828 <property name="use_underline">False</property>
1829 <property name="use_markup">False</property>
1830 <property name="justify">GTK_JUSTIFY_LEFT</property>
1831 <property name="wrap">False</property>
1832 <property name="selectable">False</property>
1833 <property name="xalign">0</property>
1834 <property name="yalign">0.5</property>
1835 <property name="xpad">5</property>
1836 <property name="ypad">0</property>
1837 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1838 <property name="width_chars">-1</property>
1839 <property name="single_line_mode">False</property>
1840 <property name="angle">0</property>
1841 </widget>
1842 <packing>
1843 <property name="left_attach">0</property>
1844 <property name="right_attach">1</property>
1845 <property name="top_attach">3</property>
1846 <property name="bottom_attach">4</property>
1847 </packing>
1848 </child>
1849
1850 <child>
1851 <widget class="GtkLabel" id="label39">
1852 <property name="visible">True</property>
1853 <property name="label" translatable="yes">Grid Color</property>
1854 <property name="use_underline">False</property>
1855 <property name="use_markup">False</property>
1856 <property name="justify">GTK_JUSTIFY_LEFT</property>
1857 <property name="wrap">False</property>
1858 <property name="selectable">False</property>
1859 <property name="xalign">0</property>
1860 <property name="yalign">0.5</property>
1861 <property name="xpad">5</property>
1862 <property name="ypad">0</property>
1863 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1864 <property name="width_chars">-1</property>
1865 <property name="single_line_mode">False</property>
1866 <property name="angle">0</property>
1867 </widget>
1868 <packing>
1869 <property name="left_attach">0</property>
1870 <property name="right_attach">1</property>
1871 <property name="top_attach">2</property>
1872 <property name="bottom_attach">3</property>
1873 </packing>
1874 </child>
1875
1876 <child>
1877 <widget class="GtkLabel" id="label32">
1878 <property name="visible">True</property>
1879 <property name="label" translatable="yes">Border Color</property>
1880 <property name="use_underline">False</property>
1881 <property name="use_markup">False</property>
1882 <property name="justify">GTK_JUSTIFY_LEFT</property>
1883 <property name="wrap">False</property>
1884 <property name="selectable">False</property>
1885 <property name="xalign">0</property>
1886 <property name="yalign">0.5</property>
1887 <property name="xpad">5</property>
1888 <property name="ypad">0</property>
1889 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1890 <property name="width_chars">-1</property>
1891 <property name="single_line_mode">False</property>
1892 <property name="angle">0</property>
1893 </widget>
1894 <packing>
1895 <property name="left_attach">0</property>
1896 <property name="right_attach">1</property>
1897 <property name="top_attach">1</property>
1898 <property name="bottom_attach">2</property>
1899 </packing>
1900 </child>
1901
1902 <child>
1903 <widget class="GtkLabel" id="label31">
1904 <property name="visible">True</property>
1905 <property name="label" translatable="yes">Background Color</property>
1906 <property name="use_underline">False</property>
1907 <property name="use_markup">False</property>
1908 <property name="justify">GTK_JUSTIFY_LEFT</property>
1909 <property name="wrap">False</property>
1910 <property name="selectable">False</property>
1911 <property name="xalign">0</property>
1912 <property name="yalign">0.5</property>
1913 <property name="xpad">5</property>
1914 <property name="ypad">0</property>
1915 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1916 <property name="width_chars">-1</property>
1917 <property name="single_line_mode">False</property>
1918 <property name="angle">0</property>
1919 </widget>
1920 <packing>
1921 <property name="left_attach">0</property>
1922 <property name="right_attach">1</property>
1923 <property name="top_attach">0</property>
1924 <property name="bottom_attach">1</property>
1925 </packing>
1926 </child>
1927
1928 <child>
1929 <widget class="GtkLabel" id="label81">
1930 <property name="visible">True</property>
1931 <property name="label" translatable="yes">Draw Nodes</property>
1932 <property name="use_underline">False</property>
1933 <property name="use_markup">False</property>
1934 <property name="justify">GTK_JUSTIFY_LEFT</property>
1935 <property name="wrap">False</property>
1936 <property name="selectable">False</property>
1937 <property name="xalign">0</property>
1938 <property name="yalign">0.5</property>
1939 <property name="xpad">5</property>
1940 <property name="ypad">0</property>
1941 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1942 <property name="width_chars">-1</property>
1943 <property name="single_line_mode">False</property>
1944 <property name="angle">0</property>
1945 </widget>
1946 <packing>
1947 <property name="left_attach">0</property>
1948 <property name="right_attach">1</property>
1949 <property name="top_attach">9</property>
1950 <property name="bottom_attach">10</property>
1951 </packing>
1952 </child>
1953
1954 <child>
1955 <widget class="GtkLabel" id="label82">
1956 <property name="visible">True</property>
1957 <property name="label" translatable="yes">Draw Edges</property>
1958 <property name="use_underline">False</property>
1959 <property name="use_markup">False</property>
1960 <property name="justify">GTK_JUSTIFY_LEFT</property>
1961 <property name="wrap">False</property>
1962 <property name="selectable">False</property>
1963 <property name="xalign">0</property>
1964 <property name="yalign">0.5</property>
1965 <property name="xpad">5</property>
1966 <property name="ypad">0</property>
1967 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1968 <property name="width_chars">-1</property>
1969 <property name="single_line_mode">False</property>
1970 <property name="angle">0</property>
1971 </widget>
1972 <packing>
1973 <property name="left_attach">0</property>
1974 <property name="right_attach">1</property>
1975 <property name="top_attach">10</property>
1976 <property name="bottom_attach">11</property>
1977 </packing>
1978 </child>
1979
1980 <child>
1981 <widget class="GtkCheckButton" id="settingsChkBox5-1">
1982 <property name="visible">True</property>
1983 <property name="relief">GTK_RELIEF_NORMAL</property>
1984 <property name="focus_on_click">True</property>
1985 <property name="active">False</property>
1986 <property name="inconsistent">False</property>
1987 <property name="draw_indicator">True</property>
1988
1989 <child>
1990 <placeholder/>
1991 </child>
1992 </widget>
1993 <packing>
1994 <property name="left_attach">2</property>
1995 <property name="right_attach">3</property>
1996 <property name="top_attach">9</property>
1997 <property name="bottom_attach">10</property>
1998 <property name="x_options"></property>
1999 </packing>
2000 </child>
2001
2002 <child>
2003 <widget class="GtkCheckButton" id="settingsChkBox5-2">
2004 <property name="visible">True</property>
2005 <property name="relief">GTK_RELIEF_NORMAL</property>
2006 <property name="focus_on_click">True</property>
2007 <property name="active">False</property>
2008 <property name="inconsistent">False</property>
2009 <property name="draw_indicator">True</property>
2010
2011 <child>
2012 <placeholder/>
2013 </child>
2014 </widget>
2015 <packing>
2016 <property name="left_attach">2</property>
2017 <property name="right_attach">3</property>
2018 <property name="top_attach">10</property>
2019 <property name="bottom_attach">11</property>
2020 <property name="x_options"></property>
2021 </packing>
2022 </child>
2023
2024 <child>
2025 <widget class="GtkLabel" id="label117">
2026 <property name="visible">True</property>
2027 <property name="label" translatable="yes">Color Theme</property>
2028 <property name="use_underline">False</property>
2029 <property name="use_markup">False</property>
2030 <property name="justify">GTK_JUSTIFY_LEFT</property>
2031 <property name="wrap">False</property>
2032 <property name="selectable">False</property>
2033 <property name="xalign">0</property>
2034 <property name="yalign">0.5</property>
2035 <property name="xpad">5</property>
2036 <property name="ypad">0</property>
2037 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2038 <property name="width_chars">-1</property>
2039 <property name="single_line_mode">False</property>
2040 <property name="angle">0</property>
2041 </widget>
2042 <packing>
2043 <property name="left_attach">0</property>
2044 <property name="right_attach">1</property>
2045 <property name="top_attach">11</property>
2046 <property name="bottom_attach">12</property>
2047 <property name="x_options">fill</property>
2048 <property name="y_options"></property>
2049 </packing>
2050 </child>
2051
2052 <child>
2053 <widget class="GtkComboBoxEntry" id="colorthemecb">
2054 <property name="visible">True</property>
2055 <property name="items" translatable="yes">Ice Blue
2056 All Pastel
2057 Magma
2058 Rain Forest</property>
2059 <property name="add_tearoffs">False</property>
2060 <property name="has_frame">True</property>
2061 <property name="focus_on_click">True</property>
2062 <signal name="changed" handler="color_change_request" last_modification_time="Tue, 17 Nov 2009 19:03:10 GMT"/>
2063 </widget>
2064 <packing>
2065 <property name="left_attach">1</property>
2066 <property name="right_attach">2</property>
2067 <property name="top_attach">11</property>
2068 <property name="bottom_attach">12</property>
2069 <property name="x_options">fill</property>
2070 <property name="y_options">fill</property>
2071 </packing>
2072 </child>
2073
2074 <child>
2075 <widget class="GtkColorButton" id="DefaultNodeCbtn">
2076 <property name="visible">True</property>
2077 <property name="use_alpha">False</property>
2078 <property name="focus_on_click">True</property>
2079 </widget>
2080 <packing>
2081 <property name="left_attach">1</property>
2082 <property name="right_attach">2</property>
2083 <property name="top_attach">3</property>
2084 <property name="bottom_attach">4</property>
2085 </packing>
2086 </child>
2087
2088 <child>
2089 <widget class="GtkLabel" id="label118">
2090 <property name="visible">True</property>
2091 <property name="label" translatable="yes">Edge Attr. For Color</property>
2092 <property name="use_underline">False</property>
2093 <property name="use_markup">False</property>
2094 <property name="justify">GTK_JUSTIFY_LEFT</property>
2095 <property name="wrap">False</property>
2096 <property name="selectable">False</property>
2097 <property name="xalign">0</property>
2098 <property name="yalign">0.5</property>
2099 <property name="xpad">5</property>
2100 <property name="ypad">0</property>
2101 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2102 <property name="width_chars">-1</property>
2103 <property name="single_line_mode">False</property>
2104 <property name="angle">0</property>
2105 </widget>
2106 <packing>
2107 <property name="left_attach">0</property>
2108 <property name="right_attach">1</property>
2109 <property name="top_attach">12</property>
2110 <property name="bottom_attach">13</property>
2111 <property name="x_options">fill</property>
2112 <property name="y_options"></property>
2113 </packing>
2114 </child>
2115
2116 <child>
2117 <widget class="GtkEntry" id="edgecolortxt">
2118 <property name="visible">True</property>
2119 <property name="can_focus">True</property>
2120 <property name="editable">True</property>
2121 <property name="visibility">True</property>
2122 <property name="max_length">0</property>
2123 <property name="text" translatable="yes"></property>
2124 <property name="has_frame">True</property>
2125 <property name="invisible_char">*</property>
2126 <property name="activates_default">False</property>
2127 <signal name="changed" handler="color_change_request" last_modification_time="Tue, 17 Nov 2009 19:03:56 GMT"/>
2128 </widget>
2129 <packing>
2130 <property name="left_attach">1</property>
2131 <property name="right_attach">2</property>
2132 <property name="top_attach">12</property>
2133 <property name="bottom_attach">13</property>
2134 <property name="y_options"></property>
2135 </packing>
2136 </child>
2137
2138 <child>
2139 <widget class="GtkColorButton" id="DefaultEdgeCbtn">
2140 <property name="visible">True</property>
2141 <property name="use_alpha">False</property>
2142 <property name="focus_on_click">True</property>
2143 </widget>
2144 <packing>
2145 <property name="left_attach">1</property>
2146 <property name="right_attach">2</property>
2147 <property name="top_attach">4</property>
2148 <property name="bottom_attach">5</property>
2149 </packing>
2150 </child>
2151
2152 <child>
2153 <widget class="GtkLabel" id="label44">
2154 <property name="visible">True</property>
2155 <property name="label" translatable="yes">Selected Node Color</property>
2156 <property name="use_underline">False</property>
2157 <property name="use_markup">False</property>
2158 <property name="justify">GTK_JUSTIFY_LEFT</property>
2159 <property name="wrap">False</property>
2160 <property name="selectable">False</property>
2161 <property name="xalign">0</property>
2162 <property name="yalign">0.5</property>
2163 <property name="xpad">5</property>
2164 <property name="ypad">0</property>
2165 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2166 <property name="width_chars">-1</property>
2167 <property name="single_line_mode">False</property>
2168 <property name="angle">0</property>
2169 </widget>
2170 <packing>
2171 <property name="left_attach">0</property>
2172 <property name="right_attach">1</property>
2173 <property name="top_attach">5</property>
2174 <property name="bottom_attach">6</property>
2175 <property name="x_options">fill</property>
2176 <property name="y_options"></property>
2177 </packing>
2178 </child>
2179
2180 <child>
2181 <widget class="GtkColorButton" id="settingsColorBtn8">
2182 <property name="visible">True</property>
2183 <property name="use_alpha">False</property>
2184 <property name="focus_on_click">True</property>
2185 </widget>
2186 <packing>
2187 <property name="left_attach">1</property>
2188 <property name="right_attach">2</property>
2189 <property name="top_attach">5</property>
2190 <property name="bottom_attach">6</property>
2191 <property name="x_options">fill</property>
2192 <property name="y_options"></property>
2193 </packing>
2194 </child>
2195
2196 <child>
2197 <widget class="GtkLabel" id="label45">
2198 <property name="visible">True</property>
2199 <property name="label" translatable="yes">Selected Edge Color</property>
2200 <property name="use_underline">False</property>
2201 <property name="use_markup">False</property>
2202 <property name="justify">GTK_JUSTIFY_LEFT</property>
2203 <property name="wrap">False</property>
2204 <property name="selectable">False</property>
2205 <property name="xalign">0</property>
2206 <property name="yalign">0.5</property>
2207 <property name="xpad">5</property>
2208 <property name="ypad">0</property>
2209 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2210 <property name="width_chars">-1</property>
2211 <property name="single_line_mode">False</property>
2212 <property name="angle">0</property>
2213 </widget>
2214 <packing>
2215 <property name="left_attach">0</property>
2216 <property name="right_attach">1</property>
2217 <property name="top_attach">6</property>
2218 <property name="bottom_attach">7</property>
2219 <property name="x_options">fill</property>
2220 <property name="y_options"></property>
2221 </packing>
2222 </child>
2223
2224 <child>
2225 <widget class="GtkColorButton" id="settingsColorBtn9">
2226 <property name="visible">True</property>
2227 <property name="use_alpha">False</property>
2228 <property name="focus_on_click">True</property>
2229 </widget>
2230 <packing>
2231 <property name="left_attach">1</property>
2232 <property name="right_attach">2</property>
2233 <property name="top_attach">6</property>
2234 <property name="bottom_attach">7</property>
2235 <property name="x_options">fill</property>
2236 <property name="y_options"></property>
2237 </packing>
2238 </child>
2239
2240 <child>
2241 <widget class="GtkColorButton" id="settingsColorBtn1">
2242 <property name="visible">True</property>
2243 <property name="use_alpha">False</property>
2244 <property name="focus_on_click">True</property>
2245 </widget>
2246 <packing>
2247 <property name="left_attach">1</property>
2248 <property name="right_attach">2</property>
2249 <property name="top_attach">0</property>
2250 <property name="bottom_attach">1</property>
2251 <property name="x_options">fill</property>
2252 </packing>
2253 </child>
2254
2255 <child>
2256 <widget class="GtkLabel" id="label129">
2257 <property name="visible">True</property>
2258 <property name="label" translatable="yes">Nodes Selectable?</property>
2259 <property name="use_underline">False</property>
2260 <property name="use_markup">False</property>
2261 <property name="justify">GTK_JUSTIFY_LEFT</property>
2262 <property name="wrap">False</property>
2263 <property name="selectable">False</property>
2264 <property name="xalign">0</property>
2265 <property name="yalign">0.5</property>
2266 <property name="xpad">5</property>
2267 <property name="ypad">0</property>
2268 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2269 <property name="width_chars">-1</property>
2270 <property name="single_line_mode">False</property>
2271 <property name="angle">0</property>
2272 </widget>
2273 <packing>
2274 <property name="left_attach">0</property>
2275 <property name="right_attach">1</property>
2276 <property name="top_attach">7</property>
2277 <property name="bottom_attach">8</property>
2278 <property name="x_options">fill</property>
2279 <property name="y_options"></property>
2280 </packing>
2281 </child>
2282
2283 <child>
2284 <widget class="GtkLabel" id="label130">
2285 <property name="visible">True</property>
2286 <property name="label" translatable="yes">Edges Selectable?</property>
2287 <property name="use_underline">False</property>
2288 <property name="use_markup">False</property>
2289 <property name="justify">GTK_JUSTIFY_LEFT</property>
2290 <property name="wrap">False</property>
2291 <property name="selectable">False</property>
2292 <property name="xalign">0</property>
2293 <property name="yalign">0.5</property>
2294 <property name="xpad">5</property>
2295 <property name="ypad">0</property>
2296 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2297 <property name="width_chars">-1</property>
2298 <property name="single_line_mode">False</property>
2299 <property name="angle">0</property>
2300 </widget>
2301 <packing>
2302 <property name="left_attach">0</property>
2303 <property name="right_attach">1</property>
2304 <property name="top_attach">8</property>
2305 <property name="bottom_attach">9</property>
2306 <property name="x_options">fill</property>
2307 <property name="y_options"></property>
2308 </packing>
2309 </child>
2310
2311 <child>
2312 <widget class="GtkCheckButton" id="chkboxNodeSelect">
2313 <property name="visible">True</property>
2314 <property name="can_focus">True</property>
2315 <property name="label" translatable="yes"></property>
2316 <property name="use_underline">True</property>
2317 <property name="relief">GTK_RELIEF_NORMAL</property>
2318 <property name="focus_on_click">True</property>
2319 <property name="active">False</property>
2320 <property name="inconsistent">False</property>
2321 <property name="draw_indicator">True</property>
2322 </widget>
2323 <packing>
2324 <property name="left_attach">2</property>
2325 <property name="right_attach">3</property>
2326 <property name="top_attach">7</property>
2327 <property name="bottom_attach">8</property>
2328 <property name="x_options">fill</property>
2329 <property name="y_options"></property>
2330 </packing>
2331 </child>
2332
2333 <child>
2334 <widget class="GtkCheckButton" id="chkboxEdgeSelect">
2335 <property name="visible">True</property>
2336 <property name="can_focus">True</property>
2337 <property name="label" translatable="yes"></property>
2338 <property name="use_underline">True</property>
2339 <property name="relief">GTK_RELIEF_NORMAL</property>
2340 <property name="focus_on_click">True</property>
2341 <property name="active">False</property>
2342 <property name="inconsistent">False</property>
2343 <property name="draw_indicator">True</property>
2344 </widget>
2345 <packing>
2346 <property name="left_attach">2</property>
2347 <property name="right_attach">3</property>
2348 <property name="top_attach">8</property>
2349 <property name="bottom_attach">9</property>
2350 <property name="x_options">fill</property>
2351 <property name="y_options"></property>
2352 </packing>
2353 </child>
2354
2355 <child>
2356 <widget class="GtkLabel" id="label132">
2357 <property name="visible">True</property>
2358 <property name="label" translatable="yes">Show Edges </property>
2359 <property name="use_underline">False</property>
2360 <property name="use_markup">False</property>
2361 <property name="justify">GTK_JUSTIFY_LEFT</property>
2362 <property name="wrap">False</property>
2363 <property name="selectable">False</property>
2364 <property name="xalign">0</property>
2365 <property name="yalign">0.5</property>
2366 <property name="xpad">5</property>
2367 <property name="ypad">0</property>
2368 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2369 <property name="width_chars">-1</property>
2370 <property name="single_line_mode">False</property>
2371 <property name="angle">0</property>
2372 </widget>
2373 <packing>
2374 <property name="left_attach">0</property>
2375 <property name="right_attach">1</property>
2376 <property name="top_attach">13</property>
2377 <property name="bottom_attach">14</property>
2378 <property name="x_options">fill</property>
2379 <property name="y_options"></property>
2380 </packing>
2381 </child>
2382
2383 <child>
2384 <widget class="GtkComboBoxEntry" id="edgerendercb">
2385 <property name="visible">True</property>
2386 <property name="items" translatable="yes">Always
2387 When head or tail is within viewport
2388 </property>
2389 <property name="add_tearoffs">False</property>
2390 <property name="has_frame">True</property>
2391 <property name="focus_on_click">True</property>
2392 </widget>
2393 <packing>
2394 <property name="left_attach">1</property>
2395 <property name="right_attach">2</property>
2396 <property name="top_attach">13</property>
2397 <property name="bottom_attach">14</property>
2398 <property name="x_options">fill</property>
2399 <property name="y_options">fill</property>
2400 </packing>
2401 </child>
2402 </widget>
2403 <packing>
2404 <property name="x">10</property>
2405 <property name="y">17</property>
2406 </packing>
2407 </child>
2408
2409 <child>
2410 <widget class="GtkLabel" id="label53">
2411 <property name="width_request">90</property>
2412 <property name="height_request">21</property>
2413 <property name="visible">True</property>
2414 <property name="label" translatable="yes">Color</property>
2415 <property name="use_underline">False</property>
2416 <property name="use_markup">False</property>
2417 <property name="justify">GTK_JUSTIFY_LEFT</property>
2418 <property name="wrap">False</property>
2419 <property name="selectable">False</property>
2420 <property name="xalign">0.5</property>
2421 <property name="yalign">0.5</property>
2422 <property name="xpad">0</property>
2423 <property name="ypad">0</property>
2424 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2425 <property name="width_chars">-1</property>
2426 <property name="single_line_mode">False</property>
2427 <property name="angle">0</property>
2428 </widget>
2429 <packing>
2430 <property name="x">152</property>
2431 <property name="y">0</property>
2432 </packing>
2433 </child>
2434
2435 <child>
2436 <widget class="GtkLabel" id="label54">
2437 <property name="width_request">100</property>
2438 <property name="height_request">20</property>
2439 <property name="visible">True</property>
2440 <property name="label" translatable="yes">Apply</property>
2441 <property name="use_underline">False</property>
2442 <property name="use_markup">False</property>
2443 <property name="justify">GTK_JUSTIFY_LEFT</property>
2444 <property name="wrap">False</property>
2445 <property name="selectable">False</property>
2446 <property name="xalign">0</property>
2447 <property name="yalign">0.5</property>
2448 <property name="xpad">15</property>
2449 <property name="ypad">0</property>
2450 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2451 <property name="width_chars">-1</property>
2452 <property name="single_line_mode">False</property>
2453 <property name="angle">0</property>
2454 </widget>
2455 <packing>
2456 <property name="x">408</property>
2457 <property name="y">0</property>
2458 </packing>
2459 </child>
2460 </widget>
2461 <packing>
2462 <property name="tab_expand">False</property>
2463 <property name="tab_fill">True</property>
2464 </packing>
2465 </child>
2466
2467 <child>
2468 <widget class="GtkLabel" id="label46">
2469 <property name="width_request">60</property>
2470 <property name="visible">True</property>
2471 <property name="label" translatable="yes">General</property>
2472 <property name="use_underline">False</property>
2473 <property name="use_markup">False</property>
2474 <property name="justify">GTK_JUSTIFY_LEFT</property>
2475 <property name="wrap">False</property>
2476 <property name="selectable">False</property>
2477 <property name="xalign">0.5</property>
2478 <property name="yalign">0.5</property>
2479 <property name="xpad">0</property>
2480 <property name="ypad">0</property>
2481 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2482 <property name="width_chars">-1</property>
2483 <property name="single_line_mode">False</property>
2484 <property name="angle">0</property>
2485 </widget>
2486 <packing>
2487 <property name="type">tab</property>
2488 </packing>
2489 </child>
2490
2491 <child>
2492 <widget class="GtkLayout" id="layout16">
2493 <property name="visible">True</property>
2494 <property name="width">400</property>
2495 <property name="height">400</property>
2496 <property name="hadjustment">0 0 658 0 592.2 658</property>
2497 <property name="vadjustment">0 0 425 0 382.5 425</property>
2498
2499 <child>
2500 <widget class="GtkTable" id="table16">
2501 <property name="width_request">32</property>
2502 <property name="height_request">80</property>
2503 <property name="visible">True</property>
2504 <property name="n_rows">8</property>
2505 <property name="n_columns">3</property>
2506 <property name="homogeneous">False</property>
2507 <property name="row_spacing">0</property>
2508 <property name="column_spacing">0</property>
2509
2510 <child>
2511 <widget class="GtkComboBox" id="labelfont">
2512 <property name="visible">True</property>
2513 <property name="items" translatable="yes"> GLUT_BITMAP_8_BY_13
2514 GLUT_BITMAP_9_BY_15
2515 GLUT_BITMAP_TIMES_ROMAN_10
2516 GLUT_BITMAP_TIMES_ROMAN_24
2517 GLUT_BITMAP_HELVETICA_10
2518 GLUT_BITMAP_HELVETICA_12
2519 GLUT_BITMAP_HELVETICA_18
2520 </property>
2521 <property name="add_tearoffs">False</property>
2522 <property name="focus_on_click">True</property>
2523 </widget>
2524 <packing>
2525 <property name="left_attach">1</property>
2526 <property name="right_attach">2</property>
2527 <property name="top_attach">0</property>
2528 <property name="bottom_attach">1</property>
2529 <property name="y_options">fill</property>
2530 </packing>
2531 </child>
2532
2533 <child>
2534 <widget class="GtkEntry" id="labelnodeattribute">
2535 <property name="visible">True</property>
2536 <property name="can_focus">True</property>
2537 <property name="editable">True</property>
2538 <property name="visibility">True</property>
2539 <property name="max_length">0</property>
2540 <property name="text" translatable="yes"></property>
2541 <property name="has_frame">True</property>
2542 <property name="invisible_char">*</property>
2543 <property name="activates_default">False</property>
2544 </widget>
2545 <packing>
2546 <property name="left_attach">1</property>
2547 <property name="right_attach">2</property>
2548 <property name="top_attach">2</property>
2549 <property name="bottom_attach">3</property>
2550 <property name="y_options"></property>
2551 </packing>
2552 </child>
2553
2554 <child>
2555 <widget class="GtkSpinButton" id="labelzoomfactor">
2556 <property name="visible">True</property>
2557 <property name="can_focus">True</property>
2558 <property name="climb_rate">1</property>
2559 <property name="digits">0</property>
2560 <property name="numeric">False</property>
2561 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2562 <property name="snap_to_ticks">False</property>
2563 <property name="wrap">False</property>
2564 <property name="adjustment">1200 0 5000 1 50 50</property>
2565 </widget>
2566 <packing>
2567 <property name="left_attach">1</property>
2568 <property name="right_attach">2</property>
2569 <property name="top_attach">5</property>
2570 <property name="bottom_attach">6</property>
2571 <property name="y_options"></property>
2572 </packing>
2573 </child>
2574
2575 <child>
2576 <widget class="GtkLabel" id="label110">
2577 <property name="visible">True</property>
2578 <property name="label" translatable="yes">Max # of nodes to display</property>
2579 <property name="use_underline">False</property>
2580 <property name="use_markup">False</property>
2581 <property name="justify">GTK_JUSTIFY_LEFT</property>
2582 <property name="wrap">False</property>
2583 <property name="selectable">False</property>
2584 <property name="xalign">0</property>
2585 <property name="yalign">0.5</property>
2586 <property name="xpad">0</property>
2587 <property name="ypad">0</property>
2588 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2589 <property name="width_chars">-1</property>
2590 <property name="single_line_mode">False</property>
2591 <property name="angle">0</property>
2592 </widget>
2593 <packing>
2594 <property name="left_attach">0</property>
2595 <property name="right_attach">1</property>
2596 <property name="top_attach">5</property>
2597 <property name="bottom_attach">6</property>
2598 <property name="x_padding">7</property>
2599 <property name="x_options">fill</property>
2600 <property name="y_options"></property>
2601 </packing>
2602 </child>
2603
2604 <child>
2605 <widget class="GtkLabel" id="label109">
2606 <property name="visible">True</property>
2607 <property name="label" translatable="yes">Label Visibility with degree</property>
2608 <property name="use_underline">False</property>
2609 <property name="use_markup">False</property>
2610 <property name="justify">GTK_JUSTIFY_LEFT</property>
2611 <property name="wrap">False</property>
2612 <property name="selectable">False</property>
2613 <property name="xalign">0</property>
2614 <property name="yalign">0.5</property>
2615 <property name="xpad">0</property>
2616 <property name="ypad">0</property>
2617 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2618 <property name="width_chars">-1</property>
2619 <property name="single_line_mode">False</property>
2620 <property name="angle">0</property>
2621 </widget>
2622 <packing>
2623 <property name="left_attach">0</property>
2624 <property name="right_attach">1</property>
2625 <property name="top_attach">4</property>
2626 <property name="bottom_attach">5</property>
2627 <property name="x_padding">7</property>
2628 <property name="x_options">fill</property>
2629 <property name="y_options"></property>
2630 </packing>
2631 </child>
2632
2633 <child>
2634 <widget class="GtkLabel" id="label108">
2635 <property name="visible">True</property>
2636 <property name="label" translatable="yes">Edge Label Attribute</property>
2637 <property name="use_underline">False</property>
2638 <property name="use_markup">False</property>
2639 <property name="justify">GTK_JUSTIFY_LEFT</property>
2640 <property name="wrap">False</property>
2641 <property name="selectable">False</property>
2642 <property name="xalign">0</property>
2643 <property name="yalign">0.5</property>
2644 <property name="xpad">0</property>
2645 <property name="ypad">0</property>
2646 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2647 <property name="width_chars">-1</property>
2648 <property name="single_line_mode">False</property>
2649 <property name="angle">0</property>
2650 </widget>
2651 <packing>
2652 <property name="left_attach">0</property>
2653 <property name="right_attach">1</property>
2654 <property name="top_attach">3</property>
2655 <property name="bottom_attach">4</property>
2656 <property name="x_padding">7</property>
2657 <property name="x_options">fill</property>
2658 <property name="y_options"></property>
2659 </packing>
2660 </child>
2661
2662 <child>
2663 <widget class="GtkLabel" id="label107">
2664 <property name="visible">True</property>
2665 <property name="label" translatable="yes">Node Label Attribute</property>
2666 <property name="use_underline">False</property>
2667 <property name="use_markup">False</property>
2668 <property name="justify">GTK_JUSTIFY_LEFT</property>
2669 <property name="wrap">False</property>
2670 <property name="selectable">False</property>
2671 <property name="xalign">0</property>
2672 <property name="yalign">0.5</property>
2673 <property name="xpad">0</property>
2674 <property name="ypad">0</property>
2675 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2676 <property name="width_chars">-1</property>
2677 <property name="single_line_mode">False</property>
2678 <property name="angle">0</property>
2679 </widget>
2680 <packing>
2681 <property name="left_attach">0</property>
2682 <property name="right_attach">1</property>
2683 <property name="top_attach">2</property>
2684 <property name="bottom_attach">3</property>
2685 <property name="x_padding">7</property>
2686 <property name="x_options">fill</property>
2687 <property name="y_options"></property>
2688 </packing>
2689 </child>
2690
2691 <child>
2692 <widget class="GtkLabel" id="label106">
2693 <property name="visible">True</property>
2694 <property name="label" translatable="yes">Default Node Label Color</property>
2695 <property name="use_underline">False</property>
2696 <property name="use_markup">False</property>
2697 <property name="justify">GTK_JUSTIFY_LEFT</property>
2698 <property name="wrap">False</property>
2699 <property name="selectable">False</property>
2700 <property name="xalign">0</property>
2701 <property name="yalign">0.5</property>
2702 <property name="xpad">0</property>
2703 <property name="ypad">0</property>
2704 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2705 <property name="width_chars">-1</property>
2706 <property name="single_line_mode">False</property>
2707 <property name="angle">0</property>
2708 </widget>
2709 <packing>
2710 <property name="left_attach">0</property>
2711 <property name="right_attach">1</property>
2712 <property name="top_attach">1</property>
2713 <property name="bottom_attach">2</property>
2714 <property name="x_padding">7</property>
2715 <property name="x_options">fill</property>
2716 <property name="y_options"></property>
2717 </packing>
2718 </child>
2719
2720 <child>
2721 <widget class="GtkLabel" id="label105">
2722 <property name="visible">True</property>
2723 <property name="label" translatable="yes">Font</property>
2724 <property name="use_underline">False</property>
2725 <property name="use_markup">False</property>
2726 <property name="justify">GTK_JUSTIFY_LEFT</property>
2727 <property name="wrap">False</property>
2728 <property name="selectable">False</property>
2729 <property name="xalign">0</property>
2730 <property name="yalign">0.5</property>
2731 <property name="xpad">0</property>
2732 <property name="ypad">0</property>
2733 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2734 <property name="width_chars">-1</property>
2735 <property name="single_line_mode">False</property>
2736 <property name="angle">0</property>
2737 </widget>
2738 <packing>
2739 <property name="left_attach">0</property>
2740 <property name="right_attach">1</property>
2741 <property name="top_attach">0</property>
2742 <property name="bottom_attach">1</property>
2743 <property name="x_padding">7</property>
2744 <property name="x_options">fill</property>
2745 <property name="y_options"></property>
2746 </packing>
2747 </child>
2748
2749 <child>
2750 <widget class="GtkLabel" id="label111">
2751 <property name="visible">True</property>
2752 <property name="label" translatable="yes">Show Node Labels</property>
2753 <property name="use_underline">False</property>
2754 <property name="use_markup">False</property>
2755 <property name="justify">GTK_JUSTIFY_LEFT</property>
2756 <property name="wrap">False</property>
2757 <property name="selectable">False</property>
2758 <property name="xalign">0</property>
2759 <property name="yalign">0.5</property>
2760 <property name="xpad">0</property>
2761 <property name="ypad">0</property>
2762 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2763 <property name="width_chars">-1</property>
2764 <property name="single_line_mode">False</property>
2765 <property name="angle">0</property>
2766 </widget>
2767 <packing>
2768 <property name="left_attach">0</property>
2769 <property name="right_attach">1</property>
2770 <property name="top_attach">6</property>
2771 <property name="bottom_attach">7</property>
2772 <property name="x_padding">7</property>
2773 <property name="x_options">fill</property>
2774 <property name="y_options"></property>
2775 </packing>
2776 </child>
2777
2778 <child>
2779 <widget class="GtkLabel" id="label112">
2780 <property name="visible">True</property>
2781 <property name="label" translatable="yes">Show Edge Labels</property>
2782 <property name="use_underline">False</property>
2783 <property name="use_markup">False</property>
2784 <property name="justify">GTK_JUSTIFY_LEFT</property>
2785 <property name="wrap">False</property>
2786 <property name="selectable">False</property>
2787 <property name="xalign">0</property>
2788 <property name="yalign">0.5</property>
2789 <property name="xpad">0</property>
2790 <property name="ypad">0</property>
2791 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2792 <property name="width_chars">-1</property>
2793 <property name="single_line_mode">False</property>
2794 <property name="angle">0</property>
2795 </widget>
2796 <packing>
2797 <property name="left_attach">0</property>
2798 <property name="right_attach">1</property>
2799 <property name="top_attach">7</property>
2800 <property name="bottom_attach">8</property>
2801 <property name="x_padding">7</property>
2802 <property name="x_options">fill</property>
2803 <property name="y_options"></property>
2804 </packing>
2805 </child>
2806
2807 <child>
2808 <widget class="GtkCheckButton" id="labelshowedges">
2809 <property name="visible">True</property>
2810 <property name="can_focus">True</property>
2811 <property name="label" translatable="yes"></property>
2812 <property name="use_underline">True</property>
2813 <property name="relief">GTK_RELIEF_NORMAL</property>
2814 <property name="focus_on_click">True</property>
2815 <property name="active">False</property>
2816 <property name="inconsistent">False</property>
2817 <property name="draw_indicator">True</property>
2818 </widget>
2819 <packing>
2820 <property name="left_attach">1</property>
2821 <property name="right_attach">2</property>
2822 <property name="top_attach">7</property>
2823 <property name="bottom_attach">8</property>
2824 <property name="x_options">fill</property>
2825 <property name="y_options"></property>
2826 </packing>
2827 </child>
2828
2829 <child>
2830 <widget class="GtkCheckButton" id="labelshownodes">
2831 <property name="visible">True</property>
2832 <property name="relief">GTK_RELIEF_NORMAL</property>
2833 <property name="focus_on_click">True</property>
2834 <property name="active">False</property>
2835 <property name="inconsistent">False</property>
2836 <property name="draw_indicator">True</property>
2837
2838 <child>
2839 <placeholder/>
2840 </child>
2841 </widget>
2842 <packing>
2843 <property name="left_attach">1</property>
2844 <property name="right_attach">2</property>
2845 <property name="top_attach">6</property>
2846 <property name="bottom_attach">7</property>
2847 <property name="x_options">fill</property>
2848 <property name="y_options"></property>
2849 </packing>
2850 </child>
2851
2852 <child>
2853 <widget class="GtkCheckButton" id="labelwithdegree">
2854 <property name="visible">True</property>
2855 <property name="relief">GTK_RELIEF_NORMAL</property>
2856 <property name="focus_on_click">True</property>
2857 <property name="active">False</property>
2858 <property name="inconsistent">False</property>
2859 <property name="draw_indicator">True</property>
2860
2861 <child>
2862 <placeholder/>
2863 </child>
2864 </widget>
2865 <packing>
2866 <property name="left_attach">1</property>
2867 <property name="right_attach">2</property>
2868 <property name="top_attach">4</property>
2869 <property name="bottom_attach">5</property>
2870 <property name="x_options">fill</property>
2871 <property name="y_options">fill</property>
2872 </packing>
2873 </child>
2874
2875 <child>
2876 <widget class="GtkEntry" id="labeledgeattribute">
2877 <property name="visible">True</property>
2878 <property name="can_focus">True</property>
2879 <property name="editable">True</property>
2880 <property name="visibility">True</property>
2881 <property name="max_length">0</property>
2882 <property name="text" translatable="yes"></property>
2883 <property name="has_frame">True</property>
2884 <property name="invisible_char">*</property>
2885 <property name="activates_default">False</property>
2886 </widget>
2887 <packing>
2888 <property name="left_attach">1</property>
2889 <property name="right_attach">2</property>
2890 <property name="top_attach">3</property>
2891 <property name="bottom_attach">4</property>
2892 <property name="y_options"></property>
2893 </packing>
2894 </child>
2895
2896 <child>
2897 <widget class="GtkHBox" id="hbox8">
2898 <property name="visible">True</property>
2899 <property name="homogeneous">False</property>
2900 <property name="spacing">0</property>
2901
2902 <child>
2903 <widget class="GtkColorButton" id="nodelabelcolor">
2904 <property name="visible">True</property>
2905 <property name="can_focus">True</property>
2906 <property name="use_alpha">False</property>
2907 <property name="focus_on_click">True</property>
2908 </widget>
2909 <packing>
2910 <property name="padding">0</property>
2911 <property name="expand">False</property>
2912 <property name="fill">False</property>
2913 </packing>
2914 </child>
2915
2916 <child>
2917 <widget class="GtkLabel" id="label113">
2918 <property name="visible">True</property>
2919 <property name="label" translatable="yes"> Default Edge Label Color </property>
2920 <property name="use_underline">False</property>
2921 <property name="use_markup">False</property>
2922 <property name="justify">GTK_JUSTIFY_LEFT</property>
2923 <property name="wrap">False</property>
2924 <property name="selectable">False</property>
2925 <property name="xalign">0.5</property>
2926 <property name="yalign">0.5</property>
2927 <property name="xpad">0</property>
2928 <property name="ypad">0</property>
2929 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2930 <property name="width_chars">-1</property>
2931 <property name="single_line_mode">False</property>
2932 <property name="angle">0</property>
2933 </widget>
2934 <packing>
2935 <property name="padding">0</property>
2936 <property name="expand">False</property>
2937 <property name="fill">False</property>
2938 </packing>
2939 </child>
2940
2941 <child>
2942 <widget class="GtkColorButton" id="edgelabelcolor">
2943 <property name="visible">True</property>
2944 <property name="can_focus">True</property>
2945 <property name="use_alpha">False</property>
2946 <property name="focus_on_click">True</property>
2947 </widget>
2948 <packing>
2949 <property name="padding">0</property>
2950 <property name="expand">False</property>
2951 <property name="fill">False</property>
2952 </packing>
2953 </child>
2954 </widget>
2955 <packing>
2956 <property name="left_attach">1</property>
2957 <property name="right_attach">2</property>
2958 <property name="top_attach">1</property>
2959 <property name="bottom_attach">2</property>
2960 <property name="x_options">fill</property>
2961 <property name="y_options">fill</property>
2962 </packing>
2963 </child>
2964 </widget>
2965 <packing>
2966 <property name="x">32</property>
2967 <property name="y">26</property>
2968 </packing>
2969 </child>
2970 </widget>
2971 <packing>
2972 <property name="tab_expand">False</property>
2973 <property name="tab_fill">True</property>
2974 </packing>
2975 </child>
2976
2977 <child>
2978 <widget class="GtkLabel" id="label47">
2979 <property name="width_request">61</property>
2980 <property name="visible">True</property>
2981 <property name="label" translatable="yes">Labels</property>
2982 <property name="use_underline">False</property>
2983 <property name="use_markup">False</property>
2984 <property name="justify">GTK_JUSTIFY_LEFT</property>
2985 <property name="wrap">False</property>
2986 <property name="selectable">False</property>
2987 <property name="xalign">0.5</property>
2988 <property name="yalign">0.5</property>
2989 <property name="xpad">0</property>
2990 <property name="ypad">0</property>
2991 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2992 <property name="width_chars">-1</property>
2993 <property name="single_line_mode">False</property>
2994 <property name="angle">0</property>
2995 </widget>
2996 <packing>
2997 <property name="type">tab</property>
2998 </packing>
2999 </child>
3000
3001 <child>
3002 <widget class="GtkLayout" id="layout17">
3003 <property name="visible">True</property>
3004 <property name="width">400</property>
3005 <property name="height">400</property>
3006 <property name="hadjustment">0 0 658 0 592.2 658</property>
3007 <property name="vadjustment">0 0 425 0 382.5 425</property>
3008
3009 <child>
3010 <widget class="GtkTable" id="table5">
3011 <property name="width_request">423</property>
3012 <property name="height_request">308</property>
3013 <property name="visible">True</property>
3014 <property name="n_rows">7</property>
3015 <property name="n_columns">2</property>
3016 <property name="homogeneous">False</property>
3017 <property name="row_spacing">0</property>
3018 <property name="column_spacing">0</property>
3019
3020 <child>
3021 <widget class="GtkLabel" id="label49">
3022 <property name="visible">True</property>
3023 <property name="label" translatable="yes">Advanced Mode</property>
3024 <property name="use_underline">False</property>
3025 <property name="use_markup">False</property>
3026 <property name="justify">GTK_JUSTIFY_LEFT</property>
3027 <property name="wrap">False</property>
3028 <property name="selectable">False</property>
3029 <property name="xalign">0</property>
3030 <property name="yalign">0.5</property>
3031 <property name="xpad">5</property>
3032 <property name="ypad">0</property>
3033 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3034 <property name="width_chars">-1</property>
3035 <property name="single_line_mode">False</property>
3036 <property name="angle">0</property>
3037 </widget>
3038 <packing>
3039 <property name="left_attach">0</property>
3040 <property name="right_attach">1</property>
3041 <property name="top_attach">0</property>
3042 <property name="bottom_attach">1</property>
3043 </packing>
3044 </child>
3045
3046 <child>
3047 <widget class="GtkLabel" id="label50">
3048 <property name="visible">True</property>
3049 <property name="label" translatable="yes">Node Shape</property>
3050 <property name="use_underline">False</property>
3051 <property name="use_markup">False</property>
3052 <property name="justify">GTK_JUSTIFY_LEFT</property>
3053 <property name="wrap">False</property>
3054 <property name="selectable">False</property>
3055 <property name="xalign">0</property>
3056 <property name="yalign">0.5</property>
3057 <property name="xpad">5</property>
3058 <property name="ypad">0</property>
3059 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3060 <property name="width_chars">-1</property>
3061 <property name="single_line_mode">False</property>
3062 <property name="angle">0</property>
3063 </widget>
3064 <packing>
3065 <property name="left_attach">0</property>
3066 <property name="right_attach">1</property>
3067 <property name="top_attach">1</property>
3068 <property name="bottom_attach">2</property>
3069 </packing>
3070 </child>
3071
3072 <child>
3073 <widget class="GtkLabel" id="label52">
3074 <property name="visible">True</property>
3075 <property name="label" translatable="yes">Anti-aliasing</property>
3076 <property name="use_underline">False</property>
3077 <property name="use_markup">False</property>
3078 <property name="justify">GTK_JUSTIFY_LEFT</property>
3079 <property name="wrap">False</property>
3080 <property name="selectable">False</property>
3081 <property name="xalign">0</property>
3082 <property name="yalign">0.5</property>
3083 <property name="xpad">5</property>
3084 <property name="ypad">0</property>
3085 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3086 <property name="width_chars">-1</property>
3087 <property name="single_line_mode">False</property>
3088 <property name="angle">0</property>
3089 </widget>
3090 <packing>
3091 <property name="left_attach">0</property>
3092 <property name="right_attach">1</property>
3093 <property name="top_attach">3</property>
3094 <property name="bottom_attach">4</property>
3095 </packing>
3096 </child>
3097
3098 <child>
3099 <widget class="GtkLabel" id="label84">
3100 <property name="visible">True</property>
3101 <property name="label" translatable="yes">Node Alpha</property>
3102 <property name="use_underline">False</property>
3103 <property name="use_markup">False</property>
3104 <property name="justify">GTK_JUSTIFY_LEFT</property>
3105 <property name="wrap">False</property>
3106 <property name="selectable">False</property>
3107 <property name="xalign">0</property>
3108 <property name="yalign">0.5</property>
3109 <property name="xpad">5</property>
3110 <property name="ypad">0</property>
3111 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3112 <property name="width_chars">-1</property>
3113 <property name="single_line_mode">False</property>
3114 <property name="angle">0</property>
3115 </widget>
3116 <packing>
3117 <property name="left_attach">0</property>
3118 <property name="right_attach">1</property>
3119 <property name="top_attach">4</property>
3120 <property name="bottom_attach">5</property>
3121 </packing>
3122 </child>
3123
3124 <child>
3125 <widget class="GtkLabel" id="label85">
3126 <property name="visible">True</property>
3127 <property name="label" translatable="yes">Edge Alpha</property>
3128 <property name="use_underline">False</property>
3129 <property name="use_markup">False</property>
3130 <property name="justify">GTK_JUSTIFY_LEFT</property>
3131 <property name="wrap">False</property>
3132 <property name="selectable">False</property>
3133 <property name="xalign">0</property>
3134 <property name="yalign">0.5</property>
3135 <property name="xpad">5</property>
3136 <property name="ypad">0</property>
3137 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3138 <property name="width_chars">-1</property>
3139 <property name="single_line_mode">False</property>
3140 <property name="angle">0</property>
3141 </widget>
3142 <packing>
3143 <property name="left_attach">0</property>
3144 <property name="right_attach">1</property>
3145 <property name="top_attach">5</property>
3146 <property name="bottom_attach">6</property>
3147 </packing>
3148 </child>
3149
3150 <child>
3151 <widget class="GtkHScale" id="settingsscale1">
3152 <property name="visible">True</property>
3153 <property name="draw_value">True</property>
3154 <property name="value_pos">GTK_POS_TOP</property>
3155 <property name="digits">1</property>
3156 <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
3157 <property name="inverted">False</property>
3158 <property name="adjustment">1 0 1 0.00999999977648 0 0</property>
3159 <signal name="value_changed" handler="color_change_request" last_modification_time="Thu, 19 Nov 2009 17:09:07 GMT"/>
3160 </widget>
3161 <packing>
3162 <property name="left_attach">1</property>
3163 <property name="right_attach">2</property>
3164 <property name="top_attach">4</property>
3165 <property name="bottom_attach">5</property>
3166 </packing>
3167 </child>
3168
3169 <child>
3170 <widget class="GtkHScale" id="settingsscale2">
3171 <property name="visible">True</property>
3172 <property name="draw_value">True</property>
3173 <property name="value_pos">GTK_POS_TOP</property>
3174 <property name="digits">1</property>
3175 <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
3176 <property name="inverted">False</property>
3177 <property name="adjustment">1 0 1 0.01 0 0</property>
3178 </widget>
3179 <packing>
3180 <property name="left_attach">1</property>
3181 <property name="right_attach">2</property>
3182 <property name="top_attach">5</property>
3183 <property name="bottom_attach">6</property>
3184 </packing>
3185 </child>
3186
3187 <child>
3188 <widget class="GtkComboBox" id="settingscombobox1">
3189 <property name="visible">True</property>
3190 <property name="items" translatable="yes">OpenGL dots
3191 Spherical
3192 Custom</property>
3193 <property name="add_tearoffs">False</property>
3194 <property name="focus_on_click">True</property>
3195 </widget>
3196 <packing>
3197 <property name="left_attach">1</property>
3198 <property name="right_attach">2</property>
3199 <property name="top_attach">1</property>
3200 <property name="bottom_attach">2</property>
3201 </packing>
3202 </child>
3203
3204 <child>
3205 <widget class="GtkCheckButton" id="settingsChkBox10">
3206 <property name="visible">True</property>
3207 <property name="can_focus">True</property>
3208 <property name="label" translatable="yes"></property>
3209 <property name="use_underline">True</property>
3210 <property name="relief">GTK_RELIEF_NORMAL</property>
3211 <property name="focus_on_click">True</property>
3212 <property name="active">False</property>
3213 <property name="inconsistent">False</property>
3214 <property name="draw_indicator">True</property>
3215 </widget>
3216 <packing>
3217 <property name="left_attach">1</property>
3218 <property name="right_attach">2</property>
3219 <property name="top_attach">0</property>
3220 <property name="bottom_attach">1</property>
3221 <property name="x_options">fill</property>
3222 <property name="y_options"></property>
3223 </packing>
3224 </child>
3225
3226 <child>
3227 <widget class="GtkCheckButton" id="settingsChkBox12">
3228 <property name="visible">True</property>
3229 <property name="can_focus">True</property>
3230 <property name="label" translatable="yes"></property>
3231 <property name="use_underline">True</property>
3232 <property name="relief">GTK_RELIEF_NORMAL</property>
3233 <property name="focus_on_click">True</property>
3234 <property name="active">False</property>
3235 <property name="inconsistent">False</property>
3236 <property name="draw_indicator">True</property>
3237 </widget>
3238 <packing>
3239 <property name="left_attach">1</property>
3240 <property name="right_attach">2</property>
3241 <property name="top_attach">3</property>
3242 <property name="bottom_attach">4</property>
3243 <property name="x_options">fill</property>
3244 <property name="y_options"></property>
3245 </packing>
3246 </child>
3247
3248 <child>
3249 <widget class="GtkLabel" id="label119">
3250 <property name="visible">True</property>
3251 <property name="label" translatable="yes">Node Size</property>
3252 <property name="use_underline">False</property>
3253 <property name="use_markup">False</property>
3254 <property name="justify">GTK_JUSTIFY_LEFT</property>
3255 <property name="wrap">False</property>
3256 <property name="selectable">False</property>
3257 <property name="xalign">0</property>
3258 <property name="yalign">0.5</property>
3259 <property name="xpad">5</property>
3260 <property name="ypad">0</property>
3261 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3262 <property name="width_chars">-1</property>
3263 <property name="single_line_mode">False</property>
3264 <property name="angle">0</property>
3265 </widget>
3266 <packing>
3267 <property name="left_attach">0</property>
3268 <property name="right_attach">1</property>
3269 <property name="top_attach">6</property>
3270 <property name="bottom_attach">7</property>
3271 <property name="x_options">fill</property>
3272 <property name="y_options"></property>
3273 </packing>
3274 </child>
3275
3276 <child>
3277 <widget class="GtkHScale" id="nodesizescale">
3278 <property name="visible">True</property>
3279 <property name="can_focus">True</property>
3280 <property name="draw_value">True</property>
3281 <property name="value_pos">GTK_POS_TOP</property>
3282 <property name="digits">0</property>
3283 <property name="update_policy">GTK_UPDATE_CONTINUOUS</property>
3284 <property name="inverted">False</property>
3285 <property name="adjustment">5 0 100 0 0 0</property>
3286 <signal name="value_changed" handler="size_change_request" last_modification_time="Thu, 19 Nov 2009 16:56:12 GMT"/>
3287 </widget>
3288 <packing>
3289 <property name="left_attach">1</property>
3290 <property name="right_attach">2</property>
3291 <property name="top_attach">6</property>
3292 <property name="bottom_attach">7</property>
3293 <property name="x_options">fill</property>
3294 <property name="y_options">fill</property>
3295 </packing>
3296 </child>
3297 </widget>
3298 <packing>
3299 <property name="x">28</property>
3300 <property name="y">26</property>
3301 </packing>
3302 </child>
3303 </widget>
3304 <packing>
3305 <property name="tab_expand">False</property>
3306 <property name="tab_fill">True</property>
3307 </packing>
3308 </child>
3309
3310 <child>
3311 <widget class="GtkLabel" id="label48">
3312 <property name="width_request">56</property>
3313 <property name="visible">True</property>
3314 <property name="label" translatable="yes">Graph </property>
3315 <property name="use_underline">False</property>
3316 <property name="use_markup">False</property>
3317 <property name="justify">GTK_JUSTIFY_LEFT</property>
3318 <property name="wrap">False</property>
3319 <property name="selectable">False</property>
3320 <property name="xalign">0.5</property>
3321 <property name="yalign">0.5</property>
3322 <property name="xpad">0</property>
3323 <property name="ypad">0</property>
3324 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3325 <property name="width_chars">-1</property>
3326 <property name="single_line_mode">False</property>
3327 <property name="angle">0</property>
3328 </widget>
3329 <packing>
3330 <property name="type">tab</property>
3331 </packing>
3332 </child>
3333
3334 <child>
3335 <widget class="GtkLayout" id="layout18">
3336 <property name="visible">True</property>
3337 <property name="width">400</property>
3338 <property name="height">400</property>
3339 <property name="hadjustment">0 0 658 0 592.2 658</property>
3340 <property name="vadjustment">0 0 425 0 382.5 425</property>
3341
3342 <child>
3343 <widget class="GtkTable" id="table6">
3344 <property name="width_request">176</property>
3345 <property name="height_request">84</property>
3346 <property name="visible">True</property>
3347 <property name="n_rows">3</property>
3348 <property name="n_columns">2</property>
3349 <property name="homogeneous">False</property>
3350 <property name="row_spacing">2</property>
3351 <property name="column_spacing">0</property>
3352
3353 <child>
3354 <widget class="GtkLabel" id="label56">
3355 <property name="width_request">84</property>
3356 <property name="visible">True</property>
3357 <property name="label" translatable="yes">Width</property>
3358 <property name="use_underline">False</property>
3359 <property name="use_markup">False</property>
3360 <property name="justify">GTK_JUSTIFY_LEFT</property>
3361 <property name="wrap">False</property>
3362 <property name="selectable">False</property>
3363 <property name="xalign">0</property>
3364 <property name="yalign">0.5</property>
3365 <property name="xpad">0</property>
3366 <property name="ypad">0</property>
3367 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3368 <property name="width_chars">-1</property>
3369 <property name="single_line_mode">False</property>
3370 <property name="angle">0</property>
3371 </widget>
3372 <packing>
3373 <property name="left_attach">0</property>
3374 <property name="right_attach">1</property>
3375 <property name="top_attach">0</property>
3376 <property name="bottom_attach">1</property>
3377 <property name="x_options"></property>
3378 </packing>
3379 </child>
3380
3381 <child>
3382 <widget class="GtkSpinButton" id="settingsspinbutton2">
3383 <property name="visible">True</property>
3384 <property name="can_focus">True</property>
3385 <property name="climb_rate">1</property>
3386 <property name="digits">0</property>
3387 <property name="numeric">False</property>
3388 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3389 <property name="snap_to_ticks">False</property>
3390 <property name="wrap">False</property>
3391 <property name="adjustment">3 0 5000 1 50 10</property>
3392 </widget>
3393 <packing>
3394 <property name="left_attach">1</property>
3395 <property name="right_attach">2</property>
3396 <property name="top_attach">1</property>
3397 <property name="bottom_attach">2</property>
3398 <property name="x_options"></property>
3399 </packing>
3400 </child>
3401
3402 <child>
3403 <widget class="GtkSpinButton" id="settingsspinbutton1">
3404 <property name="width_request">128</property>
3405 <property name="visible">True</property>
3406 <property name="can_focus">True</property>
3407 <property name="climb_rate">1</property>
3408 <property name="digits">0</property>
3409 <property name="numeric">False</property>
3410 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3411 <property name="snap_to_ticks">False</property>
3412 <property name="wrap">False</property>
3413 <property name="adjustment">3 0 5000 1 50 10</property>
3414 </widget>
3415 <packing>
3416 <property name="left_attach">1</property>
3417 <property name="right_attach">2</property>
3418 <property name="top_attach">0</property>
3419 <property name="bottom_attach">1</property>
3420 </packing>
3421 </child>
3422
3423 <child>
3424 <widget class="GtkLabel" id="label58">
3425 <property name="width_request">84</property>
3426 <property name="visible">True</property>
3427 <property name="label" translatable="yes">Height</property>
3428 <property name="use_underline">False</property>
3429 <property name="use_markup">False</property>
3430 <property name="justify">GTK_JUSTIFY_LEFT</property>
3431 <property name="wrap">False</property>
3432 <property name="selectable">False</property>
3433 <property name="xalign">0</property>
3434 <property name="yalign">0.5</property>
3435 <property name="xpad">0</property>
3436 <property name="ypad">0</property>
3437 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3438 <property name="width_chars">-1</property>
3439 <property name="single_line_mode">False</property>
3440 <property name="angle">0</property>
3441 </widget>
3442 <packing>
3443 <property name="left_attach">0</property>
3444 <property name="right_attach">1</property>
3445 <property name="top_attach">1</property>
3446 <property name="bottom_attach">2</property>
3447 <property name="x_options"></property>
3448 </packing>
3449 </child>
3450
3451 <child>
3452 <widget class="GtkLabel" id="label61">
3453 <property name="width_request">84</property>
3454 <property name="visible">True</property>
3455 <property name="label" translatable="yes">Zoom X</property>
3456 <property name="use_underline">False</property>
3457 <property name="use_markup">False</property>
3458 <property name="justify">GTK_JUSTIFY_LEFT</property>
3459 <property name="wrap">False</property>
3460 <property name="selectable">False</property>
3461 <property name="xalign">0</property>
3462 <property name="yalign">0.5</property>
3463 <property name="xpad">0</property>
3464 <property name="ypad">0</property>
3465 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3466 <property name="width_chars">-1</property>
3467 <property name="single_line_mode">False</property>
3468 <property name="angle">0</property>
3469 </widget>
3470 <packing>
3471 <property name="left_attach">0</property>
3472 <property name="right_attach">1</property>
3473 <property name="top_attach">2</property>
3474 <property name="bottom_attach">3</property>
3475 <property name="x_options"></property>
3476 </packing>
3477 </child>
3478
3479 <child>
3480 <widget class="GtkSpinButton" id="settingsspinbutton3">
3481 <property name="visible">True</property>
3482 <property name="can_focus">True</property>
3483 <property name="climb_rate">1</property>
3484 <property name="digits">2</property>
3485 <property name="numeric">False</property>
3486 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3487 <property name="snap_to_ticks">False</property>
3488 <property name="wrap">False</property>
3489 <property name="adjustment">2 2 20 1 50 10</property>
3490 </widget>
3491 <packing>
3492 <property name="left_attach">1</property>
3493 <property name="right_attach">2</property>
3494 <property name="top_attach">2</property>
3495 <property name="bottom_attach">3</property>
3496 <property name="x_options"></property>
3497 </packing>
3498 </child>
3499 </widget>
3500 <packing>
3501 <property name="x">40</property>
3502 <property name="y">48</property>
3503 </packing>
3504 </child>
3505
3506 <child>
3507 <widget class="GtkLabel" id="label59">
3508 <property name="width_request">118</property>
3509 <property name="height_request">25</property>
3510 <property name="visible">True</property>
3511 <property name="label" translatable="yes">Magnifier Settings</property>
3512 <property name="use_underline">False</property>
3513 <property name="use_markup">False</property>
3514 <property name="justify">GTK_JUSTIFY_LEFT</property>
3515 <property name="wrap">False</property>
3516 <property name="selectable">False</property>
3517 <property name="xalign">0</property>
3518 <property name="yalign">0.5</property>
3519 <property name="xpad">5</property>
3520 <property name="ypad">0</property>
3521 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3522 <property name="width_chars">-1</property>
3523 <property name="single_line_mode">False</property>
3524 <property name="angle">0</property>
3525 </widget>
3526 <packing>
3527 <property name="x">32</property>
3528 <property name="y">15</property>
3529 </packing>
3530 </child>
3531
3532 <child>
3533 <widget class="GtkHSeparator" id="hseparator10">
3534 <property name="width_request">401</property>
3535 <property name="height_request">20</property>
3536 <property name="visible">True</property>
3537 </widget>
3538 <packing>
3539 <property name="x">35</property>
3540 <property name="y">29</property>
3541 </packing>
3542 </child>
3543
3544 <child>
3545 <widget class="GtkLabel" id="label60">
3546 <property name="width_request">194</property>
3547 <property name="height_request">20</property>
3548 <property name="visible">True</property>
3549 <property name="label" translatable="yes">Fisheye Magnifier Settings</property>
3550 <property name="use_underline">False</property>
3551 <property name="use_markup">False</property>
3552 <property name="justify">GTK_JUSTIFY_LEFT</property>
3553 <property name="wrap">False</property>
3554 <property name="selectable">False</property>
3555 <property name="xalign">0</property>
3556 <property name="yalign">0.5</property>
3557 <property name="xpad">5</property>
3558 <property name="ypad">0</property>
3559 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3560 <property name="width_chars">-1</property>
3561 <property name="single_line_mode">False</property>
3562 <property name="angle">0</property>
3563 </widget>
3564 <packing>
3565 <property name="x">33</property>
3566 <property name="y">159</property>
3567 </packing>
3568 </child>
3569
3570 <child>
3571 <widget class="GtkHSeparator" id="hseparator11">
3572 <property name="width_request">400</property>
3573 <property name="height_request">31</property>
3574 <property name="visible">True</property>
3575 </widget>
3576 <packing>
3577 <property name="x">35</property>
3578 <property name="y">166</property>
3579 </packing>
3580 </child>
3581
3582 <child>
3583 <widget class="GtkTable" id="table7">
3584 <property name="width_request">124</property>
3585 <property name="height_request">67</property>
3586 <property name="visible">True</property>
3587 <property name="n_rows">2</property>
3588 <property name="n_columns">2</property>
3589 <property name="homogeneous">False</property>
3590 <property name="row_spacing">2</property>
3591 <property name="column_spacing">0</property>
3592
3593 <child>
3594 <widget class="GtkLabel" id="label63">
3595 <property name="width_request">84</property>
3596 <property name="visible">True</property>
3597 <property name="label" translatable="yes">Distortion</property>
3598 <property name="use_underline">False</property>
3599 <property name="use_markup">False</property>
3600 <property name="justify">GTK_JUSTIFY_LEFT</property>
3601 <property name="wrap">False</property>
3602 <property name="selectable">False</property>
3603 <property name="xalign">0</property>
3604 <property name="yalign">0.5</property>
3605 <property name="xpad">0</property>
3606 <property name="ypad">0</property>
3607 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3608 <property name="width_chars">-1</property>
3609 <property name="single_line_mode">False</property>
3610 <property name="angle">0</property>
3611 </widget>
3612 <packing>
3613 <property name="left_attach">0</property>
3614 <property name="right_attach">1</property>
3615 <property name="top_attach">1</property>
3616 <property name="bottom_attach">2</property>
3617 <property name="x_options"></property>
3618 </packing>
3619 </child>
3620
3621 <child>
3622 <widget class="GtkSpinButton" id="settingsspinbutton4">
3623 <property name="width_request">128</property>
3624 <property name="visible">True</property>
3625 <property name="can_focus">True</property>
3626 <property name="climb_rate">1</property>
3627 <property name="digits">0</property>
3628 <property name="numeric">False</property>
3629 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3630 <property name="snap_to_ticks">False</property>
3631 <property name="wrap">False</property>
3632 <property name="adjustment">5 0 5000 1 50 10</property>
3633 </widget>
3634 <packing>
3635 <property name="left_attach">1</property>
3636 <property name="right_attach">2</property>
3637 <property name="top_attach">0</property>
3638 <property name="bottom_attach">1</property>
3639 </packing>
3640 </child>
3641
3642 <child>
3643 <widget class="GtkSpinButton" id="settingsspinbutton5">
3644 <property name="visible">True</property>
3645 <property name="can_focus">True</property>
3646 <property name="climb_rate">1</property>
3647 <property name="digits">0</property>
3648 <property name="numeric">False</property>
3649 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3650 <property name="snap_to_ticks">False</property>
3651 <property name="wrap">False</property>
3652 <property name="adjustment">4 0 5000 1 50 10</property>
3653 </widget>
3654 <packing>
3655 <property name="left_attach">1</property>
3656 <property name="right_attach">2</property>
3657 <property name="top_attach">1</property>
3658 <property name="bottom_attach">2</property>
3659 <property name="x_options"></property>
3660 </packing>
3661 </child>
3662
3663 <child>
3664 <widget class="GtkLabel" id="label65">
3665 <property name="width_request">84</property>
3666 <property name="visible">True</property>
3667 <property name="label" translatable="yes">Radius</property>
3668 <property name="use_underline">False</property>
3669 <property name="use_markup">False</property>
3670 <property name="justify">GTK_JUSTIFY_LEFT</property>
3671 <property name="wrap">False</property>
3672 <property name="selectable">False</property>
3673 <property name="xalign">0</property>
3674 <property name="yalign">0.5</property>
3675 <property name="xpad">0</property>
3676 <property name="ypad">0</property>
3677 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3678 <property name="width_chars">-1</property>
3679 <property name="single_line_mode">False</property>
3680 <property name="angle">0</property>
3681 </widget>
3682 <packing>
3683 <property name="left_attach">0</property>
3684 <property name="right_attach">1</property>
3685 <property name="top_attach">0</property>
3686 <property name="bottom_attach">1</property>
3687 <property name="x_options"></property>
3688 </packing>
3689 </child>
3690 </widget>
3691 <packing>
3692 <property name="x">37</property>
3693 <property name="y">192</property>
3694 </packing>
3695 </child>
3696 </widget>
3697 <packing>
3698 <property name="tab_expand">False</property>
3699 <property name="tab_fill">True</property>
3700 </packing>
3701 </child>
3702
3703 <child>
3704 <widget class="GtkLabel" id="label55">
3705 <property name="visible">True</property>
3706 <property name="label" translatable="yes">Magnifiers</property>
3707 <property name="use_underline">False</property>
3708 <property name="use_markup">False</property>
3709 <property name="justify">GTK_JUSTIFY_LEFT</property>
3710 <property name="wrap">False</property>
3711 <property name="selectable">False</property>
3712 <property name="xalign">0.5</property>
3713 <property name="yalign">0.5</property>
3714 <property name="xpad">0</property>
3715 <property name="ypad">0</property>
3716 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3717 <property name="width_chars">-1</property>
3718 <property name="single_line_mode">False</property>
3719 <property name="angle">0</property>
3720 </widget>
3721 <packing>
3722 <property name="type">tab</property>
3723 </packing>
3724 </child>
3725
3726 <child>
3727 <widget class="GtkLayout" id="layout19">
3728 <property name="visible">True</property>
3729 <property name="width">400</property>
3730 <property name="height">400</property>
3731 <property name="hadjustment">0 0 658 0 592.2 658</property>
3732 <property name="vadjustment">0 0 425 0 382.5 425</property>
3733
3734 <child>
3735 <widget class="GtkVBox" id="vbox6">
3736 <property name="width_request">430</property>
3737 <property name="height_request">405</property>
3738 <property name="visible">True</property>
3739 <property name="homogeneous">False</property>
3740 <property name="spacing">0</property>
3741
3742 <child>
3743 <widget class="GtkTable" id="table9">
3744 <property name="height_request">76</property>
3745 <property name="visible">True</property>
3746 <property name="n_rows">4</property>
3747 <property name="n_columns">3</property>
3748 <property name="homogeneous">False</property>
3749 <property name="row_spacing">0</property>
3750 <property name="column_spacing">0</property>
3751
3752 <child>
3753 <widget class="GtkLabel" id="label66">
3754 <property name="width_request">1</property>
3755 <property name="visible">True</property>
3756 <property name="label" translatable="yes"># of fine nodes</property>
3757 <property name="use_underline">False</property>
3758 <property name="use_markup">False</property>
3759 <property name="justify">GTK_JUSTIFY_LEFT</property>
3760 <property name="wrap">False</property>
3761 <property name="selectable">False</property>
3762 <property name="xalign">0</property>
3763 <property name="yalign">0.5</property>
3764 <property name="xpad">5</property>
3765 <property name="ypad">0</property>
3766 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3767 <property name="width_chars">-1</property>
3768 <property name="single_line_mode">False</property>
3769 <property name="angle">0</property>
3770 </widget>
3771 <packing>
3772 <property name="left_attach">0</property>
3773 <property name="right_attach">1</property>
3774 <property name="top_attach">0</property>
3775 <property name="bottom_attach">1</property>
3776 <property name="x_options"></property>
3777 </packing>
3778 </child>
3779
3780 <child>
3781 <widget class="GtkSpinButton" id="settingsspinbutton6">
3782 <property name="visible">True</property>
3783 <property name="can_focus">True</property>
3784 <property name="climb_rate">1</property>
3785 <property name="digits">0</property>
3786 <property name="numeric">False</property>
3787 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3788 <property name="snap_to_ticks">False</property>
3789 <property name="wrap">False</property>
3790 <property name="adjustment">0 0 9999999 1 10 10</property>
3791 </widget>
3792 <packing>
3793 <property name="left_attach">1</property>
3794 <property name="right_attach">2</property>
3795 <property name="top_attach">0</property>
3796 <property name="bottom_attach">1</property>
3797 </packing>
3798 </child>
3799
3800 <child>
3801 <widget class="GtkLabel" id="label67">
3802 <property name="width_request">1</property>
3803 <property name="visible">True</property>
3804 <property name="label" translatable="yes">Coarsening factor</property>
3805 <property name="use_underline">False</property>
3806 <property name="use_markup">False</property>
3807 <property name="justify">GTK_JUSTIFY_LEFT</property>
3808 <property name="wrap">False</property>
3809 <property name="selectable">False</property>
3810 <property name="xalign">0</property>
3811 <property name="yalign">0.5</property>
3812 <property name="xpad">5</property>
3813 <property name="ypad">0</property>
3814 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3815 <property name="width_chars">-1</property>
3816 <property name="single_line_mode">False</property>
3817 <property name="angle">0</property>
3818 </widget>
3819 <packing>
3820 <property name="left_attach">0</property>
3821 <property name="right_attach">1</property>
3822 <property name="top_attach">1</property>
3823 <property name="bottom_attach">2</property>
3824 <property name="x_options"></property>
3825 </packing>
3826 </child>
3827
3828 <child>
3829 <widget class="GtkSpinButton" id="settingsspinbutton7">
3830 <property name="visible">True</property>
3831 <property name="can_focus">True</property>
3832 <property name="climb_rate">1</property>
3833 <property name="digits">4</property>
3834 <property name="numeric">False</property>
3835 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3836 <property name="snap_to_ticks">False</property>
3837 <property name="wrap">False</property>
3838 <property name="adjustment">0 0 9999999 0.1 10 10</property>
3839 </widget>
3840 <packing>
3841 <property name="left_attach">1</property>
3842 <property name="right_attach">2</property>
3843 <property name="top_attach">1</property>
3844 <property name="bottom_attach">2</property>
3845 </packing>
3846 </child>
3847
3848 <child>
3849 <widget class="GtkSpinButton" id="settingsspinbutton8">
3850 <property name="visible">True</property>
3851 <property name="can_focus">True</property>
3852 <property name="climb_rate">1</property>
3853 <property name="digits">4</property>
3854 <property name="numeric">False</property>
3855 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
3856 <property name="snap_to_ticks">False</property>
3857 <property name="wrap">False</property>
3858 <property name="adjustment">0 0 9999999 0.1 10 10</property>
3859 </widget>
3860 <packing>
3861 <property name="left_attach">1</property>
3862 <property name="right_attach">2</property>
3863 <property name="top_attach">2</property>
3864 <property name="bottom_attach">3</property>
3865 </packing>
3866 </child>
3867
3868 <child>
3869 <widget class="GtkLabel" id="label102">
3870 <property name="visible">True</property>
3871 <property name="label" translatable="yes"># Of Fine Nodes</property>
3872 <property name="use_underline">False</property>
3873 <property name="use_markup">False</property>
3874 <property name="justify">GTK_JUSTIFY_LEFT</property>
3875 <property name="wrap">False</property>
3876 <property name="selectable">False</property>
3877 <property name="xalign">0</property>
3878 <property name="yalign">0.5</property>
3879 <property name="xpad">0</property>
3880 <property name="ypad">0</property>
3881 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3882 <property name="width_chars">-1</property>
3883 <property name="single_line_mode">False</property>
3884 <property name="angle">0</property>
3885 </widget>
3886 <packing>
3887 <property name="left_attach">0</property>
3888 <property name="right_attach">1</property>
3889 <property name="top_attach">0</property>
3890 <property name="bottom_attach">1</property>
3891 <property name="x_options">fill</property>
3892 <property name="y_options"></property>
3893 </packing>
3894 </child>
3895
3896 <child>
3897 <widget class="GtkLabel" id="label104">
3898 <property name="visible">True</property>
3899 <property name="label" translatable="yes">Distortion Factor</property>
3900 <property name="use_underline">False</property>
3901 <property name="use_markup">False</property>
3902 <property name="justify">GTK_JUSTIFY_LEFT</property>
3903 <property name="wrap">False</property>
3904 <property name="selectable">False</property>
3905 <property name="xalign">0</property>
3906 <property name="yalign">0.5</property>
3907 <property name="xpad">0</property>
3908 <property name="ypad">0</property>
3909 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3910 <property name="width_chars">-1</property>
3911 <property name="single_line_mode">False</property>
3912 <property name="angle">0</property>
3913 </widget>
3914 <packing>
3915 <property name="left_attach">0</property>
3916 <property name="right_attach">1</property>
3917 <property name="top_attach">2</property>
3918 <property name="bottom_attach">3</property>
3919 <property name="x_options">fill</property>
3920 <property name="y_options"></property>
3921 </packing>
3922 </child>
3923
3924 <child>
3925 <widget class="GtkLabel" id="label103">
3926 <property name="visible">True</property>
3927 <property name="label" translatable="yes">Coarsening Factor</property>
3928 <property name="use_underline">False</property>
3929 <property name="use_markup">False</property>
3930 <property name="justify">GTK_JUSTIFY_LEFT</property>
3931 <property name="wrap">False</property>
3932 <property name="selectable">False</property>
3933 <property name="xalign">0</property>
3934 <property name="yalign">0.5</property>
3935 <property name="xpad">0</property>
3936 <property name="ypad">0</property>
3937 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3938 <property name="width_chars">-1</property>
3939 <property name="single_line_mode">False</property>
3940 <property name="angle">0</property>
3941 </widget>
3942 <packing>
3943 <property name="left_attach">0</property>
3944 <property name="right_attach">1</property>
3945 <property name="top_attach">1</property>
3946 <property name="bottom_attach">2</property>
3947 <property name="y_options"></property>
3948 </packing>
3949 </child>
3950
3951 <child>
3952 <widget class="GtkLabel" id="label116">
3953 <property name="visible">True</property>
3954 <property name="label" translatable="yes">Fine Node Label Attribute</property>
3955 <property name="use_underline">False</property>
3956 <property name="use_markup">False</property>
3957 <property name="justify">GTK_JUSTIFY_LEFT</property>
3958 <property name="wrap">False</property>
3959 <property name="selectable">False</property>
3960 <property name="xalign">0</property>
3961 <property name="yalign">0.5</property>
3962 <property name="xpad">0</property>
3963 <property name="ypad">0</property>
3964 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3965 <property name="width_chars">-1</property>
3966 <property name="single_line_mode">False</property>
3967 <property name="angle">0</property>
3968 </widget>
3969 <packing>
3970 <property name="left_attach">0</property>
3971 <property name="right_attach">1</property>
3972 <property name="top_attach">3</property>
3973 <property name="bottom_attach">4</property>
3974 <property name="x_options">fill</property>
3975 <property name="y_options"></property>
3976 </packing>
3977 </child>
3978
3979 <child>
3980 <widget class="GtkEntry" id="finenodelabelattribute">
3981 <property name="visible">True</property>
3982 <property name="tooltip" translatable="yes">leave blank to show node id</property>
3983 <property name="can_focus">True</property>
3984 <property name="editable">True</property>
3985 <property name="visibility">True</property>
3986 <property name="max_length">0</property>
3987 <property name="text" translatable="yes"></property>
3988 <property name="has_frame">True</property>
3989 <property name="invisible_char">*</property>
3990 <property name="activates_default">False</property>
3991 </widget>
3992 <packing>
3993 <property name="left_attach">1</property>
3994 <property name="right_attach">2</property>
3995 <property name="top_attach">3</property>
3996 <property name="bottom_attach">4</property>
3997 <property name="y_options"></property>
3998 </packing>
3999 </child>
4000 </widget>
4001 <packing>
4002 <property name="padding">0</property>
4003 <property name="expand">False</property>
4004 <property name="fill">True</property>
4005 </packing>
4006 </child>
4007
4008 <child>
4009 <widget class="GtkHSeparator" id="hseparator12">
4010 <property name="height_request">38</property>
4011 <property name="visible">True</property>
4012 </widget>
4013 <packing>
4014 <property name="padding">0</property>
4015 <property name="expand">False</property>
4016 <property name="fill">True</property>
4017 </packing>
4018 </child>
4019
4020 <child>
4021 <widget class="GtkTable" id="table8">
4022 <property name="height_request">61</property>
4023 <property name="visible">True</property>
4024 <property name="n_rows">2</property>
4025 <property name="n_columns">3</property>
4026 <property name="homogeneous">False</property>
4027 <property name="row_spacing">0</property>
4028 <property name="column_spacing">0</property>
4029
4030 <child>
4031 <widget class="GtkCheckButton" id="settingsChkBox13">
4032 <property name="visible">True</property>
4033 <property name="label" translatable="yes">Dist 2 limit</property>
4034 <property name="use_underline">True</property>
4035 <property name="relief">GTK_RELIEF_NORMAL</property>
4036 <property name="focus_on_click">True</property>
4037 <property name="active">False</property>
4038 <property name="inconsistent">False</property>
4039 <property name="draw_indicator">True</property>
4040 </widget>
4041 <packing>
4042 <property name="left_attach">0</property>
4043 <property name="right_attach">1</property>
4044 <property name="top_attach">0</property>
4045 <property name="bottom_attach">1</property>
4046 </packing>
4047 </child>
4048
4049 <child>
4050 <widget class="GtkCheckButton" id="settingsChkBox14">
4051 <property name="visible">True</property>
4052 <property name="label" translatable="yes">Animate</property>
4053 <property name="use_underline">True</property>
4054 <property name="relief">GTK_RELIEF_NORMAL</property>
4055 <property name="focus_on_click">True</property>
4056 <property name="active">False</property>
4057 <property name="inconsistent">False</property>
4058 <property name="draw_indicator">True</property>
4059 </widget>
4060 <packing>
4061 <property name="left_attach">1</property>
4062 <property name="right_attach">2</property>
4063 <property name="top_attach">0</property>
4064 <property name="bottom_attach">1</property>
4065 </packing>
4066 </child>
4067
4068 <child>
4069 <widget class="GtkCheckButton" id="settingsChkBox15">
4070 <property name="visible">True</property>
4071 <property name="label" translatable="yes">Label fine nodes</property>
4072 <property name="use_underline">True</property>
4073 <property name="relief">GTK_RELIEF_NORMAL</property>
4074 <property name="focus_on_click">True</property>
4075 <property name="active">False</property>
4076 <property name="inconsistent">False</property>
4077 <property name="draw_indicator">True</property>
4078 </widget>
4079 <packing>
4080 <property name="left_attach">2</property>
4081 <property name="right_attach">3</property>
4082 <property name="top_attach">0</property>
4083 <property name="bottom_attach">1</property>
4084 </packing>
4085 </child>
4086
4087 <child>
4088 <widget class="GtkCheckButton" id="settingsChkBox16">
4089 <property name="visible">True</property>
4090 <property name="label" translatable="yes">Color nodes</property>
4091 <property name="use_underline">True</property>
4092 <property name="relief">GTK_RELIEF_NORMAL</property>
4093 <property name="focus_on_click">True</property>
4094 <property name="active">False</property>
4095 <property name="inconsistent">False</property>
4096 <property name="draw_indicator">True</property>
4097 </widget>
4098 <packing>
4099 <property name="left_attach">0</property>
4100 <property name="right_attach">1</property>
4101 <property name="top_attach">1</property>
4102 <property name="bottom_attach">2</property>
4103 </packing>
4104 </child>
4105
4106 <child>
4107 <widget class="GtkCheckButton" id="settingsChkBox17">
4108 <property name="visible">True</property>
4109 <property name="label" translatable="yes">Label Coarse Nodes</property>
4110 <property name="use_underline">True</property>
4111 <property name="relief">GTK_RELIEF_NORMAL</property>
4112 <property name="focus_on_click">True</property>
4113 <property name="active">False</property>
4114 <property name="inconsistent">False</property>
4115 <property name="draw_indicator">True</property>
4116 </widget>
4117 <packing>
4118 <property name="left_attach">1</property>
4119 <property name="right_attach">2</property>
4120 <property name="top_attach">1</property>
4121 <property name="bottom_attach">2</property>
4122 </packing>
4123 </child>
4124
4125 <child>
4126 <widget class="GtkCheckButton" id="settingsChkBox18">
4127 <property name="visible">True</property>
4128 <property name="label" translatable="yes">Label focus</property>
4129 <property name="use_underline">True</property>
4130 <property name="relief">GTK_RELIEF_NORMAL</property>
4131 <property name="focus_on_click">True</property>
4132 <property name="active">False</property>
4133 <property name="inconsistent">False</property>
4134 <property name="draw_indicator">True</property>
4135 </widget>
4136 <packing>
4137 <property name="left_attach">2</property>
4138 <property name="right_attach">3</property>
4139 <property name="top_attach">1</property>
4140 <property name="bottom_attach">2</property>
4141 </packing>
4142 </child>
4143 </widget>
4144 <packing>
4145 <property name="padding">0</property>
4146 <property name="expand">False</property>
4147 <property name="fill">True</property>
4148 </packing>
4149 </child>
4150
4151 <child>
4152 <widget class="GtkHSeparator" id="hseparator13">
4153 <property name="height_request">46</property>
4154 <property name="visible">True</property>
4155 </widget>
4156 <packing>
4157 <property name="padding">0</property>
4158 <property name="expand">False</property>
4159 <property name="fill">True</property>
4160 </packing>
4161 </child>
4162
4163 <child>
4164 <widget class="GtkLabel" id="label69">
4165 <property name="visible">True</property>
4166 <property name="label" translatable="yes">Color extremes</property>
4167 <property name="use_underline">False</property>
4168 <property name="use_markup">False</property>
4169 <property name="justify">GTK_JUSTIFY_LEFT</property>
4170 <property name="wrap">False</property>
4171 <property name="selectable">False</property>
4172 <property name="xalign">0</property>
4173 <property name="yalign">0.5</property>
4174 <property name="xpad">10</property>
4175 <property name="ypad">0</property>
4176 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4177 <property name="width_chars">-1</property>
4178 <property name="single_line_mode">False</property>
4179 <property name="angle">0</property>
4180 </widget>
4181 <packing>
4182 <property name="padding">0</property>
4183 <property name="expand">False</property>
4184 <property name="fill">True</property>
4185 </packing>
4186 </child>
4187
4188 <child>
4189 <widget class="GtkTable" id="table10">
4190 <property name="visible">True</property>
4191 <property name="n_rows">1</property>
4192 <property name="n_columns">5</property>
4193 <property name="homogeneous">False</property>
4194 <property name="row_spacing">0</property>
4195 <property name="column_spacing">0</property>
4196
4197 <child>
4198 <widget class="GtkLabel" id="label70">
4199 <property name="width_request">122</property>
4200 <property name="height_request">32</property>
4201 <property name="visible">True</property>
4202 <property name="label" translatable="yes">Finest:</property>
4203 <property name="use_underline">False</property>
4204 <property name="use_markup">False</property>
4205 <property name="justify">GTK_JUSTIFY_LEFT</property>
4206 <property name="wrap">False</property>
4207 <property name="selectable">False</property>
4208 <property name="xalign">0</property>
4209 <property name="yalign">0.5</property>
4210 <property name="xpad">30</property>
4211 <property name="ypad">0</property>
4212 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4213 <property name="width_chars">-1</property>
4214 <property name="single_line_mode">False</property>
4215 <property name="angle">0</property>
4216 </widget>
4217 <packing>
4218 <property name="left_attach">0</property>
4219 <property name="right_attach">1</property>
4220 <property name="top_attach">0</property>
4221 <property name="bottom_attach">1</property>
4222 <property name="x_options"></property>
4223 <property name="y_options"></property>
4224 </packing>
4225 </child>
4226
4227 <child>
4228 <widget class="GtkColorButton" id="settingsColorBtn10">
4229 <property name="visible">True</property>
4230 <property name="use_alpha">False</property>
4231 <property name="focus_on_click">True</property>
4232 </widget>
4233 <packing>
4234 <property name="left_attach">1</property>
4235 <property name="right_attach">2</property>
4236 <property name="top_attach">0</property>
4237 <property name="bottom_attach">1</property>
4238 </packing>
4239 </child>
4240
4241 <child>
4242 <widget class="GtkLabel" id="label71">
4243 <property name="width_request">122</property>
4244 <property name="height_request">32</property>
4245 <property name="visible">True</property>
4246 <property name="label" translatable="yes">Coarsest:</property>
4247 <property name="use_underline">False</property>
4248 <property name="use_markup">False</property>
4249 <property name="justify">GTK_JUSTIFY_LEFT</property>
4250 <property name="wrap">False</property>
4251 <property name="selectable">False</property>
4252 <property name="xalign">0</property>
4253 <property name="yalign">0.5</property>
4254 <property name="xpad">30</property>
4255 <property name="ypad">0</property>
4256 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4257 <property name="width_chars">-1</property>
4258 <property name="single_line_mode">False</property>
4259 <property name="angle">0</property>
4260 </widget>
4261 <packing>
4262 <property name="left_attach">3</property>
4263 <property name="right_attach">4</property>
4264 <property name="top_attach">0</property>
4265 <property name="bottom_attach">1</property>
4266 <property name="x_options"></property>
4267 <property name="y_options"></property>
4268 </packing>
4269 </child>
4270
4271 <child>
4272 <widget class="GtkColorButton" id="settingsColorBtn11">
4273 <property name="height_request">47</property>
4274 <property name="visible">True</property>
4275 <property name="use_alpha">False</property>
4276 <property name="focus_on_click">True</property>
4277 </widget>
4278 <packing>
4279 <property name="left_attach">4</property>
4280 <property name="right_attach">5</property>
4281 <property name="top_attach">0</property>
4282 <property name="bottom_attach">1</property>
4283 </packing>
4284 </child>
4285 </widget>
4286 <packing>
4287 <property name="padding">0</property>
4288 <property name="expand">False</property>
4289 <property name="fill">True</property>
4290 </packing>
4291 </child>
4292
4293 <child>
4294 <placeholder/>
4295 </child>
4296 </widget>
4297 <packing>
4298 <property name="x">7</property>
4299 <property name="y">8</property>
4300 </packing>
4301 </child>
4302 </widget>
4303 <packing>
4304 <property name="tab_expand">False</property>
4305 <property name="tab_fill">True</property>
4306 </packing>
4307 </child>
4308
4309 <child>
4310 <widget class="GtkLabel" id="lllllllllllll">
4311 <property name="visible">True</property>
4312 <property name="label" translatable="yes">Topfish</property>
4313 <property name="use_underline">False</property>
4314 <property name="use_markup">False</property>
4315 <property name="justify">GTK_JUSTIFY_LEFT</property>
4316 <property name="wrap">False</property>
4317 <property name="selectable">False</property>
4318 <property name="xalign">0.5</property>
4319 <property name="yalign">0.5</property>
4320 <property name="xpad">0</property>
4321 <property name="ypad">0</property>
4322 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4323 <property name="width_chars">-1</property>
4324 <property name="single_line_mode">False</property>
4325 <property name="angle">0</property>
4326 </widget>
4327 <packing>
4328 <property name="type">tab</property>
4329 </packing>
4330 </child>
4331
4332 <child>
4333 <widget class="GtkVBox" id="vbox15">
4334 <property name="width_request">179</property>
4335 <property name="height_request">323</property>
4336 <property name="visible">True</property>
4337 <property name="homogeneous">False</property>
4338 <property name="spacing">0</property>
4339
4340 <child>
4341 <widget class="GtkScrolledWindow" id="scrolledwindow5">
4342 <property name="height_request">212</property>
4343 <property name="visible">True</property>
4344 <property name="can_focus">True</property>
4345 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
4346 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
4347 <property name="shadow_type">GTK_SHADOW_IN</property>
4348 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
4349
4350 <child>
4351 <widget class="GtkTextView" id="gvprtextinput">
4352 <property name="visible">True</property>
4353 <property name="can_focus">True</property>
4354 <property name="editable">True</property>
4355 <property name="overwrite">False</property>
4356 <property name="accepts_tab">True</property>
4357 <property name="justification">GTK_JUSTIFY_LEFT</property>
4358 <property name="wrap_mode">GTK_WRAP_NONE</property>
4359 <property name="cursor_visible">True</property>
4360 <property name="pixels_above_lines">0</property>
4361 <property name="pixels_below_lines">0</property>
4362 <property name="pixels_inside_wrap">0</property>
4363 <property name="left_margin">0</property>
4364 <property name="right_margin">0</property>
4365 <property name="indent">0</property>
4366 <property name="text" translatable="yes"> </property>
4367 </widget>
4368 </child>
4369 </widget>
4370 <packing>
4371 <property name="padding">0</property>
4372 <property name="expand">True</property>
4373 <property name="fill">True</property>
4374 </packing>
4375 </child>
4376
4377 <child>
4378 <widget class="GtkLabel" id="label20">
4379 <property name="visible">True</property>
4380 <property name="label" translatable="yes">Arguments</property>
4381 <property name="use_underline">False</property>
4382 <property name="use_markup">False</property>
4383 <property name="justify">GTK_JUSTIFY_LEFT</property>
4384 <property name="wrap">False</property>
4385 <property name="selectable">False</property>
4386 <property name="xalign">0.5</property>
4387 <property name="yalign">0.5</property>
4388 <property name="xpad">0</property>
4389 <property name="ypad">0</property>
4390 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4391 <property name="width_chars">-1</property>
4392 <property name="single_line_mode">False</property>
4393 <property name="angle">0</property>
4394 </widget>
4395 <packing>
4396 <property name="padding">0</property>
4397 <property name="expand">False</property>
4398 <property name="fill">False</property>
4399 </packing>
4400 </child>
4401
4402 <child>
4403 <widget class="GtkEntry" id="gvprargs">
4404 <property name="visible">True</property>
4405 <property name="can_focus">True</property>
4406 <property name="editable">True</property>
4407 <property name="visibility">True</property>
4408 <property name="max_length">0</property>
4409 <property name="text" translatable="yes"></property>
4410 <property name="has_frame">True</property>
4411 <property name="invisible_char">*</property>
4412 <property name="activates_default">False</property>
4413 </widget>
4414 <packing>
4415 <property name="padding">0</property>
4416 <property name="expand">False</property>
4417 <property name="fill">False</property>
4418 </packing>
4419 </child>
4420
4421 <child>
4422 <widget class="GtkLabel" id="label114">
4423 <property name="visible">True</property>
4424 <property name="label" translatable="yes">Output</property>
4425 <property name="use_underline">False</property>
4426 <property name="use_markup">False</property>
4427 <property name="justify">GTK_JUSTIFY_LEFT</property>
4428 <property name="wrap">False</property>
4429 <property name="selectable">False</property>
4430 <property name="xalign">0.5</property>
4431 <property name="yalign">0.5</property>
4432 <property name="xpad">0</property>
4433 <property name="ypad">0</property>
4434 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4435 <property name="width_chars">-1</property>
4436 <property name="single_line_mode">False</property>
4437 <property name="angle">0</property>
4438 </widget>
4439 <packing>
4440 <property name="padding">0</property>
4441 <property name="expand">False</property>
4442 <property name="fill">False</property>
4443 </packing>
4444 </child>
4445
4446 <child>
4447 <widget class="GtkScrolledWindow" id="scrolledwindow6">
4448 <property name="visible">True</property>
4449 <property name="can_focus">True</property>
4450 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
4451 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
4452 <property name="shadow_type">GTK_SHADOW_IN</property>
4453 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
4454
4455 <child>
4456 <widget class="GtkTextView" id="gvprtextoutput">
4457 <property name="visible">True</property>
4458 <property name="can_focus">True</property>
4459 <property name="editable">True</property>
4460 <property name="overwrite">False</property>
4461 <property name="accepts_tab">True</property>
4462 <property name="justification">GTK_JUSTIFY_LEFT</property>
4463 <property name="wrap_mode">GTK_WRAP_NONE</property>
4464 <property name="cursor_visible">True</property>
4465 <property name="pixels_above_lines">0</property>
4466 <property name="pixels_below_lines">0</property>
4467 <property name="pixels_inside_wrap">0</property>
4468 <property name="left_margin">0</property>
4469 <property name="right_margin">0</property>
4470 <property name="indent">0</property>
4471 <property name="text" translatable="yes"></property>
4472 </widget>
4473 </child>
4474 </widget>
4475 <packing>
4476 <property name="padding">0</property>
4477 <property name="expand">True</property>
4478 <property name="fill">True</property>
4479 </packing>
4480 </child>
4481
4482 <child>
4483 <widget class="GtkHBox" id="hbox9">
4484 <property name="height_request">34</property>
4485 <property name="visible">True</property>
4486 <property name="homogeneous">False</property>
4487 <property name="spacing">0</property>
4488
4489 <child>
4490 <widget class="GtkCheckButton" id="gvprapplycb">
4491 <property name="visible">True</property>
4492 <property name="can_focus">True</property>
4493 <property name="label" translatable="yes">Clone Current Graph</property>
4494 <property name="use_underline">True</property>
4495 <property name="relief">GTK_RELIEF_NORMAL</property>
4496 <property name="focus_on_click">True</property>
4497 <property name="active">False</property>
4498 <property name="inconsistent">False</property>
4499 <property name="draw_indicator">True</property>
4500 </widget>
4501 <packing>
4502 <property name="padding">0</property>
4503 <property name="expand">False</property>
4504 <property name="fill">False</property>
4505 </packing>
4506 </child>
4507
4508 <child>
4509 <widget class="GtkButton" id="gvprbuttonload">
4510 <property name="visible">True</property>
4511 <property name="can_focus">True</property>
4512 <property name="label" translatable="yes">Load</property>
4513 <property name="use_underline">True</property>
4514 <property name="relief">GTK_RELIEF_NORMAL</property>
4515 <property name="focus_on_click">True</property>
4516 <signal name="clicked" handler="on_gvprbuttonload_clicked" last_modification_time="Fri, 22 May 2009 16:45:40 GMT"/>
4517 </widget>
4518 <packing>
4519 <property name="padding">0</property>
4520 <property name="expand">True</property>
4521 <property name="fill">True</property>
4522 </packing>
4523 </child>
4524
4525 <child>
4526 <widget class="GtkButton" id="gvprbuttonsave">
4527 <property name="visible">True</property>
4528 <property name="can_focus">True</property>
4529 <property name="label" translatable="yes">Save</property>
4530 <property name="use_underline">True</property>
4531 <property name="relief">GTK_RELIEF_NORMAL</property>
4532 <property name="focus_on_click">True</property>
4533 <signal name="clicked" handler="on_gvprbuttonsave_clicked" last_modification_time="Mon, 01 Jun 2009 16:23:07 GMT"/>
4534 </widget>
4535 <packing>
4536 <property name="padding">0</property>
4537 <property name="expand">True</property>
4538 <property name="fill">True</property>
4539 </packing>
4540 </child>
4541
4542 <child>
4543 <widget class="GtkButton" id="button8">
4544 <property name="visible">True</property>
4545 <property name="can_focus">True</property>
4546 <property name="label" translatable="yes">Run gvpr</property>
4547 <property name="use_underline">True</property>
4548 <property name="relief">GTK_RELIEF_NORMAL</property>
4549 <property name="focus_on_click">True</property>
4550 <signal name="clicked" handler="mTestgvpr" last_modification_time="Wed, 29 Apr 2009 14:54:06 GMT"/>
4551 </widget>
4552 <packing>
4553 <property name="padding">0</property>
4554 <property name="expand">True</property>
4555 <property name="fill">True</property>
4556 </packing>
4557 </child>
4558 </widget>
4559 <packing>
4560 <property name="padding">0</property>
4561 <property name="expand">False</property>
4562 <property name="fill">True</property>
4563 </packing>
4564 </child>
4565 </widget>
4566 <packing>
4567 <property name="tab_expand">False</property>
4568 <property name="tab_fill">True</property>
4569 </packing>
4570 </child>
4571
4572 <child>
4573 <widget class="GtkLabel" id="label86">
4574 <property name="visible">True</property>
4575 <property name="label" translatable="yes">Script</property>
4576 <property name="use_underline">False</property>
4577 <property name="use_markup">False</property>
4578 <property name="justify">GTK_JUSTIFY_LEFT</property>
4579 <property name="wrap">False</property>
4580 <property name="selectable">False</property>
4581 <property name="xalign">0.5</property>
4582 <property name="yalign">0.5</property>
4583 <property name="xpad">0</property>
4584 <property name="ypad">0</property>
4585 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4586 <property name="width_chars">-1</property>
4587 <property name="single_line_mode">False</property>
4588 <property name="angle">0</property>
4589 </widget>
4590 <packing>
4591 <property name="type">tab</property>
4592 </packing>
4593 </child>
4594
4595 <child>
4596 <widget class="GtkVBox" id="vbox14">
4597 <property name="width_request">0</property>
4598 <property name="height_request">0</property>
4599 <property name="visible">True</property>
4600 <property name="homogeneous">False</property>
4601 <property name="spacing">0</property>
4602
4603 <child>
4604 <widget class="GtkFixed" id="fixed7">
4605 <property name="height_request">40</property>
4606 <property name="visible">True</property>
4607
4608 <child>
4609 <widget class="GtkHSeparator" id="hseparator14">
4610 <property name="width_request">456</property>
4611 <property name="height_request">16</property>
4612 <property name="visible">True</property>
4613 </widget>
4614 <packing>
4615 <property name="x">8</property>
4616 <property name="y">24</property>
4617 </packing>
4618 </child>
4619
4620 <child>
4621 <widget class="GtkLabel" id="label124">
4622 <property name="width_request">470</property>
4623 <property name="height_request">16</property>
4624 <property name="visible">True</property>
4625 <property name="label" translatable="yes">0 Nodes Selected</property>
4626 <property name="use_underline">False</property>
4627 <property name="use_markup">False</property>
4628 <property name="justify">GTK_JUSTIFY_LEFT</property>
4629 <property name="wrap">False</property>
4630 <property name="selectable">False</property>
4631 <property name="xalign">0.5</property>
4632 <property name="yalign">0.5</property>
4633 <property name="xpad">0</property>
4634 <property name="ypad">0</property>
4635 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4636 <property name="width_chars">-1</property>
4637 <property name="single_line_mode">False</property>
4638 <property name="angle">0</property>
4639 </widget>
4640 <packing>
4641 <property name="x">8</property>
4642 <property name="y">8</property>
4643 </packing>
4644 </child>
4645 </widget>
4646 <packing>
4647 <property name="padding">0</property>
4648 <property name="expand">False</property>
4649 <property name="fill">True</property>
4650 </packing>
4651 </child>
4652
4653 <child>
4654 <widget class="GtkFixed" id="fixed6">
4655 <property name="width_request">351</property>
4656 <property name="height_request">381</property>
4657 <property name="visible">True</property>
4658
4659 <child>
4660 <widget class="GtkHBox" id="hbox12">
4661 <property name="width_request">428</property>
4662 <property name="height_request">26</property>
4663 <property name="visible">True</property>
4664 <property name="homogeneous">False</property>
4665 <property name="spacing">0</property>
4666
4667 <child>
4668 <widget class="GtkRadioButton" id="attrRB0">
4669 <property name="visible">True</property>
4670 <property name="can_focus">True</property>
4671 <property name="label" translatable="yes">GRAPH </property>
4672 <property name="use_underline">True</property>
4673 <property name="relief">GTK_RELIEF_NORMAL</property>
4674 <property name="focus_on_click">True</property>
4675 <property name="active">False</property>
4676 <property name="inconsistent">False</property>
4677 <property name="draw_indicator">True</property>
4678 <signal name="clicked" handler="on_attrRB0_clicked" last_modification_time="Thu, 29 Oct 2009 20:20:28 GMT"/>
4679 </widget>
4680 <packing>
4681 <property name="padding">0</property>
4682 <property name="expand">False</property>
4683 <property name="fill">False</property>
4684 </packing>
4685 </child>
4686
4687 <child>
4688 <widget class="GtkRadioButton" id="attrRB1">
4689 <property name="visible">True</property>
4690 <property name="can_focus">True</property>
4691 <property name="label" translatable="yes">NODE </property>
4692 <property name="use_underline">True</property>
4693 <property name="relief">GTK_RELIEF_NORMAL</property>
4694 <property name="focus_on_click">True</property>
4695 <property name="active">False</property>
4696 <property name="inconsistent">False</property>
4697 <property name="draw_indicator">True</property>
4698 <property name="group">attrRB0</property>
4699 <signal name="clicked" handler="on_attrRB0_clicked" last_modification_time="Thu, 29 Oct 2009 20:20:28 GMT"/>
4700 </widget>
4701 <packing>
4702 <property name="padding">0</property>
4703 <property name="expand">False</property>
4704 <property name="fill">False</property>
4705 </packing>
4706 </child>
4707
4708 <child>
4709 <widget class="GtkRadioButton" id="attrRB2">
4710 <property name="visible">True</property>
4711 <property name="can_focus">True</property>
4712 <property name="label" translatable="yes">EDGE</property>
4713 <property name="use_underline">True</property>
4714 <property name="relief">GTK_RELIEF_NORMAL</property>
4715 <property name="focus_on_click">True</property>
4716 <property name="active">False</property>
4717 <property name="inconsistent">False</property>
4718 <property name="draw_indicator">True</property>
4719 <property name="group">attrRB0</property>
4720 </widget>
4721 <packing>
4722 <property name="padding">0</property>
4723 <property name="expand">False</property>
4724 <property name="fill">False</property>
4725 </packing>
4726 </child>
4727 </widget>
4728 <packing>
4729 <property name="x">11</property>
4730 <property name="y">4</property>
4731 </packing>
4732 </child>
4733
4734 <child>
4735 <widget class="GtkTable" id="table18">
4736 <property name="width_request">562</property>
4737 <property name="height_request">68</property>
4738 <property name="visible">True</property>
4739 <property name="n_rows">3</property>
4740 <property name="n_columns">6</property>
4741 <property name="homogeneous">False</property>
4742 <property name="row_spacing">0</property>
4743 <property name="column_spacing">0</property>
4744
4745 <child>
4746 <widget class="GtkEntry" id="txtAttr">
4747 <property name="width_request">88</property>
4748 <property name="height_request">21</property>
4749 <property name="visible">True</property>
4750 <property name="can_focus">True</property>
4751 <property name="editable">True</property>
4752 <property name="visibility">True</property>
4753 <property name="max_length">0</property>
4754 <property name="text" translatable="yes"></property>
4755 <property name="has_frame">True</property>
4756 <property name="invisible_char">*</property>
4757 <property name="activates_default">False</property>
4758 <signal name="changed" handler="on_txtAttr_changed" last_modification_time="Thu, 22 Oct 2009 20:26:47 GMT"/>
4759 </widget>
4760 <packing>
4761 <property name="left_attach">0</property>
4762 <property name="right_attach">1</property>
4763 <property name="top_attach">1</property>
4764 <property name="bottom_attach">2</property>
4765 <property name="y_options"></property>
4766 </packing>
4767 </child>
4768
4769 <child>
4770 <widget class="GtkEntry" id="txtValue">
4771 <property name="width_request">88</property>
4772 <property name="height_request">21</property>
4773 <property name="visible">True</property>
4774 <property name="can_focus">True</property>
4775 <property name="editable">True</property>
4776 <property name="visibility">True</property>
4777 <property name="max_length">0</property>
4778 <property name="text" translatable="yes"></property>
4779 <property name="has_frame">True</property>
4780 <property name="invisible_char">*</property>
4781 <property name="activates_default">False</property>
4782 </widget>
4783 <packing>
4784 <property name="left_attach">1</property>
4785 <property name="right_attach">2</property>
4786 <property name="top_attach">1</property>
4787 <property name="bottom_attach">2</property>
4788 <property name="y_options"></property>
4789 </packing>
4790 </child>
4791
4792 <child>
4793 <widget class="GtkEntry" id="txtDefValue">
4794 <property name="width_request">88</property>
4795 <property name="height_request">21</property>
4796 <property name="visible">True</property>
4797 <property name="can_focus">True</property>
4798 <property name="editable">True</property>
4799 <property name="visibility">True</property>
4800 <property name="max_length">0</property>
4801 <property name="text" translatable="yes"></property>
4802 <property name="has_frame">True</property>
4803 <property name="invisible_char">*</property>
4804 <property name="activates_default">False</property>
4805 </widget>
4806 <packing>
4807 <property name="left_attach">2</property>
4808 <property name="right_attach">3</property>
4809 <property name="top_attach">1</property>
4810 <property name="bottom_attach">2</property>
4811 <property name="y_options"></property>
4812 </packing>
4813 </child>
4814
4815 <child>
4816 <widget class="GtkLabel" id="label122">
4817 <property name="width_request">40</property>
4818 <property name="height_request">16</property>
4819 <property name="visible">True</property>
4820 <property name="label" translatable="yes">Value</property>
4821 <property name="use_underline">False</property>
4822 <property name="use_markup">False</property>
4823 <property name="justify">GTK_JUSTIFY_LEFT</property>
4824 <property name="wrap">False</property>
4825 <property name="selectable">False</property>
4826 <property name="xalign">0.5</property>
4827 <property name="yalign">0.5</property>
4828 <property name="xpad">0</property>
4829 <property name="ypad">0</property>
4830 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4831 <property name="width_chars">-1</property>
4832 <property name="single_line_mode">False</property>
4833 <property name="angle">0</property>
4834 </widget>
4835 <packing>
4836 <property name="left_attach">1</property>
4837 <property name="right_attach">2</property>
4838 <property name="top_attach">0</property>
4839 <property name="bottom_attach">1</property>
4840 <property name="x_options">fill</property>
4841 <property name="y_options"></property>
4842 </packing>
4843 </child>
4844
4845 <child>
4846 <widget class="GtkLabel" id="label123">
4847 <property name="width_request">88</property>
4848 <property name="height_request">16</property>
4849 <property name="visible">True</property>
4850 <property name="label" translatable="yes">Default Value</property>
4851 <property name="use_underline">False</property>
4852 <property name="use_markup">False</property>
4853 <property name="justify">GTK_JUSTIFY_LEFT</property>
4854 <property name="wrap">False</property>
4855 <property name="selectable">False</property>
4856 <property name="xalign">0.5</property>
4857 <property name="yalign">0.5</property>
4858 <property name="xpad">0</property>
4859 <property name="ypad">0</property>
4860 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4861 <property name="width_chars">-1</property>
4862 <property name="single_line_mode">False</property>
4863 <property name="angle">0</property>
4864 </widget>
4865 <packing>
4866 <property name="left_attach">2</property>
4867 <property name="right_attach">3</property>
4868 <property name="top_attach">0</property>
4869 <property name="bottom_attach">1</property>
4870 <property name="x_options">fill</property>
4871 <property name="y_options"></property>
4872 </packing>
4873 </child>
4874
4875 <child>
4876 <widget class="GtkLabel" id="label121">
4877 <property name="width_request">96</property>
4878 <property name="height_request">16</property>
4879 <property name="visible">True</property>
4880 <property name="label" translatable="yes">Attribute Name</property>
4881 <property name="use_underline">False</property>
4882 <property name="use_markup">False</property>
4883 <property name="justify">GTK_JUSTIFY_LEFT</property>
4884 <property name="wrap">False</property>
4885 <property name="selectable">False</property>
4886 <property name="xalign">0.5</property>
4887 <property name="yalign">0.5</property>
4888 <property name="xpad">0</property>
4889 <property name="ypad">0</property>
4890 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4891 <property name="width_chars">-1</property>
4892 <property name="single_line_mode">False</property>
4893 <property name="angle">0</property>
4894 </widget>
4895 <packing>
4896 <property name="left_attach">0</property>
4897 <property name="right_attach">1</property>
4898 <property name="top_attach">0</property>
4899 <property name="bottom_attach">1</property>
4900 <property name="x_options">fill</property>
4901 <property name="y_options"></property>
4902 </packing>
4903 </child>
4904
4905 <child>
4906 <widget class="GtkLabel" id="label125">
4907 <property name="width_request">72</property>
4908 <property name="height_request">16</property>
4909 <property name="visible">True</property>
4910 <property name="label" translatable="yes">Publish</property>
4911 <property name="use_underline">False</property>
4912 <property name="use_markup">False</property>
4913 <property name="justify">GTK_JUSTIFY_LEFT</property>
4914 <property name="wrap">False</property>
4915 <property name="selectable">False</property>
4916 <property name="xalign">0</property>
4917 <property name="yalign">0.5</property>
4918 <property name="xpad">0</property>
4919 <property name="ypad">0</property>
4920 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4921 <property name="width_chars">-1</property>
4922 <property name="single_line_mode">False</property>
4923 <property name="angle">0</property>
4924 </widget>
4925 <packing>
4926 <property name="left_attach">3</property>
4927 <property name="right_attach">4</property>
4928 <property name="top_attach">0</property>
4929 <property name="bottom_attach">1</property>
4930 <property name="x_options">fill</property>
4931 <property name="y_options"></property>
4932 </packing>
4933 </child>
4934
4935 <child>
4936 <widget class="GtkCheckButton" id="attrProg">
4937 <property name="width_request">24</property>
4938 <property name="height_request">16</property>
4939 <property name="visible">True</property>
4940 <property name="can_focus">True</property>
4941 <property name="label" translatable="yes"></property>
4942 <property name="use_underline">True</property>
4943 <property name="relief">GTK_RELIEF_NORMAL</property>
4944 <property name="focus_on_click">True</property>
4945 <property name="active">False</property>
4946 <property name="inconsistent">False</property>
4947 <property name="draw_indicator">True</property>
4948 <signal name="toggled" handler="on_attrProg_toggled" last_modification_time="Mon, 26 Oct 2009 19:57:29 GMT"/>
4949 </widget>
4950 <packing>
4951 <property name="left_attach">3</property>
4952 <property name="right_attach">4</property>
4953 <property name="top_attach">1</property>
4954 <property name="bottom_attach">2</property>
4955 <property name="x_options">fill</property>
4956 <property name="y_options"></property>
4957 </packing>
4958 </child>
4959
4960 <child>
4961 <widget class="GtkButton" id="attrAddBtn">
4962 <property name="width_request">32</property>
4963 <property name="height_request">23</property>
4964 <property name="visible">True</property>
4965 <property name="can_focus">True</property>
4966 <property name="label" translatable="yes">+</property>
4967 <property name="use_underline">True</property>
4968 <property name="relief">GTK_RELIEF_NORMAL</property>
4969 <property name="focus_on_click">True</property>
4970 <signal name="clicked" handler="on_attrAddBtn_clicked" last_modification_time="Mon, 26 Oct 2009 22:04:52 GMT"/>
4971 </widget>
4972 <packing>
4973 <property name="left_attach">5</property>
4974 <property name="right_attach">6</property>
4975 <property name="top_attach">1</property>
4976 <property name="bottom_attach">2</property>
4977 <property name="x_options">fill</property>
4978 <property name="y_options"></property>
4979 </packing>
4980 </child>
4981
4982 <child>
4983 <widget class="GtkButton" id="attrApplyBtn">
4984 <property name="visible">True</property>
4985 <property name="can_focus">True</property>
4986 <property name="label" translatable="yes">Apply</property>
4987 <property name="use_underline">True</property>
4988 <property name="relief">GTK_RELIEF_NORMAL</property>
4989 <property name="focus_on_click">True</property>
4990 <signal name="clicked" handler="on_attrApplyBtn_clicked" last_modification_time="Mon, 09 Nov 2009 23:05:37 GMT"/>
4991 </widget>
4992 <packing>
4993 <property name="left_attach">4</property>
4994 <property name="right_attach">5</property>
4995 <property name="top_attach">1</property>
4996 <property name="bottom_attach">2</property>
4997 <property name="x_options">fill</property>
4998 <property name="y_options"></property>
4999 </packing>
5000 </child>
5001
5002 <child>
5003 <widget class="GtkButton" id="attrSearchBtn">
5004 <property name="visible">True</property>
5005 <property name="can_focus">True</property>
5006 <property name="label" translatable="yes">Search</property>
5007 <property name="use_underline">True</property>
5008 <property name="relief">GTK_RELIEF_NORMAL</property>
5009 <property name="focus_on_click">True</property>
5010 <signal name="clicked" handler="on_attrSearchBtn_clicked" last_modification_time="Wed, 11 Nov 2009 16:07:55 GMT"/>
5011 </widget>
5012 <packing>
5013 <property name="left_attach">4</property>
5014 <property name="right_attach">5</property>
5015 <property name="top_attach">2</property>
5016 <property name="bottom_attach">3</property>
5017 <property name="x_options">fill</property>
5018 <property name="y_options"></property>
5019 </packing>
5020 </child>
5021 </widget>
5022 <packing>
5023 <property name="x">12</property>
5024 <property name="y">41</property>
5025 </packing>
5026 </child>
5027 </widget>
5028 <packing>
5029 <property name="padding">0</property>
5030 <property name="expand">True</property>
5031 <property name="fill">True</property>
5032 </packing>
5033 </child>
5034 </widget>
5035 <packing>
5036 <property name="tab_expand">False</property>
5037 <property name="tab_fill">True</property>
5038 </packing>
5039 </child>
5040
5041 <child>
5042 <widget class="GtkLabel" id="label127">
5043 <property name="visible">True</property>
5044 <property name="label" translatable="yes">Attribute</property>
5045 <property name="use_underline">False</property>
5046 <property name="use_markup">False</property>
5047 <property name="justify">GTK_JUSTIFY_LEFT</property>
5048 <property name="wrap">False</property>
5049 <property name="selectable">False</property>
5050 <property name="xalign">0.5</property>
5051 <property name="yalign">0.5</property>
5052 <property name="xpad">0</property>
5053 <property name="ypad">0</property>
5054 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5055 <property name="width_chars">-1</property>
5056 <property name="single_line_mode">False</property>
5057 <property name="angle">0</property>
5058 </widget>
5059 <packing>
5060 <property name="type">tab</property>
5061 </packing>
5062 </child>
5063 </widget>
5064 <packing>
5065 <property name="padding">0</property>
5066 <property name="expand">True</property>
5067 <property name="fill">True</property>
5068 </packing>
5069 </child>
5070 </widget>
5071 </child>
5072 </widget>
5073
5074 <widget class="GtkWindow" id="frmWait">
5075 <property name="width_request">200</property>
5076 <property name="height_request">178</property>
5077 <property name="title" translatable="yes">Smyrna</property>
5078 <property name="type">GTK_WINDOW_TOPLEVEL</property>
5079 <property name="window_position">GTK_WIN_POS_NONE</property>
5080 <property name="modal">False</property>
5081 <property name="default_width">274</property>
5082 <property name="default_height">248</property>
5083 <property name="resizable">True</property>
5084 <property name="destroy_with_parent">False</property>
5085 <property name="decorated">False</property>
5086 <property name="skip_taskbar_hint">False</property>
5087 <property name="skip_pager_hint">False</property>
5088 <property name="type_hint">GDK_WINDOW_TYPE_HINT_SPLASHSCREEN</property>
5089 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
5090 <property name="focus_on_map">True</property>
5091 <property name="urgency_hint">False</property>
5092
5093 <child>
5094 <widget class="GtkFixed" id="fixed4">
5095 <property name="visible">True</property>
5096
5097 <child>
5098 <widget class="GtkImage" id="image17">
5099 <property name="width_request">188</property>
5100 <property name="height_request">176</property>
5101 <property name="visible">True</property>
5102 <property name="stock">gtk-missing-image</property>
5103 <property name="icon_size">4</property>
5104 <property name="xalign">0.5</property>
5105 <property name="yalign">0.5</property>
5106 <property name="xpad">0</property>
5107 <property name="ypad">0</property>
5108 </widget>
5109 <packing>
5110 <property name="x">6</property>
5111 <property name="y">1</property>
5112 </packing>
5113 </child>
5114
5115 <child>
5116 <widget class="GtkLabel" id="label80">
5117 <property name="width_request">100</property>
5118 <property name="height_request">26</property>
5119 <property name="visible">True</property>
5120 <property name="label" translatable="yes">Please Wait....</property>
5121 <property name="use_underline">False</property>
5122 <property name="use_markup">False</property>
5123 <property name="justify">GTK_JUSTIFY_LEFT</property>
5124 <property name="wrap">False</property>
5125 <property name="selectable">False</property>
5126 <property name="xalign">0.5</property>
5127 <property name="yalign">0.5</property>
5128 <property name="xpad">0</property>
5129 <property name="ypad">0</property>
5130 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5131 <property name="width_chars">-1</property>
5132 <property name="single_line_mode">False</property>
5133 <property name="angle">0</property>
5134 </widget>
5135 <packing>
5136 <property name="x">52</property>
5137 <property name="y">122</property>
5138 </packing>
5139 </child>
5140 </widget>
5141 </child>
5142 </widget>
5143
5144 <widget class="GtkDialog" id="findDialog">
5145 <property name="border_width">5</property>
5146 <property name="title" translatable="yes"></property>
5147 <property name="type">GTK_WINDOW_TOPLEVEL</property>
5148 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
5149 <property name="modal">False</property>
5150 <property name="resizable">True</property>
5151 <property name="destroy_with_parent">False</property>
5152 <property name="decorated">True</property>
5153 <property name="skip_taskbar_hint">False</property>
5154 <property name="skip_pager_hint">False</property>
5155 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
5156 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
5157 <property name="focus_on_map">True</property>
5158 <property name="urgency_hint">False</property>
5159 <property name="has_separator">False</property>
5160
5161 <child internal-child="vbox">
5162 <widget class="GtkVBox" id="dialog-vbox7">
5163 <property name="visible">True</property>
5164 <property name="homogeneous">False</property>
5165 <property name="spacing">2</property>
5166
5167 <child internal-child="action_area">
5168 <widget class="GtkHButtonBox" id="dialog-action_area7">
5169 <property name="visible">True</property>
5170 <property name="layout_style">GTK_BUTTONBOX_END</property>
5171
5172 <child>
5173 <widget class="GtkButton" id="button3">
5174 <property name="visible">True</property>
5175 <property name="can_focus">True</property>
5176 <property name="label" translatable="yes">Cancel</property>
5177 <property name="use_underline">True</property>
5178 <property name="relief">GTK_RELIEF_NORMAL</property>
5179 <property name="focus_on_click">True</property>
5180 <property name="response_id">2</property>
5181 </widget>
5182 </child>
5183
5184 <child>
5185 <widget class="GtkButton" id="button2">
5186 <property name="visible">True</property>
5187 <property name="can_focus">True</property>
5188 <property name="label" translatable="yes">OK</property>
5189 <property name="use_underline">True</property>
5190 <property name="relief">GTK_RELIEF_NORMAL</property>
5191 <property name="focus_on_click">True</property>
5192 <property name="response_id">1</property>
5193 </widget>
5194 </child>
5195 </widget>
5196 <packing>
5197 <property name="padding">0</property>
5198 <property name="expand">False</property>
5199 <property name="fill">True</property>
5200 <property name="pack_type">GTK_PACK_END</property>
5201 </packing>
5202 </child>
5203
5204 <child>
5205 <widget class="GtkVBox" id="vbox8">
5206 <property name="visible">True</property>
5207 <property name="homogeneous">False</property>
5208 <property name="spacing">0</property>
5209
5210 <child>
5211 <widget class="GtkLabel" id="label94">
5212 <property name="visible">True</property>
5213 <property name="label" translatable="yes">
5214 Search in
5215 </property>
5216 <property name="use_underline">False</property>
5217 <property name="use_markup">False</property>
5218 <property name="justify">GTK_JUSTIFY_LEFT</property>
5219 <property name="wrap">False</property>
5220 <property name="selectable">False</property>
5221 <property name="xalign">0.5</property>
5222 <property name="yalign">0.5</property>
5223 <property name="xpad">0</property>
5224 <property name="ypad">0</property>
5225 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5226 <property name="width_chars">-1</property>
5227 <property name="single_line_mode">False</property>
5228 <property name="angle">0</property>
5229 </widget>
5230 <packing>
5231 <property name="padding">0</property>
5232 <property name="expand">False</property>
5233 <property name="fill">True</property>
5234 </packing>
5235 </child>
5236
5237 <child>
5238 <widget class="GtkComboBox" id="combobox1">
5239 <property name="visible">True</property>
5240 <property name="add_tearoffs">False</property>
5241 <property name="focus_on_click">True</property>
5242 </widget>
5243 <packing>
5244 <property name="padding">0</property>
5245 <property name="expand">False</property>
5246 <property name="fill">True</property>
5247 </packing>
5248 </child>
5249 </widget>
5250 <packing>
5251 <property name="padding">0</property>
5252 <property name="expand">True</property>
5253 <property name="fill">True</property>
5254 </packing>
5255 </child>
5256
5257 <child>
5258 <widget class="GtkVBox" id="vbox7">
5259 <property name="visible">True</property>
5260 <property name="homogeneous">False</property>
5261 <property name="spacing">0</property>
5262
5263 <child>
5264 <widget class="GtkLabel" id="label93">
5265 <property name="visible">True</property>
5266 <property name="label" translatable="yes">Regular Expression</property>
5267 <property name="use_underline">False</property>
5268 <property name="use_markup">False</property>
5269 <property name="justify">GTK_JUSTIFY_LEFT</property>
5270 <property name="wrap">False</property>
5271 <property name="selectable">False</property>
5272 <property name="xalign">0.5</property>
5273 <property name="yalign">0.5</property>
5274 <property name="xpad">0</property>
5275 <property name="ypad">0</property>
5276 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5277 <property name="width_chars">-1</property>
5278 <property name="single_line_mode">False</property>
5279 <property name="angle">0</property>
5280 </widget>
5281 <packing>
5282 <property name="padding">0</property>
5283 <property name="expand">False</property>
5284 <property name="fill">True</property>
5285 </packing>
5286 </child>
5287
5288 <child>
5289 <widget class="GtkEntry" id="findText">
5290 <property name="visible">True</property>
5291 <property name="can_focus">True</property>
5292 <property name="editable">True</property>
5293 <property name="visibility">True</property>
5294 <property name="max_length">0</property>
5295 <property name="text" translatable="yes"></property>
5296 <property name="has_frame">True</property>
5297 <property name="invisible_char">*</property>
5298 <property name="activates_default">False</property>
5299 </widget>
5300 <packing>
5301 <property name="padding">0</property>
5302 <property name="expand">False</property>
5303 <property name="fill">True</property>
5304 </packing>
5305 </child>
5306 </widget>
5307 <packing>
5308 <property name="padding">0</property>
5309 <property name="expand">True</property>
5310 <property name="fill">True</property>
5311 </packing>
5312 </child>
5313 </widget>
5314 </child>
5315 </widget>
5316
5317 </glade-interface>