* plugins/debug-manager/anjuta-debug-manager.glade,
[anjuta-git-plugin.git] / plugins / debug-manager / anjuta-debug-manager.glade
blobfdfc845aeb3ae8e1b75463525dba8489f0d5c517
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3 <!--*- mode: xml -*-->
4 <glade-interface>
5 <widget class="GtkDialog" id="attach_process_dialog">
6 <property name="title" translatable="yes">Attach to process</property>
7 <property name="window_position">GTK_WIN_POS_CENTER</property>
8 <property name="default_width">600</property>
9 <property name="default_height">400</property>
10 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
11 <child internal-child="vbox">
12 <widget class="GtkVBox" id="dialog-vbox1">
13 <property name="visible">True</property>
14 <child>
15 <widget class="GtkHBox" id="hbox8">
16 <property name="visible">True</property>
17 <child>
18 <widget class="GtkVBox" id="vbox1">
19 <property name="visible">True</property>
20 <child>
21 <widget class="GtkLabel" id="label1">
22 <property name="visible">True</property>
23 <property name="xalign">0</property>
24 <property name="label" translatable="yes">_Process to attach to:</property>
25 <property name="use_underline">True</property>
26 <property name="mnemonic_widget">attach_process_tv</property>
27 </widget>
28 <packing>
29 <property name="expand">False</property>
30 <property name="fill">False</property>
31 </packing>
32 </child>
33 <child>
34 <widget class="GtkScrolledWindow" id="scrolledwindow1">
35 <property name="visible">True</property>
36 <property name="can_focus">True</property>
37 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
38 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
39 <property name="shadow_type">GTK_SHADOW_IN</property>
40 <child>
41 <widget class="GtkTreeView" id="attach_process_tv">
42 <property name="visible">True</property>
43 <property name="can_focus">True</property>
44 <property name="reorderable">True</property>
45 <property name="rules_hint">True</property>
46 </widget>
47 </child>
48 </widget>
49 <packing>
50 <property name="padding">5</property>
51 <property name="position">1</property>
52 </packing>
53 </child>
54 <child>
55 <widget class="GtkHBox" id="hbox1125">
56 <property name="visible">True</property>
57 <child>
58 <widget class="GtkVBox" id="vbox1123">
59 <property name="visible">True</property>
60 <child>
61 <widget class="GtkCheckButton" id="checkb_hide_paths">
62 <property name="visible">True</property>
63 <property name="can_focus">True</property>
64 <property name="label" translatable="yes">_Hide paths</property>
65 <property name="use_underline">True</property>
66 <property name="response_id">0</property>
67 <property name="active">True</property>
68 <property name="draw_indicator">True</property>
69 </widget>
70 <packing>
71 <property name="expand">False</property>
72 <property name="fill">False</property>
73 </packing>
74 </child>
75 <child>
76 <widget class="GtkCheckButton" id="checkb_hide_params">
77 <property name="visible">True</property>
78 <property name="can_focus">True</property>
79 <property name="label" translatable="yes">Hide process para_meters</property>
80 <property name="use_underline">True</property>
81 <property name="response_id">0</property>
82 <property name="draw_indicator">True</property>
83 </widget>
84 <packing>
85 <property name="expand">False</property>
86 <property name="fill">False</property>
87 <property name="position">1</property>
88 </packing>
89 </child>
90 </widget>
91 </child>
92 <child>
93 <widget class="GtkCheckButton" id="checkb_process_tree">
94 <property name="visible">True</property>
95 <property name="can_focus">True</property>
96 <property name="label" translatable="yes">Display process _tree</property>
97 <property name="use_underline">True</property>
98 <property name="response_id">0</property>
99 <property name="draw_indicator">True</property>
100 </widget>
101 <packing>
102 <property name="expand">False</property>
103 <property name="fill">False</property>
104 <property name="position">1</property>
105 </packing>
106 </child>
107 </widget>
108 <packing>
109 <property name="expand">False</property>
110 <property name="fill">False</property>
111 <property name="position">2</property>
112 </packing>
113 </child>
114 </widget>
115 <packing>
116 <property name="padding">5</property>
117 </packing>
118 </child>
119 </widget>
120 <packing>
121 <property name="padding">5</property>
122 <property name="position">2</property>
123 </packing>
124 </child>
125 <child internal-child="action_area">
126 <widget class="GtkHButtonBox" id="dialog-action_area1">
127 <property name="visible">True</property>
128 <property name="layout_style">GTK_BUTTONBOX_END</property>
129 <child>
130 <widget class="GtkButton" id="attach_process_update_button">
131 <property name="visible">True</property>
132 <property name="can_focus">True</property>
133 <property name="can_default">True</property>
134 <property name="response_id">-10</property>
135 <child>
136 <widget class="GtkAlignment" id="alignment2">
137 <property name="visible">True</property>
138 <property name="xscale">0</property>
139 <property name="yscale">0</property>
140 <child>
141 <widget class="GtkHBox" id="hbox3">
142 <property name="visible">True</property>
143 <property name="spacing">2</property>
144 <child>
145 <widget class="GtkImage" id="image2">
146 <property name="visible">True</property>
147 <property name="stock">gtk-refresh</property>
148 </widget>
149 <packing>
150 <property name="expand">False</property>
151 <property name="fill">False</property>
152 </packing>
153 </child>
154 <child>
155 <widget class="GtkLabel" id="label3">
156 <property name="visible">True</property>
157 <property name="label" translatable="yes">_Update</property>
158 <property name="use_underline">True</property>
159 </widget>
160 <packing>
161 <property name="expand">False</property>
162 <property name="fill">False</property>
163 <property name="position">1</property>
164 </packing>
165 </child>
166 </widget>
167 </child>
168 </widget>
169 </child>
170 </widget>
171 </child>
172 <child>
173 <widget class="GtkButton" id="attach_process_attach_button">
174 <property name="visible">True</property>
175 <property name="sensitive">False</property>
176 <property name="can_focus">True</property>
177 <property name="can_default">True</property>
178 <property name="response_id">-5</property>
179 <child>
180 <widget class="GtkAlignment" id="alignment3">
181 <property name="visible">True</property>
182 <property name="xscale">0</property>
183 <property name="yscale">0</property>
184 <child>
185 <widget class="GtkHBox" id="hbox4">
186 <property name="visible">True</property>
187 <property name="spacing">2</property>
188 <child>
189 <widget class="GtkImage" id="image3">
190 <property name="visible">True</property>
191 <property name="stock">gnome-stock-attach</property>
192 </widget>
193 <packing>
194 <property name="expand">False</property>
195 <property name="fill">False</property>
196 </packing>
197 </child>
198 <child>
199 <widget class="GtkLabel" id="label4">
200 <property name="visible">True</property>
201 <property name="label" translatable="yes">_Attach</property>
202 <property name="use_underline">True</property>
203 </widget>
204 <packing>
205 <property name="expand">False</property>
206 <property name="fill">False</property>
207 <property name="position">1</property>
208 </packing>
209 </child>
210 </widget>
211 </child>
212 </widget>
213 </child>
214 </widget>
215 <packing>
216 <property name="position">1</property>
217 </packing>
218 </child>
219 <child>
220 <widget class="GtkButton" id="button3">
221 <property name="visible">True</property>
222 <property name="can_focus">True</property>
223 <property name="can_default">True</property>
224 <property name="label">gtk-close</property>
225 <property name="use_stock">True</property>
226 <property name="response_id">-6</property>
227 </widget>
228 <packing>
229 <property name="position">2</property>
230 </packing>
231 </child>
232 </widget>
233 <packing>
234 <property name="expand">False</property>
235 <property name="pack_type">GTK_PACK_END</property>
236 </packing>
237 </child>
238 </widget>
239 </child>
240 </widget>
241 <widget class="GtkDialog" id="breakpoints_dialog">
242 <property name="title" translatable="yes">Breakpoints</property>
243 <property name="default_width">550</property>
244 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
245 <child internal-child="vbox">
246 <widget class="GtkVBox" id="dialog-vbox2">
247 <property name="visible">True</property>
248 <child>
249 <widget class="GtkVBox" id="vbox2">
250 <property name="visible">True</property>
251 <property name="border_width">5</property>
252 <property name="spacing">5</property>
253 <child>
254 <widget class="GtkHBox" id="hbox5">
255 <property name="visible">True</property>
256 <property name="spacing">10</property>
257 <child>
258 <widget class="GtkScrolledWindow" id="scrolledwindow2">
259 <property name="visible">True</property>
260 <property name="can_focus">True</property>
261 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
262 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
263 <property name="shadow_type">GTK_SHADOW_IN</property>
264 <child>
265 <widget class="GtkTreeView" id="breakpoints_tv">
266 <property name="visible">True</property>
267 <property name="can_focus">True</property>
268 <property name="reorderable">True</property>
269 <property name="rules_hint">True</property>
270 </widget>
271 </child>
272 </widget>
273 </child>
274 <child>
275 <widget class="GtkVBox" id="vbox3">
276 <property name="visible">True</property>
277 <child>
278 <widget class="GtkVButtonBox" id="vbuttonbox1">
279 <property name="visible">True</property>
280 <property name="spacing">5</property>
281 <property name="layout_style">GTK_BUTTONBOX_START</property>
282 <child>
283 <widget class="GtkButton" id="breakpoints_add_button">
284 <property name="visible">True</property>
285 <property name="can_focus">True</property>
286 <property name="can_default">True</property>
287 <property name="label">gtk-add</property>
288 <property name="use_stock">True</property>
289 <property name="response_id">0</property>
290 </widget>
291 </child>
292 <child>
293 <widget class="GtkButton" id="breakpoints_remove_button">
294 <property name="visible">True</property>
295 <property name="can_focus">True</property>
296 <property name="can_default">True</property>
297 <property name="label">gtk-remove</property>
298 <property name="use_stock">True</property>
299 <property name="response_id">0</property>
300 </widget>
301 <packing>
302 <property name="position">1</property>
303 </packing>
304 </child>
305 <child>
306 <widget class="GtkButton" id="breakpoints_jumpto_button">
307 <property name="visible">True</property>
308 <property name="can_focus">True</property>
309 <property name="can_default">True</property>
310 <property name="label">gtk-jump-to</property>
311 <property name="use_stock">True</property>
312 <property name="response_id">0</property>
313 </widget>
314 <packing>
315 <property name="position">2</property>
316 </packing>
317 </child>
318 <child>
319 <widget class="GtkButton" id="breakpoints_properties_button">
320 <property name="visible">True</property>
321 <property name="can_focus">True</property>
322 <property name="can_default">True</property>
323 <property name="label">gtk-properties</property>
324 <property name="use_stock">True</property>
325 <property name="response_id">0</property>
326 </widget>
327 <packing>
328 <property name="position">3</property>
329 </packing>
330 </child>
331 <child>
332 <widget class="GtkButton" id="breakpoints_enableall_button">
333 <property name="visible">True</property>
334 <property name="can_focus">True</property>
335 <property name="can_default">True</property>
336 <property name="label" translatable="yes">Enable _all</property>
337 <property name="use_underline">True</property>
338 <property name="response_id">0</property>
339 </widget>
340 <packing>
341 <property name="position">4</property>
342 </packing>
343 </child>
344 <child>
345 <widget class="GtkButton" id="breakpoints_disableall_button">
346 <property name="visible">True</property>
347 <property name="can_focus">True</property>
348 <property name="can_default">True</property>
349 <property name="label" translatable="yes">_Disable all</property>
350 <property name="use_underline">True</property>
351 <property name="response_id">0</property>
352 </widget>
353 <packing>
354 <property name="position">5</property>
355 </packing>
356 </child>
357 <child>
358 <widget class="GtkButton" id="breakpoints_removeall_button">
359 <property name="visible">True</property>
360 <property name="can_focus">True</property>
361 <property name="can_default">True</property>
362 <property name="label" translatable="yes">_Remove all</property>
363 <property name="use_underline">True</property>
364 <property name="response_id">0</property>
365 </widget>
366 <packing>
367 <property name="position">6</property>
368 </packing>
369 </child>
370 </widget>
371 <packing>
372 <property name="expand">False</property>
373 <property name="fill">False</property>
374 </packing>
375 </child>
376 </widget>
377 <packing>
378 <property name="expand">False</property>
379 <property name="fill">False</property>
380 <property name="position">1</property>
381 </packing>
382 </child>
383 </widget>
384 </child>
385 </widget>
386 <packing>
387 <property name="position">2</property>
388 </packing>
389 </child>
390 <child internal-child="action_area">
391 <widget class="GtkHButtonBox" id="dialog-action_area2">
392 <property name="visible">True</property>
393 <property name="layout_style">GTK_BUTTONBOX_END</property>
394 </widget>
395 <packing>
396 <property name="expand">False</property>
397 <property name="pack_type">GTK_PACK_END</property>
398 </packing>
399 </child>
400 </widget>
401 </child>
402 </widget>
403 <widget class="GtkDialog" id="add_watch_dialog">
404 <property name="title" translatable="yes">Add Watch</property>
405 <property name="default_width">400</property>
406 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
407 <signal name="close" handler="gtk_widget_hide" object="breakpoint_property_dialog"/>
408 <child internal-child="vbox">
409 <widget class="GtkVBox" id="dialog-vbox3">
410 <property name="visible">True</property>
411 <child>
412 <widget class="GtkTable" id="table1">
413 <property name="visible">True</property>
414 <property name="border_width">10</property>
415 <property name="n_rows">2</property>
416 <property name="n_columns">2</property>
417 <property name="column_spacing">6</property>
418 <property name="row_spacing">6</property>
419 <child>
420 <widget class="GtkCheckButton" id="auto_update_check">
421 <property name="visible">True</property>
422 <property name="can_focus">True</property>
423 <property name="label" translatable="yes">_Automatic update</property>
424 <property name="use_underline">True</property>
425 <property name="response_id">0</property>
426 <property name="draw_indicator">True</property>
427 </widget>
428 <packing>
429 <property name="right_attach">2</property>
430 <property name="top_attach">1</property>
431 <property name="bottom_attach">2</property>
432 <property name="x_options">GTK_FILL</property>
433 <property name="y_options"></property>
434 </packing>
435 </child>
436 <child>
437 <widget class="GtkEntry" id="name_entry">
438 <property name="visible">True</property>
439 <property name="can_focus">True</property>
440 </widget>
441 <packing>
442 <property name="left_attach">1</property>
443 <property name="right_attach">2</property>
444 <property name="y_options"></property>
445 </packing>
446 </child>
447 <child>
448 <widget class="GtkLabel" id="label6">
449 <property name="visible">True</property>
450 <property name="xalign">0</property>
451 <property name="label" translatable="yes">_Name:</property>
452 <property name="use_underline">True</property>
453 <property name="mnemonic_widget">name_entry</property>
454 </widget>
455 <packing>
456 <property name="x_options">GTK_FILL</property>
457 <property name="y_options"></property>
458 </packing>
459 </child>
460 </widget>
461 <packing>
462 <property name="position">2</property>
463 </packing>
464 </child>
465 <child internal-child="action_area">
466 <widget class="GtkHButtonBox" id="dialog-action_area3">
467 <property name="visible">True</property>
468 <property name="layout_style">GTK_BUTTONBOX_END</property>
469 <child>
470 <widget class="GtkButton" id="cancel_button">
471 <property name="visible">True</property>
472 <property name="can_focus">True</property>
473 <property name="can_default">True</property>
474 <property name="label">gtk-cancel</property>
475 <property name="use_stock">True</property>
476 <property name="response_id">-6</property>
477 </widget>
478 </child>
479 <child>
480 <widget class="GtkButton" id="add_button">
481 <property name="visible">True</property>
482 <property name="can_focus">True</property>
483 <property name="has_focus">True</property>
484 <property name="can_default">True</property>
485 <property name="has_default">True</property>
486 <property name="label">gtk-add</property>
487 <property name="use_stock">True</property>
488 <property name="response_id">-5</property>
489 </widget>
490 <packing>
491 <property name="position">1</property>
492 </packing>
493 </child>
494 </widget>
495 <packing>
496 <property name="expand">False</property>
497 <property name="pack_type">GTK_PACK_END</property>
498 </packing>
499 </child>
500 </widget>
501 </child>
502 </widget>
503 <widget class="GtkDialog" id="change_watch_dialog">
504 <property name="title" translatable="yes">Change Watch</property>
505 <property name="default_width">400</property>
506 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
507 <signal name="close" handler="gtk_widget_hide" object="breakpoint_property_dialog"/>
508 <child internal-child="vbox">
509 <widget class="GtkVBox" id="dialog-vbox3">
510 <property name="visible">True</property>
511 <child>
512 <widget class="GtkTable" id="table1">
513 <property name="visible">True</property>
514 <property name="border_width">10</property>
515 <property name="n_rows">2</property>
516 <property name="n_columns">2</property>
517 <property name="column_spacing">6</property>
518 <property name="row_spacing">6</property>
519 <child>
520 <widget class="GtkEntry" id="name_entry">
521 <property name="visible">True</property>
522 <property name="sensitive">False</property>
523 <property name="can_focus">True</property>
524 <property name="has_focus">True</property>
525 <property name="can_default">True</property>
526 <property name="has_default">True</property>
527 <property name="editable">False</property>
528 </widget>
529 <packing>
530 <property name="left_attach">1</property>
531 <property name="right_attach">2</property>
532 <property name="y_options"></property>
533 </packing>
534 </child>
535 <child>
536 <widget class="GtkEntry" id="value_entry">
537 <property name="visible">True</property>
538 <property name="can_focus">True</property>
539 <property name="has_focus">True</property>
540 <property name="activates_default">True</property>
541 </widget>
542 <packing>
543 <property name="left_attach">1</property>
544 <property name="right_attach">2</property>
545 <property name="top_attach">1</property>
546 <property name="bottom_attach">2</property>
547 <property name="y_options"></property>
548 </packing>
549 </child>
550 <child>
551 <widget class="GtkLabel" id="value_label">
552 <property name="visible">True</property>
553 <property name="xalign">0</property>
554 <property name="label" translatable="yes">_Value:</property>
555 <property name="use_underline">True</property>
556 <property name="mnemonic_widget">value_entry</property>
557 </widget>
558 <packing>
559 <property name="top_attach">1</property>
560 <property name="bottom_attach">2</property>
561 <property name="x_options">GTK_FILL</property>
562 <property name="y_options"></property>
563 </packing>
564 </child>
565 <child>
566 <widget class="GtkLabel" id="name_label">
567 <property name="visible">True</property>
568 <property name="xalign">0</property>
569 <property name="label" translatable="yes">_Name:</property>
570 <property name="use_underline">True</property>
571 <property name="mnemonic_widget">name_entry</property>
572 </widget>
573 <packing>
574 <property name="x_options">GTK_FILL</property>
575 <property name="y_options"></property>
576 </packing>
577 </child>
578 </widget>
579 <packing>
580 <property name="position">2</property>
581 </packing>
582 </child>
583 <child internal-child="action_area">
584 <widget class="GtkHButtonBox" id="dialog-action_area3">
585 <property name="visible">True</property>
586 <property name="layout_style">GTK_BUTTONBOX_END</property>
587 <child>
588 <widget class="GtkButton" id="close_button">
589 <property name="visible">True</property>
590 <property name="can_focus">True</property>
591 <property name="can_default">True</property>
592 <property name="label">gtk-cancel</property>
593 <property name="use_stock">True</property>
594 <property name="response_id">-6</property>
595 </widget>
596 </child>
597 <child>
598 <widget class="GtkButton" id="evaluate_button">
599 <property name="visible">True</property>
600 <property name="can_focus">True</property>
601 <property name="has_focus">True</property>
602 <property name="can_default">True</property>
603 <property name="has_default">True</property>
604 <property name="label">gtk-apply</property>
605 <property name="use_stock">True</property>
606 <property name="response_id">-10</property>
607 </widget>
608 <packing>
609 <property name="position">1</property>
610 </packing>
611 </child>
612 </widget>
613 <packing>
614 <property name="expand">False</property>
615 <property name="pack_type">GTK_PACK_END</property>
616 </packing>
617 </child>
618 </widget>
619 </child>
620 </widget>
621 <widget class="GtkDialog" id="watch_dialog">
622 <property name="title" translatable="yes">Inspect/Evaluate</property>
623 <property name="default_width">400</property>
624 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
625 <signal name="close" handler="gtk_widget_hide" object="breakpoint_property_dialog"/>
626 <child internal-child="vbox">
627 <widget class="GtkVBox" id="dialog-vbox3">
628 <property name="visible">True</property>
629 <child>
630 <widget class="GtkScrolledWindow" id="scrolledwindow31">
631 <property name="visible">True</property>
632 <property name="can_focus">True</property>
633 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
634 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
635 <property name="shadow_type">GTK_SHADOW_IN</property>
636 <child>
637 <widget class="GtkTreeView" id="value_treeview">
638 <property name="visible">True</property>
639 <property name="can_focus">True</property>
640 </widget>
641 </child>
642 </widget>
643 <packing>
644 <property name="position">2</property>
645 </packing>
646 </child>
647 <child internal-child="action_area">
648 <widget class="GtkHButtonBox" id="dialog-action_area3">
649 <property name="visible">True</property>
650 <property name="layout_style">GTK_BUTTONBOX_END</property>
651 <child>
652 <widget class="GtkButton" id="close_button">
653 <property name="visible">True</property>
654 <property name="can_focus">True</property>
655 <property name="can_default">True</property>
656 <property name="label">gtk-close</property>
657 <property name="use_stock">True</property>
658 <property name="response_id">-7</property>
659 </widget>
660 </child>
661 <child>
662 <widget class="GtkButton" id="add_button">
663 <property name="visible">True</property>
664 <property name="can_focus">True</property>
665 <property name="can_default">True</property>
666 <property name="label">gtk-add</property>
667 <property name="use_stock">True</property>
668 <property name="response_id">-5</property>
669 </widget>
670 <packing>
671 <property name="position">1</property>
672 </packing>
673 </child>
674 </widget>
675 <packing>
676 <property name="expand">False</property>
677 <property name="pack_type">GTK_PACK_END</property>
678 </packing>
679 </child>
680 </widget>
681 </child>
682 </widget>
683 <widget class="GtkDialog" id="inspect_evaluate_dialog">
684 <property name="title" translatable="yes">Inspect/Evaluate</property>
685 <property name="default_width">400</property>
686 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
687 <signal name="close" handler="gtk_widget_hide" object="breakpoint_property_dialog"/>
688 <child internal-child="vbox">
689 <widget class="GtkVBox" id="dialog-vbox3">
690 <property name="visible">True</property>
691 <child>
692 <widget class="GtkTable" id="table1">
693 <property name="visible">True</property>
694 <property name="border_width">10</property>
695 <property name="n_rows">3</property>
696 <property name="n_columns">2</property>
697 <property name="column_spacing">6</property>
698 <property name="row_spacing">6</property>
699 <child>
700 <placeholder/>
701 </child>
702 <child>
703 <widget class="GtkLabel" id="value_label">
704 <property name="visible">True</property>
705 <property name="xalign">0</property>
706 <property name="label" translatable="yes">_Value:</property>
707 <property name="use_underline">True</property>
708 <property name="mnemonic_widget">scrolledwindow31</property>
709 </widget>
710 <packing>
711 <property name="top_attach">1</property>
712 <property name="bottom_attach">2</property>
713 <property name="x_options">GTK_FILL</property>
714 <property name="y_options"></property>
715 </packing>
716 </child>
717 <child>
718 <widget class="GtkScrolledWindow" id="scrolledwindow31">
719 <property name="visible">True</property>
720 <property name="can_focus">True</property>
721 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
722 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
723 <property name="shadow_type">GTK_SHADOW_IN</property>
724 <child>
725 <widget class="GtkTreeView" id="value_treeview">
726 <property name="visible">True</property>
727 <property name="can_focus">True</property>
728 </widget>
729 </child>
730 </widget>
731 <packing>
732 <property name="left_attach">1</property>
733 <property name="right_attach">2</property>
734 <property name="top_attach">1</property>
735 <property name="bottom_attach">3</property>
736 </packing>
737 </child>
738 <child>
739 <widget class="GtkHBox" id="hbox1133">
740 <property name="visible">True</property>
741 <child>
742 <widget class="GtkEntry" id="name_entry">
743 <property name="visible">True</property>
744 <property name="can_focus">True</property>
745 <property name="has_focus">True</property>
746 <property name="activates_default">True</property>
747 </widget>
748 </child>
749 </widget>
750 <packing>
751 <property name="left_attach">1</property>
752 <property name="right_attach">2</property>
753 <property name="x_options">GTK_FILL</property>
754 <property name="y_options">GTK_FILL</property>
755 </packing>
756 </child>
757 <child>
758 <widget class="GtkLabel" id="name_label">
759 <property name="visible">True</property>
760 <property name="xalign">0</property>
761 <property name="label" translatable="yes">_Name:</property>
762 <property name="use_underline">True</property>
763 </widget>
764 <packing>
765 <property name="x_options">GTK_FILL</property>
766 <property name="y_options"></property>
767 </packing>
768 </child>
769 </widget>
770 <packing>
771 <property name="position">2</property>
772 </packing>
773 </child>
774 <child internal-child="action_area">
775 <widget class="GtkHButtonBox" id="dialog-action_area3">
776 <property name="visible">True</property>
777 <property name="layout_style">GTK_BUTTONBOX_END</property>
778 <child>
779 <widget class="GtkButton" id="close_button">
780 <property name="visible">True</property>
781 <property name="can_focus">True</property>
782 <property name="can_default">True</property>
783 <property name="label">gtk-close</property>
784 <property name="use_stock">True</property>
785 <property name="response_id">-7</property>
786 </widget>
787 </child>
788 <child>
789 <widget class="GtkButton" id="inspect_button">
790 <property name="visible">True</property>
791 <property name="can_focus">True</property>
792 <property name="has_focus">True</property>
793 <property name="can_default">True</property>
794 <property name="has_default">True</property>
795 <property name="label">gtk-refresh</property>
796 <property name="use_stock">True</property>
797 <property name="response_id">-3</property>
798 </widget>
799 <packing>
800 <property name="position">1</property>
801 </packing>
802 </child>
803 <child>
804 <widget class="GtkButton" id="evaluate_button">
805 <property name="visible">True</property>
806 <property name="can_focus">True</property>
807 <property name="can_default">True</property>
808 <property name="label">gtk-apply</property>
809 <property name="use_stock">True</property>
810 <property name="response_id">-10</property>
811 </widget>
812 <packing>
813 <property name="position">2</property>
814 </packing>
815 </child>
816 <child>
817 <widget class="GtkButton" id="add_button">
818 <property name="visible">True</property>
819 <property name="can_focus">True</property>
820 <property name="can_default">True</property>
821 <property name="label">gtk-add</property>
822 <property name="use_stock">True</property>
823 <property name="response_id">-5</property>
824 </widget>
825 <packing>
826 <property name="position">3</property>
827 </packing>
828 </child>
829 </widget>
830 <packing>
831 <property name="expand">False</property>
832 <property name="pack_type">GTK_PACK_END</property>
833 </packing>
834 </child>
835 </widget>
836 </child>
837 </widget>
838 <widget class="GtkDialog" id="breakpoint_properties_dialog">
839 <property name="title" translatable="yes">Breakpoint properties</property>
840 <property name="default_width">400</property>
841 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
842 <signal name="close" handler="gtk_widget_hide" object="breakpoint_property_dialog"/>
843 <child internal-child="vbox">
844 <widget class="GtkVBox" id="dialog-vbox3">
845 <property name="visible">True</property>
846 <child>
847 <widget class="GtkTable" id="table1">
848 <property name="visible">True</property>
849 <property name="border_width">10</property>
850 <property name="n_rows">3</property>
851 <property name="n_columns">2</property>
852 <property name="column_spacing">6</property>
853 <property name="row_spacing">6</property>
854 <child>
855 <widget class="GtkHBox" id="hbox1133">
856 <property name="visible">True</property>
857 <child>
858 <widget class="GtkEntry" id="breakpoint_location_entry">
859 <property name="visible">True</property>
860 <property name="can_focus">True</property>
861 <property name="has_focus">True</property>
862 <property name="activates_default">True</property>
863 </widget>
864 </child>
865 <child>
866 <widget class="GtkLabel" id="breakpoint_location_label">
867 <property name="xalign">0</property>
868 <property name="label" translatable="yes">Location</property>
869 </widget>
870 <packing>
871 <property name="expand">False</property>
872 <property name="fill">False</property>
873 <property name="position">1</property>
874 </packing>
875 </child>
876 </widget>
877 <packing>
878 <property name="left_attach">1</property>
879 <property name="right_attach">2</property>
880 <property name="x_options">GTK_FILL</property>
881 <property name="y_options">GTK_FILL</property>
882 </packing>
883 </child>
884 <child>
885 <widget class="GtkEntry" id="breakpoint_pass_entry">
886 <property name="visible">True</property>
887 <property name="can_focus">True</property>
888 <property name="activates_default">True</property>
889 </widget>
890 <packing>
891 <property name="left_attach">1</property>
892 <property name="right_attach">2</property>
893 <property name="top_attach">2</property>
894 <property name="bottom_attach">3</property>
895 <property name="y_options"></property>
896 </packing>
897 </child>
898 <child>
899 <widget class="GtkEntry" id="breakpoint_condition_entry">
900 <property name="visible">True</property>
901 <property name="can_focus">True</property>
902 <property name="activates_default">True</property>
903 </widget>
904 <packing>
905 <property name="left_attach">1</property>
906 <property name="right_attach">2</property>
907 <property name="top_attach">1</property>
908 <property name="bottom_attach">2</property>
909 <property name="y_options"></property>
910 </packing>
911 </child>
912 <child>
913 <widget class="GtkLabel" id="breakpoint_pass_label">
914 <property name="visible">True</property>
915 <property name="xalign">0</property>
916 <property name="label" translatable="yes" comments="This is the number of time that the program executes the line where a breakpoint is located. It is used as a list header, so I have tried to find a quite short name.">_Pass count:</property>
917 <property name="use_underline">True</property>
918 <property name="mnemonic_widget">breakpoint_pass_entry</property>
919 </widget>
920 <packing>
921 <property name="top_attach">2</property>
922 <property name="bottom_attach">3</property>
923 <property name="x_options">GTK_FILL</property>
924 <property name="y_options"></property>
925 </packing>
926 </child>
927 <child>
928 <widget class="GtkLabel" id="breakpoint_condition_label">
929 <property name="visible">True</property>
930 <property name="xalign">0</property>
931 <property name="label" translatable="yes">_Condition:</property>
932 <property name="use_underline">True</property>
933 <property name="mnemonic_widget">breakpoint_condition_entry</property>
934 </widget>
935 <packing>
936 <property name="top_attach">1</property>
937 <property name="bottom_attach">2</property>
938 <property name="x_options">GTK_FILL</property>
939 <property name="y_options"></property>
940 </packing>
941 </child>
942 <child>
943 <widget class="GtkLabel" id="label6">
944 <property name="visible">True</property>
945 <property name="xalign">0</property>
946 <property name="label" translatable="yes">_Location:</property>
947 <property name="use_underline">True</property>
948 </widget>
949 <packing>
950 <property name="x_options">GTK_FILL</property>
951 <property name="y_options"></property>
952 </packing>
953 </child>
954 </widget>
955 <packing>
956 <property name="position">2</property>
957 </packing>
958 </child>
959 <child internal-child="action_area">
960 <widget class="GtkHButtonBox" id="dialog-action_area3">
961 <property name="visible">True</property>
962 <property name="layout_style">GTK_BUTTONBOX_END</property>
963 <child>
964 <widget class="GtkButton" id="cancelbutton1">
965 <property name="visible">True</property>
966 <property name="can_focus">True</property>
967 <property name="can_default">True</property>
968 <property name="label">gtk-cancel</property>
969 <property name="use_stock">True</property>
970 <property name="response_id">-6</property>
971 </widget>
972 </child>
973 <child>
974 <widget class="GtkButton" id="okbutton1">
975 <property name="visible">True</property>
976 <property name="can_focus">True</property>
977 <property name="has_focus">True</property>
978 <property name="can_default">True</property>
979 <property name="has_default">True</property>
980 <property name="label">gtk-ok</property>
981 <property name="use_stock">True</property>
982 <property name="response_id">-5</property>
983 </widget>
984 <packing>
985 <property name="position">1</property>
986 </packing>
987 </child>
988 </widget>
989 <packing>
990 <property name="expand">False</property>
991 <property name="pack_type">GTK_PACK_END</property>
992 </packing>
993 </child>
994 </widget>
995 </child>
996 </widget>
997 <widget class="GtkDialog" id="parameter_dialog">
998 <property name="title" translatable="yes">Program parameters</property>
999 <property name="default_width">400</property>
1000 <property name="destroy_with_parent">True</property>
1001 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1002 <child internal-child="vbox">
1003 <widget class="GtkVBox" id="dialog-vbox7">
1004 <property name="visible">True</property>
1005 <child>
1006 <widget class="GtkTable" id="table34">
1007 <property name="visible">True</property>
1008 <property name="border_width">5</property>
1009 <property name="n_rows">6</property>
1010 <property name="n_columns">3</property>
1011 <property name="column_spacing">5</property>
1012 <property name="row_spacing">5</property>
1013 <child>
1014 <widget class="GtkCheckButton" id="stop_at_beginning_check">
1015 <property name="visible">True</property>
1016 <property name="can_focus">True</property>
1017 <property name="label" translatable="yes">Stop at beginning</property>
1018 <property name="use_underline">True</property>
1019 <property name="response_id">0</property>
1020 <property name="draw_indicator">True</property>
1021 </widget>
1022 <packing>
1023 <property name="right_attach">3</property>
1024 <property name="top_attach">5</property>
1025 <property name="bottom_attach">6</property>
1026 <property name="x_options">GTK_FILL</property>
1027 <property name="y_options"></property>
1028 </packing>
1029 </child>
1030 <child>
1031 <widget class="GtkCheckButton" id="parameter_run_in_term_check">
1032 <property name="visible">True</property>
1033 <property name="can_focus">True</property>
1034 <property name="label" translatable="yes">Run In Terminal</property>
1035 <property name="use_underline">True</property>
1036 <property name="response_id">0</property>
1037 <property name="draw_indicator">True</property>
1038 </widget>
1039 <packing>
1040 <property name="right_attach">3</property>
1041 <property name="top_attach">4</property>
1042 <property name="bottom_attach">5</property>
1043 <property name="x_options">GTK_FILL</property>
1044 <property name="y_options"></property>
1045 </packing>
1046 </child>
1047 <child>
1048 <widget class="GtkComboBoxEntry" id="parameter_combo">
1049 <property name="visible">True</property>
1050 <child internal-child="entry">
1051 <widget class="GtkEntry" id="comboboxentry-entry2">
1052 </widget>
1053 </child>
1054 </widget>
1055 <packing>
1056 <property name="left_attach">1</property>
1057 <property name="right_attach">3</property>
1058 <property name="top_attach">1</property>
1059 <property name="bottom_attach">2</property>
1060 <property name="x_options">GTK_FILL</property>
1061 <property name="y_options"></property>
1062 </packing>
1063 </child>
1064 <child>
1065 <widget class="GtkLabel" id="label12354">
1066 <property name="visible">True</property>
1067 <property name="xalign">0</property>
1068 <property name="label" translatable="yes">Command Line Parameters:</property>
1069 </widget>
1070 <packing>
1071 <property name="top_attach">1</property>
1072 <property name="bottom_attach">2</property>
1073 <property name="x_options">GTK_FILL</property>
1074 <property name="y_options"></property>
1075 </packing>
1076 </child>
1077 <child>
1078 <widget class="GtkComboBoxEntry" id="target_combo">
1079 <property name="visible">True</property>
1080 <child internal-child="entry">
1081 <widget class="GtkEntry" id="comboboxentry-entry1">
1082 </widget>
1083 </child>
1084 </widget>
1085 <packing>
1086 <property name="left_attach">1</property>
1087 <property name="right_attach">2</property>
1088 <property name="y_options"></property>
1089 <property name="y_padding">3</property>
1090 </packing>
1091 </child>
1092 <child>
1093 <widget class="GtkButton" id="button39">
1094 <property name="visible">True</property>
1095 <property name="can_focus">True</property>
1096 <property name="label">gtk-open</property>
1097 <property name="use_stock">True</property>
1098 <property name="response_id">0</property>
1099 <signal name="clicked" handler="on_select_target_clicked"/>
1100 </widget>
1101 <packing>
1102 <property name="left_attach">2</property>
1103 <property name="right_attach">3</property>
1104 <property name="x_options">GTK_FILL</property>
1105 <property name="y_options"></property>
1106 </packing>
1107 </child>
1108 <child>
1109 <widget class="GtkLabel" id="label12353">
1110 <property name="visible">True</property>
1111 <property name="xalign">0</property>
1112 <property name="label" translatable="yes">Debugger Target:</property>
1113 </widget>
1114 <packing>
1115 <property name="x_options">GTK_FILL</property>
1116 <property name="y_options"></property>
1117 </packing>
1118 </child>
1119 <child>
1120 <widget class="GtkLabel" id="label2">
1121 <property name="visible">True</property>
1122 <property name="events"></property>
1123 <property name="xalign">0</property>
1124 <property name="label" translatable="yes">Working Directory:</property>
1125 </widget>
1126 <packing>
1127 <property name="top_attach">2</property>
1128 <property name="bottom_attach">3</property>
1129 <property name="x_options">GTK_FILL</property>
1130 <property name="y_options"></property>
1131 </packing>
1132 </child>
1133 <child>
1134 <widget class="GtkFileChooserButton" id="working_dir_chooser">
1135 <property name="visible">True</property>
1136 <property name="events"></property>
1137 <property name="action">GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER</property>
1138 <property name="title" translatable="yes">Choose a working directory</property>
1139 </widget>
1140 <packing>
1141 <property name="left_attach">1</property>
1142 <property name="right_attach">3</property>
1143 <property name="top_attach">2</property>
1144 <property name="bottom_attach">3</property>
1145 <property name="y_options"></property>
1146 </packing>
1147 </child>
1148 <child>
1149 <widget class="GtkExpander" id="expander1">
1150 <property name="visible">True</property>
1151 <property name="can_focus">True</property>
1152 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1153 <child>
1154 <widget class="GtkHBox" id="hbox6">
1155 <property name="visible">True</property>
1156 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1157 <property name="spacing">5</property>
1158 <child>
1159 <widget class="GtkScrolledWindow" id="scrolledwindow3">
1160 <property name="visible">True</property>
1161 <property name="can_focus">False</property>
1162 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1163 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1164 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1165 <property name="shadow_type">GTK_SHADOW_OUT</property>
1166 <child>
1167 <widget class="GtkTreeView" id="environment_treeview">
1168 <property name="visible">True</property>
1169 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1170 </widget>
1171 </child>
1172 </widget>
1173 </child>
1174 <child>
1175 <widget class="GtkVButtonBox" id="vbuttonbox2">
1176 <property name="visible">True</property>
1177 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1178 <property name="spacing">5</property>
1179 <property name="layout_style">GTK_BUTTONBOX_START</property>
1180 <child>
1181 <widget class="GtkButton" id="add_button">
1182 <property name="visible">True</property>
1183 <property name="can_focus">True</property>
1184 <property name="receives_default">True</property>
1185 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1186 <property name="label" translatable="yes">gtk-add</property>
1187 <property name="use_stock">True</property>
1188 <property name="response_id">0</property>
1189 </widget>
1190 </child>
1191 <child>
1192 <widget class="GtkButton" id="remove_button">
1193 <property name="visible">True</property>
1194 <property name="sensitive">False</property>
1195 <property name="can_focus">True</property>
1196 <property name="receives_default">True</property>
1197 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1198 <property name="label" translatable="yes">gtk-remove</property>
1199 <property name="use_stock">True</property>
1200 <property name="response_id">0</property>
1201 </widget>
1202 <packing>
1203 <property name="position">1</property>
1204 </packing>
1205 </child>
1206 </widget>
1207 <packing>
1208 <property name="expand">False</property>
1209 <property name="fill">False</property>
1210 <property name="position">1</property>
1211 </packing>
1212 </child>
1213 </widget>
1214 </child>
1215 <child>
1216 <widget class="GtkLabel" id="label5">
1217 <property name="visible">True</property>
1218 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1219 <property name="label" translatable="yes">Environment Variables:</property>
1220 </widget>
1221 <packing>
1222 <property name="type">label_item</property>
1223 </packing>
1224 </child>
1225 </widget>
1226 <packing>
1227 <property name="right_attach">3</property>
1228 <property name="top_attach">3</property>
1229 <property name="bottom_attach">4</property>
1230 </packing>
1231 </child>
1232 </widget>
1233 <packing>
1234 <property name="padding">5</property>
1235 <property name="position">2</property>
1236 </packing>
1237 </child>
1238 <child internal-child="action_area">
1239 <widget class="GtkHButtonBox" id="dialog-action_area7">
1240 <property name="visible">True</property>
1241 <property name="layout_style">GTK_BUTTONBOX_END</property>
1242 <child>
1243 <widget class="GtkButton" id="cancelbutton4">
1244 <property name="visible">True</property>
1245 <property name="can_focus">True</property>
1246 <property name="can_default">True</property>
1247 <property name="label">gtk-close</property>
1248 <property name="use_stock">True</property>
1249 <property name="response_id">-6</property>
1250 </widget>
1251 </child>
1252 <child>
1253 <widget class="GtkButton" id="okbutton3">
1254 <property name="visible">True</property>
1255 <property name="can_focus">True</property>
1256 <property name="can_default">True</property>
1257 <property name="label">gtk-apply</property>
1258 <property name="use_stock">True</property>
1259 <property name="response_id">-10</property>
1260 </widget>
1261 <packing>
1262 <property name="position">1</property>
1263 </packing>
1264 </child>
1265 <child>
1266 <widget class="GtkButton" id="runbutton">
1267 <property name="visible">True</property>
1268 <property name="can_focus">True</property>
1269 <property name="can_default">True</property>
1270 <property name="label">gtk-execute</property>
1271 <property name="use_stock">True</property>
1272 <property name="response_id">-5</property>
1273 </widget>
1274 <packing>
1275 <property name="position">2</property>
1276 </packing>
1277 </child>
1278 </widget>
1279 <packing>
1280 <property name="expand">False</property>
1281 <property name="pack_type">GTK_PACK_END</property>
1282 </packing>
1283 </child>
1284 </widget>
1285 </child>
1286 </widget>
1287 <widget class="GtkWindow" id="dialog_memory">
1288 <property name="title" translatable="yes">Memory</property>
1289 <property name="resizable">False</property>
1290 <child>
1291 <widget class="GtkVBox" id="vbox1">
1292 <property name="visible">True</property>
1293 <property name="can_default">True</property>
1294 <property name="border_width">5</property>
1295 <child>
1296 <widget class="GtkHBox" id="hbox2">
1297 <property name="visible">True</property>
1298 <child>
1299 <widget class="GtkVBox" id="vbox2">
1300 <property name="visible">True</property>
1301 <child>
1302 <widget class="GtkEventBox" id="eventbox_up">
1303 <property name="visible">True</property>
1304 <property name="can_focus">True</property>
1305 <child>
1306 <widget class="GtkArrow" id="arrow1">
1307 <property name="visible">True</property>
1308 <property name="arrow_type">GTK_ARROW_UP</property>
1309 </widget>
1310 </child>
1311 </widget>
1312 <packing>
1313 <property name="expand">False</property>
1314 <property name="fill">False</property>
1315 </packing>
1316 </child>
1317 <child>
1318 <widget class="GtkEventBox" id="eventbox_down">
1319 <property name="visible">True</property>
1320 <child>
1321 <widget class="GtkArrow" id="arrow2">
1322 <property name="visible">True</property>
1323 <property name="arrow_type">GTK_ARROW_DOWN</property>
1324 </widget>
1325 </child>
1326 </widget>
1327 <packing>
1328 <property name="expand">False</property>
1329 <property name="fill">False</property>
1330 <property name="pack_type">GTK_PACK_END</property>
1331 <property name="position">1</property>
1332 </packing>
1333 </child>
1334 </widget>
1335 <packing>
1336 <property name="expand">False</property>
1337 </packing>
1338 </child>
1339 <child>
1340 <widget class="GtkTextView" id="adr_textview">
1341 <property name="visible">True</property>
1342 <property name="sensitive">False</property>
1343 <property name="can_focus">True</property>
1344 <property name="has_focus">True</property>
1345 <property name="editable">False</property>
1346 <property name="left_margin">5</property>
1347 <property name="right_margin">5</property>
1348 </widget>
1349 <packing>
1350 <property name="expand">False</property>
1351 <property name="position">2</property>
1352 </packing>
1353 </child>
1354 <child>
1355 <widget class="GtkTextView" id="data_textview">
1356 <property name="visible">True</property>
1357 <property name="can_focus">True</property>
1358 <property name="editable">False</property>
1359 <property name="left_margin">10</property>
1360 <property name="right_margin">10</property>
1361 </widget>
1362 <packing>
1363 <property name="expand">False</property>
1364 <property name="pack_type">GTK_PACK_END</property>
1365 <property name="position">3</property>
1366 </packing>
1367 </child>
1368 <child>
1369 <widget class="GtkTextView" id="ascii_textview">
1370 <property name="visible">True</property>
1371 <property name="sensitive">False</property>
1372 <property name="can_focus">True</property>
1373 <property name="has_focus">True</property>
1374 <property name="editable">False</property>
1375 <property name="left_margin">5</property>
1376 <property name="right_margin">5</property>
1377 </widget>
1378 <packing>
1379 <property name="expand">False</property>
1380 <property name="pack_type">GTK_PACK_END</property>
1381 <property name="position">1</property>
1382 </packing>
1383 </child>
1384 </widget>
1385 </child>
1386 <child>
1387 <widget class="GtkHSeparator" id="hseparator1">
1388 <property name="visible">True</property>
1389 </widget>
1390 <packing>
1391 <property name="expand">False</property>
1392 <property name="padding">5</property>
1393 <property name="position">1</property>
1394 </packing>
1395 </child>
1396 <child>
1397 <widget class="GtkLabel" id="memory_label">
1398 <property name="visible">True</property>
1399 <property name="label" translatable="yes">Enter an address in hexadecimal or select one in the data</property>
1400 </widget>
1401 <packing>
1402 <property name="expand">False</property>
1403 <property name="fill">False</property>
1404 <property name="position">3</property>
1405 </packing>
1406 </child>
1407 <child>
1408 <widget class="GtkHBox" id="hbox1">
1409 <property name="visible">True</property>
1410 <child>
1411 <widget class="GtkButton" id="button_inspect">
1412 <property name="visible">True</property>
1413 <property name="can_focus">True</property>
1414 <property name="can_default">True</property>
1415 <property name="label" translatable="yes">Inspect</property>
1416 <property name="use_underline">True</property>
1417 <property name="response_id">0</property>
1418 </widget>
1419 <packing>
1420 <property name="fill">False</property>
1421 </packing>
1422 </child>
1423 <child>
1424 <widget class="GtkEntry" id="adr_entry">
1425 <property name="visible">True</property>
1426 <property name="can_focus">True</property>
1427 <property name="max_length">8</property>
1428 </widget>
1429 <packing>
1430 <property name="expand">False</property>
1431 <property name="fill">False</property>
1432 <property name="position">1</property>
1433 </packing>
1434 </child>
1435 <child>
1436 <widget class="GtkButton" id="button_quit">
1437 <property name="visible">True</property>
1438 <property name="can_focus">True</property>
1439 <property name="label">gtk-quit</property>
1440 <property name="use_stock">True</property>
1441 <property name="response_id">0</property>
1442 </widget>
1443 <packing>
1444 <property name="fill">False</property>
1445 <property name="position">2</property>
1446 </packing>
1447 </child>
1448 </widget>
1449 <packing>
1450 <property name="expand">False</property>
1451 <property name="fill">False</property>
1452 <property name="pack_type">GTK_PACK_END</property>
1453 <property name="position">2</property>
1454 </packing>
1455 </child>
1456 </widget>
1457 </child>
1458 </widget>
1459 <widget class="GtkDialog" id="window.debugger.registers">
1460 <property name="title" translatable="yes">CPU Registers</property>
1461 <property name="default_width">200</property>
1462 <property name="default_height">400</property>
1463 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1464 <child internal-child="vbox">
1465 <widget class="GtkVBox" id="dialog-vbox19">
1466 <property name="visible">True</property>
1467 <child>
1468 <widget class="GtkScrolledWindow" id="scrolledwindow27">
1469 <property name="visible">True</property>
1470 <property name="can_focus">True</property>
1471 <property name="border_width">5</property>
1472 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1473 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1474 <property name="shadow_type">GTK_SHADOW_IN</property>
1475 <child>
1476 <widget class="GtkTreeView" id="debugger.registers.tv">
1477 <property name="visible">True</property>
1478 <property name="can_focus">True</property>
1479 </widget>
1480 </child>
1481 </widget>
1482 <packing>
1483 <property name="position">2</property>
1484 </packing>
1485 </child>
1486 <child internal-child="action_area">
1487 <widget class="GtkHButtonBox" id="dialog-action_area19">
1488 <property name="visible">True</property>
1489 <property name="layout_style">GTK_BUTTONBOX_END</property>
1490 </widget>
1491 <packing>
1492 <property name="expand">False</property>
1493 <property name="pack_type">GTK_PACK_END</property>
1494 </packing>
1495 </child>
1496 </widget>
1497 </child>
1498 </widget>
1499 <widget class="GtkDialog" id="window.debugger.sharedlibs">
1500 <property name="title" translatable="yes">Shared libraries</property>
1501 <property name="default_width">300</property>
1502 <property name="default_height">500</property>
1503 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1504 <child internal-child="vbox">
1505 <widget class="GtkVBox" id="dialog-vbox20">
1506 <property name="visible">True</property>
1507 <child>
1508 <widget class="GtkScrolledWindow" id="scrolledwindow28">
1509 <property name="visible">True</property>
1510 <property name="can_focus">True</property>
1511 <property name="border_width">5</property>
1512 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1513 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1514 <property name="shadow_type">GTK_SHADOW_IN</property>
1515 <child>
1516 <widget class="GtkTreeView" id="debugger.sharedlibs.tv">
1517 <property name="visible">True</property>
1518 <property name="can_focus">True</property>
1519 </widget>
1520 </child>
1521 </widget>
1522 <packing>
1523 <property name="position">2</property>
1524 </packing>
1525 </child>
1526 <child internal-child="action_area">
1527 <widget class="GtkHButtonBox" id="dialog-action_area20">
1528 <property name="visible">True</property>
1529 <property name="layout_style">GTK_BUTTONBOX_END</property>
1530 </widget>
1531 <packing>
1532 <property name="expand">False</property>
1533 <property name="pack_type">GTK_PACK_END</property>
1534 </packing>
1535 </child>
1536 </widget>
1537 </child>
1538 </widget>
1539 <widget class="GtkDialog" id="window.debugger.signals">
1540 <property name="title" translatable="yes">Kernel Signals</property>
1541 <property name="default_width">500</property>
1542 <property name="default_height">600</property>
1543 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1544 <child internal-child="vbox">
1545 <widget class="GtkVBox" id="dialog-vbox23">
1546 <property name="visible">True</property>
1547 <child>
1548 <widget class="GtkScrolledWindow" id="scrolledwindow29">
1549 <property name="visible">True</property>
1550 <property name="can_focus">True</property>
1551 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1552 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1553 <child>
1554 <widget class="GtkTreeView" id="debugger.signals.tv">
1555 <property name="visible">True</property>
1556 <property name="can_focus">True</property>
1557 </widget>
1558 </child>
1559 </widget>
1560 <packing>
1561 <property name="position">2</property>
1562 </packing>
1563 </child>
1564 <child internal-child="action_area">
1565 <widget class="GtkHButtonBox" id="dialog-action_area23">
1566 <property name="visible">True</property>
1567 <property name="layout_style">GTK_BUTTONBOX_END</property>
1568 <child>
1569 <widget class="GtkButton" id="closebutton7">
1570 <property name="visible">True</property>
1571 <property name="can_focus">True</property>
1572 <property name="can_default">True</property>
1573 <property name="label">gtk-close</property>
1574 <property name="use_stock">True</property>
1575 <property name="response_id">-6</property>
1576 </widget>
1577 </child>
1578 </widget>
1579 <packing>
1580 <property name="expand">False</property>
1581 <property name="pack_type">GTK_PACK_END</property>
1582 </packing>
1583 </child>
1584 </widget>
1585 </child>
1586 </widget>
1587 <widget class="GtkDialog" id="window.debugger.signals.set">
1588 <property name="width_request">360</property>
1589 <property name="height_request">180</property>
1590 <property name="title" translatable="yes">Set Signal Property</property>
1591 <property name="resizable">False</property>
1592 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1593 <child internal-child="vbox">
1594 <widget class="GtkVBox" id="dialog-vbox24">
1595 <property name="visible">True</property>
1596 <child>
1597 <widget class="GtkHBox" id="hbox1132">
1598 <property name="visible">True</property>
1599 <property name="border_width">5</property>
1600 <property name="spacing">5</property>
1601 <child>
1602 <widget class="GtkLabel" id="label12345">
1603 <property name="visible">True</property>
1604 <property name="label" translatable="yes">Signal:</property>
1605 </widget>
1606 <packing>
1607 <property name="expand">False</property>
1608 <property name="fill">False</property>
1609 </packing>
1610 </child>
1611 <child>
1612 <widget class="GtkLabel" id="lable.signal">
1613 <property name="visible">True</property>
1614 <property name="label" translatable="yes">SIGINT</property>
1615 </widget>
1616 <packing>
1617 <property name="expand">False</property>
1618 <property name="fill">False</property>
1619 <property name="position">1</property>
1620 </packing>
1621 </child>
1622 </widget>
1623 <packing>
1624 <property name="expand">False</property>
1625 <property name="fill">False</property>
1626 <property name="position">2</property>
1627 </packing>
1628 </child>
1629 <child>
1630 <widget class="GtkHBox" id="hbox1131">
1631 <property name="visible">True</property>
1632 <property name="border_width">5</property>
1633 <property name="spacing">5</property>
1634 <child>
1635 <widget class="GtkLabel" id="label12346">
1636 <property name="visible">True</property>
1637 <property name="label" translatable="yes">Description:</property>
1638 </widget>
1639 <packing>
1640 <property name="expand">False</property>
1641 <property name="fill">False</property>
1642 </packing>
1643 </child>
1644 <child>
1645 <widget class="GtkLabel" id="lable.description">
1646 <property name="visible">True</property>
1647 <property name="label" translatable="yes">Program Interrupt</property>
1648 </widget>
1649 <packing>
1650 <property name="expand">False</property>
1651 <property name="fill">False</property>
1652 <property name="position">1</property>
1653 </packing>
1654 </child>
1655 </widget>
1656 <packing>
1657 <property name="expand">False</property>
1658 <property name="fill">False</property>
1659 <property name="position">3</property>
1660 </packing>
1661 </child>
1662 <child>
1663 <widget class="GtkHSeparator" id="hseparator6">
1664 <property name="visible">True</property>
1665 </widget>
1666 <packing>
1667 <property name="expand">False</property>
1668 <property name="position">4</property>
1669 </packing>
1670 </child>
1671 <child>
1672 <widget class="GtkTable" id="table33">
1673 <property name="visible">True</property>
1674 <property name="border_width">5</property>
1675 <property name="n_rows">2</property>
1676 <property name="n_columns">3</property>
1677 <property name="column_spacing">11</property>
1678 <property name="row_spacing">10</property>
1679 <child>
1680 <widget class="GtkToggleButton" id="toggle.pass">
1681 <property name="visible">True</property>
1682 <property name="can_focus">True</property>
1683 <property name="label" translatable="yes">Yes</property>
1684 <property name="use_underline">True</property>
1685 <property name="response_id">0</property>
1686 </widget>
1687 <packing>
1688 <property name="left_attach">2</property>
1689 <property name="right_attach">3</property>
1690 <property name="top_attach">1</property>
1691 <property name="bottom_attach">2</property>
1692 <property name="x_options">GTK_FILL</property>
1693 <property name="y_options"></property>
1694 </packing>
1695 </child>
1696 <child>
1697 <widget class="GtkToggleButton" id="toggle.print">
1698 <property name="visible">True</property>
1699 <property name="can_focus">True</property>
1700 <property name="label" translatable="yes">Yes</property>
1701 <property name="use_underline">True</property>
1702 <property name="response_id">0</property>
1703 </widget>
1704 <packing>
1705 <property name="left_attach">1</property>
1706 <property name="right_attach">2</property>
1707 <property name="top_attach">1</property>
1708 <property name="bottom_attach">2</property>
1709 <property name="x_options">GTK_FILL</property>
1710 <property name="y_options"></property>
1711 </packing>
1712 </child>
1713 <child>
1714 <widget class="GtkToggleButton" id="toggle.stop">
1715 <property name="visible">True</property>
1716 <property name="can_focus">True</property>
1717 <property name="label" translatable="yes">Yes</property>
1718 <property name="use_underline">True</property>
1719 <property name="response_id">0</property>
1720 </widget>
1721 <packing>
1722 <property name="top_attach">1</property>
1723 <property name="bottom_attach">2</property>
1724 <property name="x_options">GTK_FILL</property>
1725 <property name="y_options"></property>
1726 </packing>
1727 </child>
1728 <child>
1729 <widget class="GtkLabel" id="label12349">
1730 <property name="visible">True</property>
1731 <property name="xalign">0</property>
1732 <property name="label" translatable="yes">Pass:</property>
1733 </widget>
1734 <packing>
1735 <property name="left_attach">2</property>
1736 <property name="right_attach">3</property>
1737 <property name="y_options"></property>
1738 </packing>
1739 </child>
1740 <child>
1741 <widget class="GtkLabel" id="label12348">
1742 <property name="visible">True</property>
1743 <property name="xalign">0</property>
1744 <property name="label" translatable="yes">Print:</property>
1745 </widget>
1746 <packing>
1747 <property name="left_attach">1</property>
1748 <property name="right_attach">2</property>
1749 <property name="y_options"></property>
1750 </packing>
1751 </child>
1752 <child>
1753 <widget class="GtkLabel" id="label12347">
1754 <property name="visible">True</property>
1755 <property name="xalign">0</property>
1756 <property name="label" translatable="yes">Stop:</property>
1757 </widget>
1758 <packing>
1759 <property name="y_options"></property>
1760 </packing>
1761 </child>
1762 </widget>
1763 <packing>
1764 <property name="position">5</property>
1765 </packing>
1766 </child>
1767 <child internal-child="action_area">
1768 <widget class="GtkHButtonBox" id="dialog-action_area24">
1769 <property name="visible">True</property>
1770 <property name="layout_style">GTK_BUTTONBOX_END</property>
1771 <child>
1772 <widget class="GtkButton" id="closebutton8">
1773 <property name="visible">True</property>
1774 <property name="can_focus">True</property>
1775 <property name="can_default">True</property>
1776 <property name="label">gtk-cancel</property>
1777 <property name="use_stock">True</property>
1778 <property name="response_id">-6</property>
1779 </widget>
1780 </child>
1781 <child>
1782 <widget class="GtkButton" id="button34">
1783 <property name="visible">True</property>
1784 <property name="can_focus">True</property>
1785 <property name="can_default">True</property>
1786 <property name="label">gtk-ok</property>
1787 <property name="use_stock">True</property>
1788 <property name="response_id">-5</property>
1789 </widget>
1790 <packing>
1791 <property name="position">1</property>
1792 </packing>
1793 </child>
1794 </widget>
1795 <packing>
1796 <property name="expand">False</property>
1797 <property name="pack_type">GTK_PACK_END</property>
1798 </packing>
1799 </child>
1800 </widget>
1801 </child>
1802 </widget>
1803 <widget class="GtkDialog" id="debugger_start_dialog">
1804 <property name="visible">True</property>
1805 <property name="title" translatable="yes">Start Debugger</property>
1806 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1807 <property name="default_width">400</property>
1808 <property name="default_height">300</property>
1809 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1810 <child internal-child="vbox">
1811 <widget class="GtkVBox" id="dialog-vbox25">
1812 <property name="visible">True</property>
1813 <child>
1814 <widget class="GtkFrame" id="frame8">
1815 <property name="visible">True</property>
1816 <property name="border_width">5</property>
1817 <property name="label_xalign">0</property>
1818 <property name="shadow_type">GTK_SHADOW_NONE</property>
1819 <child>
1820 <widget class="GtkAlignment" id="alignment11">
1821 <property name="visible">True</property>
1822 <property name="left_padding">12</property>
1823 <child>
1824 <widget class="GtkScrolledWindow" id="scrolledwindow30">
1825 <property name="visible">True</property>
1826 <property name="can_focus">True</property>
1827 <property name="border_width">5</property>
1828 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1829 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1830 <property name="shadow_type">GTK_SHADOW_IN</property>
1831 <child>
1832 <widget class="GtkTreeView" id="programs_treeview">
1833 <property name="visible">True</property>
1834 <property name="can_focus">True</property>
1835 </widget>
1836 </child>
1837 </widget>
1838 </child>
1839 </widget>
1840 </child>
1841 <child>
1842 <widget class="GtkLabel" id="label12350">
1843 <property name="visible">True</property>
1844 <property name="label" translatable="yes">&lt;b&gt;Debugger:&lt;/b&gt;</property>
1845 <property name="use_markup">True</property>
1846 </widget>
1847 <packing>
1848 <property name="type">label_item</property>
1849 </packing>
1850 </child>
1851 </widget>
1852 <packing>
1853 <property name="position">2</property>
1854 </packing>
1855 </child>
1856 <child internal-child="action_area">
1857 <widget class="GtkHButtonBox" id="dialog-action_area25">
1858 <property name="visible">True</property>
1859 <property name="layout_style">GTK_BUTTONBOX_END</property>
1860 <child>
1861 <widget class="GtkButton" id="cancelbutton5">
1862 <property name="visible">True</property>
1863 <property name="can_focus">True</property>
1864 <property name="can_default">True</property>
1865 <property name="label">gtk-cancel</property>
1866 <property name="use_stock">True</property>
1867 <property name="response_id">-6</property>
1868 </widget>
1869 </child>
1870 <child>
1871 <widget class="GtkButton" id="okbutton4">
1872 <property name="visible">True</property>
1873 <property name="can_focus">True</property>
1874 <property name="can_default">True</property>
1875 <property name="label">gtk-ok</property>
1876 <property name="use_stock">True</property>
1877 <property name="response_id">-5</property>
1878 </widget>
1879 <packing>
1880 <property name="position">1</property>
1881 </packing>
1882 </child>
1883 </widget>
1884 <packing>
1885 <property name="expand">False</property>
1886 <property name="pack_type">GTK_PACK_END</property>
1887 </packing>
1888 </child>
1889 </widget>
1890 </child>
1891 </widget>
1892 <widget class="GtkDialog" id="debugger_command_dialog">
1893 <property name="visible">True</property>
1894 <property name="title" translatable="yes">Debugger command</property>
1895 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1896 <property name="destroy_with_parent">True</property>
1897 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1898 <child internal-child="vbox">
1899 <widget class="GtkVBox" id="dialog-vbox25">
1900 <property name="visible">True</property>
1901 <child>
1902 <widget class="GtkHBox" id="hbox1134">
1903 <property name="visible">True</property>
1904 <property name="border_width">10</property>
1905 <property name="spacing">5</property>
1906 <child>
1907 <widget class="GtkLabel" id="label12350">
1908 <property name="visible">True</property>
1909 <property name="label" translatable="yes">Debugger command:</property>
1910 </widget>
1911 <packing>
1912 <property name="expand">False</property>
1913 <property name="fill">False</property>
1914 </packing>
1915 </child>
1916 <child>
1917 <widget class="GtkEntry" id="debugger_command_entry">
1918 <property name="visible">True</property>
1919 <property name="can_focus">True</property>
1920 </widget>
1921 <packing>
1922 <property name="position">1</property>
1923 </packing>
1924 </child>
1925 </widget>
1926 <packing>
1927 <property name="expand">False</property>
1928 <property name="fill">False</property>
1929 <property name="position">2</property>
1930 </packing>
1931 </child>
1932 <child internal-child="action_area">
1933 <widget class="GtkHButtonBox" id="dialog-action_area25">
1934 <property name="visible">True</property>
1935 <property name="layout_style">GTK_BUTTONBOX_END</property>
1936 <child>
1937 <widget class="GtkButton" id="closebutton9">
1938 <property name="visible">True</property>
1939 <property name="can_focus">True</property>
1940 <property name="can_default">True</property>
1941 <property name="label">gtk-close</property>
1942 <property name="use_stock">True</property>
1943 <property name="response_id">-7</property>
1944 </widget>
1945 </child>
1946 </widget>
1947 <packing>
1948 <property name="expand">False</property>
1949 <property name="pack_type">GTK_PACK_END</property>
1950 </packing>
1951 </child>
1952 </widget>
1953 </child>
1954 </widget>
1955 <widget class="GtkDialog" id="source_paths_dialog">
1956 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1957 <property name="border_width">5</property>
1958 <property name="title" translatable="yes">Source Directories</property>
1959 <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
1960 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1961 <property name="skip_pager_hint">True</property>
1962 <child internal-child="vbox">
1963 <widget class="GtkVBox" id="dialog-vbox16">
1964 <property name="visible">True</property>
1965 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1966 <property name="spacing">2</property>
1967 <child>
1968 <widget class="GtkTable" id="table5">
1969 <property name="visible">True</property>
1970 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1971 <property name="border_width">5</property>
1972 <property name="n_rows">5</property>
1973 <property name="n_columns">2</property>
1974 <property name="column_spacing">5</property>
1975 <property name="row_spacing">6</property>
1976 <child>
1977 <widget class="GtkScrolledWindow" id="scrolledwindow6">
1978 <property name="width_request">480</property>
1979 <property name="visible">True</property>
1980 <property name="can_focus">True</property>
1981 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1982 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1983 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1984 <property name="shadow_type">GTK_SHADOW_IN</property>
1985 <child>
1986 <widget class="GtkTreeView" id="src_clist">
1987 <property name="visible">True</property>
1988 <property name="can_focus">True</property>
1989 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1990 </widget>
1991 </child>
1992 </widget>
1993 <packing>
1994 <property name="top_attach">1</property>
1995 <property name="bottom_attach">5</property>
1996 </packing>
1997 </child>
1998 <child>
1999 <widget class="GtkFileChooserButton" id="src_entry">
2000 <property name="visible">True</property>
2001 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2002 <property name="border_width">1</property>
2003 <property name="action">GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER</property>
2004 <property name="title" translatable="yes">Select one directory</property>
2005 </widget>
2006 <packing>
2007 <property name="y_options">GTK_SHRINK</property>
2008 </packing>
2009 </child>
2010 <child>
2011 <widget class="GtkButton" id="add_button">
2012 <property name="visible">True</property>
2013 <property name="can_focus">True</property>
2014 <property name="receives_default">True</property>
2015 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2016 <property name="label">gtk-add</property>
2017 <property name="use_stock">True</property>
2018 <property name="response_id">0</property>
2019 </widget>
2020 <packing>
2021 <property name="left_attach">1</property>
2022 <property name="right_attach">2</property>
2023 <property name="x_options">GTK_SHRINK | GTK_FILL</property>
2024 <property name="y_options">GTK_SHRINK</property>
2025 </packing>
2026 </child>
2027 <child>
2028 <widget class="GtkVBox" id="vbox4">
2029 <property name="visible">True</property>
2030 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2031 <property name="spacing">5</property>
2032 <child>
2033 <widget class="GtkButton" id="remove_button">
2034 <property name="visible">True</property>
2035 <property name="can_focus">True</property>
2036 <property name="receives_default">True</property>
2037 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2038 <property name="label">gtk-remove</property>
2039 <property name="use_stock">True</property>
2040 <property name="response_id">0</property>
2041 </widget>
2042 <packing>
2043 <property name="expand">False</property>
2044 <property name="fill">False</property>
2045 </packing>
2046 </child>
2047 <child>
2048 <widget class="GtkButton" id="up_button">
2049 <property name="visible">True</property>
2050 <property name="can_focus">True</property>
2051 <property name="receives_default">True</property>
2052 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2053 <property name="label">gtk-go-up</property>
2054 <property name="use_stock">True</property>
2055 <property name="response_id">0</property>
2056 </widget>
2057 <packing>
2058 <property name="expand">False</property>
2059 <property name="fill">False</property>
2060 <property name="position">1</property>
2061 </packing>
2062 </child>
2063 <child>
2064 <widget class="GtkButton" id="down_button">
2065 <property name="visible">True</property>
2066 <property name="can_focus">True</property>
2067 <property name="receives_default">True</property>
2068 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2069 <property name="label">gtk-go-down</property>
2070 <property name="use_stock">True</property>
2071 <property name="response_id">0</property>
2072 </widget>
2073 <packing>
2074 <property name="expand">False</property>
2075 <property name="fill">False</property>
2076 <property name="position">2</property>
2077 </packing>
2078 </child>
2079 </widget>
2080 <packing>
2081 <property name="left_attach">1</property>
2082 <property name="right_attach">2</property>
2083 <property name="top_attach">1</property>
2084 <property name="bottom_attach">5</property>
2085 <property name="x_options">GTK_SHRINK | GTK_FILL</property>
2086 </packing>
2087 </child>
2088 </widget>
2089 <packing>
2090 <property name="position">1</property>
2091 </packing>
2092 </child>
2093 <child internal-child="action_area">
2094 <widget class="GtkHButtonBox" id="dialog-action_area16">
2095 <property name="visible">True</property>
2096 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2097 <property name="layout_style">GTK_BUTTONBOX_END</property>
2098 <child>
2099 <widget class="GtkButton" id="button6">
2100 <property name="visible">True</property>
2101 <property name="can_focus">True</property>
2102 <property name="receives_default">True</property>
2103 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2104 <property name="label">gtk-redo</property>
2105 <property name="use_stock">True</property>
2106 <property name="response_id">-6</property>
2107 </widget>
2108 </child>
2109 <child>
2110 <widget class="GtkButton" id="button7">
2111 <property name="visible">True</property>
2112 <property name="can_focus">True</property>
2113 <property name="receives_default">True</property>
2114 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
2115 <property name="label">gtk-close</property>
2116 <property name="use_stock">True</property>
2117 <property name="response_id">-7</property>
2118 </widget>
2119 <packing>
2120 <property name="position">1</property>
2121 </packing>
2122 </child>
2123 </widget>
2124 <packing>
2125 <property name="expand">False</property>
2126 <property name="pack_type">GTK_PACK_END</property>
2127 </packing>
2128 </child>
2129 </widget>
2130 </child>
2131 </widget>
2132 </glade-interface>