1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
5 <requires lib="gnome"/>
6 <requires lib="bonobo"/>
8 <widget class="GnomeApp" id="debug_win">
9 <property name="visible">True</property>
10 <property name="title" translatable="yes">DreamOn! Debugger</property>
11 <property name="type">GTK_WINDOW_TOPLEVEL</property>
12 <property name="window_position">GTK_WIN_POS_NONE</property>
13 <property name="modal">False</property>
14 <property name="default_width">1000</property>
15 <property name="default_height">700</property>
16 <property name="resizable">True</property>
17 <property name="destroy_with_parent">False</property>
18 <property name="enable_layout_config">True</property>
19 <signal name="delete_event" handler="on_debug_win_delete_event"/>
21 <child internal-child="dock">
22 <widget class="BonoboDock" id="dock1">
23 <property name="visible">True</property>
24 <property name="allow_floating">True</property>
27 <widget class="BonoboDockItem" id="dockitem1">
28 <property name="border_width">2</property>
29 <property name="visible">True</property>
30 <property name="shadow_type">GTK_SHADOW_OUT</property>
33 <widget class="GtkMenuBar" id="menubar1">
34 <property name="visible">True</property>
37 <widget class="GtkMenuItem" id="file1">
38 <property name="visible">True</property>
39 <property name="label" translatable="yes">_File</property>
40 <property name="use_underline">True</property>
43 <widget class="GtkMenu" id="file1_menu">
44 <property name="visible">True</property>
47 <widget class="GtkImageMenuItem" id="new_file1">
48 <property name="visible">True</property>
49 <property name="label" translatable="yes">gtk-new</property>
50 <property name="use_underline">True</property>
51 <signal name="activate" handler="on_new_file1_activate"/>
56 <widget class="GtkImageMenuItem" id="open1">
57 <property name="visible">True</property>
58 <property name="label" translatable="yes">gtk-open</property>
59 <property name="use_underline">True</property>
60 <signal name="activate" handler="on_open1_activate"/>
65 <widget class="GtkImageMenuItem" id="save1">
66 <property name="visible">True</property>
67 <property name="label" translatable="yes">gtk-save</property>
68 <property name="use_underline">True</property>
69 <signal name="activate" handler="on_save1_activate"/>
74 <widget class="GtkImageMenuItem" id="save_as1">
75 <property name="visible">True</property>
76 <property name="label" translatable="yes">gtk-save-as</property>
77 <property name="use_underline">True</property>
78 <signal name="activate" handler="on_save_as1_activate"/>
83 <widget class="GtkMenuItem" id="separator1">
84 <property name="visible">True</property>
89 <widget class="GtkImageMenuItem" id="exit1">
90 <property name="visible">True</property>
91 <property name="label" translatable="yes">gtk-quit</property>
92 <property name="use_underline">True</property>
93 <signal name="activate" handler="on_exit1_activate"/>
102 <widget class="GtkMenuItem" id="view1">
103 <property name="visible">True</property>
104 <property name="label" translatable="yes">_View</property>
105 <property name="use_underline">True</property>
108 <widget class="GtkMenu" id="view1_menu">
109 <property name="visible">True</property>
112 <widget class="GtkMenuItem" id="mem_mapped_regs1">
113 <property name="visible">True</property>
114 <property name="label" translatable="yes">Mem mapped Regs</property>
115 <property name="use_underline">True</property>
116 <signal name="activate" handler="on_mem_mapped_regs1_activate"/>
125 <widget class="GtkMenuItem" id="settings1">
126 <property name="visible">True</property>
127 <property name="label" translatable="yes">_Settings</property>
128 <property name="use_underline">True</property>
131 <widget class="GtkMenu" id="settings1_menu">
132 <property name="visible">True</property>
135 <widget class="GtkImageMenuItem" id="preferences1">
136 <property name="visible">True</property>
137 <property name="label" translatable="yes">gtk-preferences</property>
138 <property name="use_underline">True</property>
139 <signal name="activate" handler="on_preferences1_activate"/>
148 <widget class="GtkMenuItem" id="help1">
149 <property name="visible">True</property>
150 <property name="label" translatable="yes">_Help</property>
151 <property name="use_underline">True</property>
154 <widget class="GtkMenu" id="help1_menu">
155 <property name="visible">True</property>
158 <widget class="GtkImageMenuItem" id="about1">
159 <property name="visible">True</property>
160 <property name="label" translatable="yes">gnome-stock-about</property>
161 <property name="use_underline">True</property>
162 <signal name="activate" handler="on_about1_activate"/>
173 <property name="placement">BONOBO_DOCK_TOP</property>
174 <property name="band">0</property>
175 <property name="position">0</property>
176 <property name="offset">0</property>
177 <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE|BONOBO_DOCK_ITEM_BEH_NEVER_VERTICAL</property>
182 <widget class="BonoboDockItem" id="dockitem2">
183 <property name="border_width">1</property>
184 <property name="visible">True</property>
185 <property name="shadow_type">GTK_SHADOW_OUT</property>
188 <widget class="GtkToolbar" id="toolbar1">
189 <property name="border_width">1</property>
190 <property name="visible">True</property>
191 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
192 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
193 <property name="tooltips">True</property>
196 <widget class="button" id="load_btn">
197 <property name="visible">True</property>
198 <property name="tooltip" translatable="yes">New File</property>
199 <property name="label" translatable="yes">Load</property>
200 <property name="use_underline">True</property>
201 <property name="stock_pixmap">gtk-open</property>
202 <signal name="clicked" handler="on_load_btn_clicked"/>
207 <widget class="button" id="reset_btn">
208 <property name="visible">True</property>
209 <property name="tooltip" translatable="yes">Open File</property>
210 <property name="label" translatable="yes">Reset</property>
211 <property name="use_underline">True</property>
212 <property name="stock_pixmap">gtk-refresh</property>
213 <signal name="clicked" handler="on_reset_btn_clicked"/>
218 <widget class="button" id="stop_btn">
219 <property name="visible">True</property>
220 <property name="tooltip" translatable="yes">Save File</property>
221 <property name="label" translatable="yes">Stop</property>
222 <property name="use_underline">True</property>
223 <property name="stock_pixmap">gtk-stop</property>
224 <signal name="clicked" handler="on_stop_btn_clicked"/>
229 <widget class="button" id="step_btn">
230 <property name="visible">True</property>
231 <property name="label" translatable="yes">Step</property>
232 <property name="use_underline">True</property>
233 <property name="stock_pixmap">gtk-redo</property>
234 <signal name="clicked" handler="on_step_btn_clicked"/>
239 <widget class="button" id="run_btn">
240 <property name="visible">True</property>
241 <property name="label" translatable="yes">Run</property>
242 <property name="use_underline">True</property>
243 <property name="stock_pixmap">gtk-go-forward</property>
244 <signal name="clicked" handler="on_run_btn_clicked"/>
249 <widget class="button" id="runto_btn">
250 <property name="visible">True</property>
251 <property name="label" translatable="yes">Run to</property>
252 <property name="use_underline">True</property>
253 <property name="stock_pixmap">gtk-goto-last</property>
254 <signal name="clicked" handler="on_runto_btn_clicked"/>
259 <widget class="button" id="break_btn">
260 <property name="visible">True</property>
261 <property name="label" translatable="yes">Break</property>
262 <property name="use_underline">True</property>
263 <property name="stock_pixmap">gtk-close</property>
264 <signal name="clicked" handler="on_break_btn_clicked"/>
271 <property name="placement">BONOBO_DOCK_TOP</property>
272 <property name="band">1</property>
273 <property name="position">0</property>
274 <property name="offset">0</property>
275 <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE</property>
280 <widget class="GtkVPaned" id="vpaned1">
281 <property name="visible">True</property>
282 <property name="can_focus">True</property>
283 <property name="position">430</property>
286 <widget class="GtkHPaned" id="hpaned1">
287 <property name="visible">True</property>
288 <property name="can_focus">True</property>
289 <property name="position">800</property>
292 <widget class="GtkVBox" id="vbox2">
293 <property name="visible">True</property>
294 <property name="homogeneous">False</property>
295 <property name="spacing">0</property>
298 <widget class="GtkHBox" id="hbox1">
299 <property name="visible">True</property>
300 <property name="homogeneous">False</property>
301 <property name="spacing">0</property>
304 <widget class="GtkLabel" id="label21">
305 <property name="visible">True</property>
306 <property name="label" translatable="yes">Page</property>
307 <property name="use_underline">False</property>
308 <property name="use_markup">False</property>
309 <property name="justify">GTK_JUSTIFY_CENTER</property>
310 <property name="wrap">False</property>
311 <property name="selectable">False</property>
312 <property name="xalign">0.5</property>
313 <property name="yalign">0.5</property>
314 <property name="xpad">0</property>
315 <property name="ypad">0</property>
318 <property name="padding">4</property>
319 <property name="expand">False</property>
320 <property name="fill">False</property>
325 <widget class="GtkEntry" id="page_field">
326 <property name="visible">True</property>
327 <property name="can_focus">True</property>
328 <property name="editable">True</property>
329 <property name="visibility">True</property>
330 <property name="max_length">0</property>
331 <property name="text" translatable="yes"></property>
332 <property name="has_frame">True</property>
333 <property name="invisible_char" translatable="yes">*</property>
334 <property name="activates_default">False</property>
335 <signal name="key_press_event" handler="on_page_field_key_press_event"/>
338 <property name="padding">0</property>
339 <property name="expand">False</property>
340 <property name="fill">True</property>
345 <widget class="GtkCheckButton" id="page_locked_btn">
346 <property name="visible">True</property>
347 <property name="can_focus">True</property>
348 <property name="label" translatable="yes">Locked</property>
349 <property name="use_underline">True</property>
350 <property name="relief">GTK_RELIEF_NORMAL</property>
351 <property name="active">False</property>
352 <property name="inconsistent">False</property>
353 <property name="draw_indicator">True</property>
354 <signal name="toggled" handler="on_page_locked_btn_toggled"/>
357 <property name="padding">5</property>
358 <property name="expand">False</property>
359 <property name="fill">False</property>
364 <widget class="GtkButton" id="jump_pc_btn">
365 <property name="visible">True</property>
366 <property name="can_focus">True</property>
367 <property name="label" translatable="yes"> Jump to PC </property>
368 <property name="use_underline">True</property>
369 <property name="relief">GTK_RELIEF_NORMAL</property>
370 <signal name="clicked" handler="on_jump_pc_btn_clicked"/>
373 <property name="padding">4</property>
374 <property name="expand">False</property>
375 <property name="fill">False</property>
380 <widget class="GtkLabel" id="label22">
381 <property name="visible">True</property>
382 <property name="label" translatable="yes">Mode</property>
383 <property name="use_underline">False</property>
384 <property name="use_markup">False</property>
385 <property name="justify">GTK_JUSTIFY_RIGHT</property>
386 <property name="wrap">False</property>
387 <property name="selectable">False</property>
388 <property name="xalign">1</property>
389 <property name="yalign">0.5</property>
390 <property name="xpad">0</property>
391 <property name="ypad">0</property>
394 <property name="padding">5</property>
395 <property name="expand">False</property>
396 <property name="fill">False</property>
401 <widget class="GtkCombo" id="mode_box">
402 <property name="visible">True</property>
403 <property name="value_in_list">False</property>
404 <property name="allow_empty">True</property>
405 <property name="case_sensitive">False</property>
406 <property name="enable_arrow_keys">True</property>
407 <property name="enable_arrows_always">False</property>
409 <child internal-child="entry">
410 <widget class="GtkEntry" id="mode_field">
411 <property name="visible">True</property>
412 <property name="can_focus">True</property>
413 <property name="editable">True</property>
414 <property name="visibility">True</property>
415 <property name="max_length">0</property>
416 <property name="text" translatable="yes"></property>
417 <property name="has_frame">True</property>
418 <property name="invisible_char" translatable="yes">*</property>
419 <property name="activates_default">False</property>
420 <signal name="changed" handler="on_mode_field_changed"/>
424 <child internal-child="list">
425 <widget class="GtkList" id="convertwidget1">
426 <property name="visible">True</property>
427 <property name="selection_mode">GTK_SELECTION_BROWSE</property>
430 <widget class="GtkListItem" id="convertwidget2">
431 <property name="visible">True</property>
434 <widget class="GtkLabel" id="convertwidget3">
435 <property name="visible">True</property>
436 <property name="label" translatable="yes"></property>
437 <property name="use_underline">False</property>
438 <property name="use_markup">False</property>
439 <property name="justify">GTK_JUSTIFY_LEFT</property>
440 <property name="wrap">False</property>
441 <property name="selectable">False</property>
442 <property name="xalign">0</property>
443 <property name="yalign">0.5</property>
444 <property name="xpad">0</property>
445 <property name="ypad">0</property>
454 <property name="padding">0</property>
455 <property name="expand">False</property>
456 <property name="fill">False</property>
461 <widget class="GtkLabel" id="label23">
462 <property name="visible">True</property>
463 <property name="label" translatable="yes"></property>
464 <property name="use_underline">False</property>
465 <property name="use_markup">False</property>
466 <property name="justify">GTK_JUSTIFY_CENTER</property>
467 <property name="wrap">False</property>
468 <property name="selectable">False</property>
469 <property name="xalign">0.5</property>
470 <property name="yalign">0.5</property>
471 <property name="xpad">0</property>
472 <property name="ypad">0</property>
475 <property name="padding">4</property>
476 <property name="expand">True</property>
477 <property name="fill">True</property>
482 <property name="padding">3</property>
483 <property name="expand">False</property>
484 <property name="fill">False</property>
489 <widget class="GtkScrolledWindow" id="scrolledwindow7">
490 <property name="visible">True</property>
491 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
492 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
493 <property name="shadow_type">GTK_SHADOW_IN</property>
494 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
497 <widget class="GtkCList" id="disasm_list">
498 <property name="visible">True</property>
499 <property name="can_focus">True</property>
500 <property name="n_columns">4</property>
501 <property name="column_widths">80,80,80,80</property>
502 <property name="selection_mode">GTK_SELECTION_SINGLE</property>
503 <property name="show_titles">False</property>
504 <property name="shadow_type">GTK_SHADOW_IN</property>
505 <signal name="select_row" handler="on_disasm_list_select_row"/>
506 <signal name="unselect_row" handler="on_disasm_list_unselect_row"/>
509 <widget class="GtkLabel" id="label24">
510 <property name="visible">True</property>
511 <property name="label" translatable="yes"></property>
512 <property name="use_underline">False</property>
513 <property name="use_markup">False</property>
514 <property name="justify">GTK_JUSTIFY_LEFT</property>
515 <property name="wrap">False</property>
516 <property name="selectable">False</property>
517 <property name="xalign">0.5</property>
518 <property name="yalign">0.5</property>
519 <property name="xpad">0</property>
520 <property name="ypad">0</property>
525 <widget class="GtkLabel" id="label27">
526 <property name="visible">True</property>
527 <property name="label" translatable="yes"></property>
528 <property name="use_underline">False</property>
529 <property name="use_markup">False</property>
530 <property name="justify">GTK_JUSTIFY_LEFT</property>
531 <property name="wrap">False</property>
532 <property name="selectable">False</property>
533 <property name="xalign">0.5</property>
534 <property name="yalign">0.5</property>
535 <property name="xpad">0</property>
536 <property name="ypad">0</property>
541 <widget class="GtkLabel" id="label28">
542 <property name="visible">True</property>
543 <property name="label" translatable="yes"></property>
544 <property name="use_underline">False</property>
545 <property name="use_markup">False</property>
546 <property name="justify">GTK_JUSTIFY_LEFT</property>
547 <property name="wrap">False</property>
548 <property name="selectable">False</property>
549 <property name="xalign">0.5</property>
550 <property name="yalign">0.5</property>
551 <property name="xpad">0</property>
552 <property name="ypad">0</property>
557 <widget class="GtkLabel" id="label29">
558 <property name="visible">True</property>
559 <property name="label" translatable="yes"></property>
560 <property name="use_underline">False</property>
561 <property name="use_markup">False</property>
562 <property name="justify">GTK_JUSTIFY_LEFT</property>
563 <property name="wrap">False</property>
564 <property name="selectable">False</property>
565 <property name="xalign">0.5</property>
566 <property name="yalign">0.5</property>
567 <property name="xpad">0</property>
568 <property name="ypad">0</property>
575 <property name="padding">0</property>
576 <property name="expand">True</property>
577 <property name="fill">True</property>
582 <property name="shrink">True</property>
583 <property name="resize">False</property>
588 <widget class="GtkScrolledWindow" id="scrolledwindow4">
589 <property name="visible">True</property>
590 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
591 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
592 <property name="shadow_type">GTK_SHADOW_IN</property>
593 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
596 <widget class="GtkCList" id="reg_list">
597 <property name="visible">True</property>
598 <property name="can_focus">True</property>
599 <property name="n_columns">2</property>
600 <property name="column_widths">80,80</property>
601 <property name="selection_mode">GTK_SELECTION_SINGLE</property>
602 <property name="show_titles">False</property>
603 <property name="shadow_type">GTK_SHADOW_IN</property>
606 <widget class="GtkLabel" id="label25">
607 <property name="visible">True</property>
608 <property name="label" translatable="yes"></property>
609 <property name="use_underline">False</property>
610 <property name="use_markup">False</property>
611 <property name="justify">GTK_JUSTIFY_LEFT</property>
612 <property name="wrap">False</property>
613 <property name="selectable">False</property>
614 <property name="xalign">0.5</property>
615 <property name="yalign">0.5</property>
616 <property name="xpad">0</property>
617 <property name="ypad">0</property>
622 <widget class="GtkLabel" id="label30">
623 <property name="visible">True</property>
624 <property name="label" translatable="yes"></property>
625 <property name="use_underline">False</property>
626 <property name="use_markup">False</property>
627 <property name="justify">GTK_JUSTIFY_LEFT</property>
628 <property name="wrap">False</property>
629 <property name="selectable">False</property>
630 <property name="xalign">0.5</property>
631 <property name="yalign">0.5</property>
632 <property name="xpad">0</property>
633 <property name="ypad">0</property>
640 <property name="shrink">True</property>
641 <property name="resize">False</property>
646 <property name="shrink">True</property>
647 <property name="resize">True</property>
652 <widget class="GtkScrolledWindow" id="scrolledwindow8">
653 <property name="visible">True</property>
654 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
655 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
656 <property name="shadow_type">GTK_SHADOW_IN</property>
657 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
660 <widget class="GtkCList" id="output_list">
661 <property name="visible">True</property>
662 <property name="can_focus">True</property>
663 <property name="n_columns">3</property>
664 <property name="column_widths">80,80,80</property>
665 <property name="selection_mode">GTK_SELECTION_SINGLE</property>
666 <property name="show_titles">False</property>
667 <property name="shadow_type">GTK_SHADOW_IN</property>
668 <signal name="select_row" handler="on_output_list_select_row"/>
671 <widget class="GtkLabel" id="label26">
672 <property name="visible">True</property>
673 <property name="label" translatable="yes"></property>
674 <property name="use_underline">False</property>
675 <property name="use_markup">False</property>
676 <property name="justify">GTK_JUSTIFY_LEFT</property>
677 <property name="wrap">False</property>
678 <property name="selectable">False</property>
679 <property name="xalign">0.5</property>
680 <property name="yalign">0.5</property>
681 <property name="xpad">0</property>
682 <property name="ypad">0</property>
687 <widget class="GtkLabel" id="label31">
688 <property name="visible">True</property>
689 <property name="label" translatable="yes"></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.5</property>
696 <property name="yalign">0.5</property>
697 <property name="xpad">0</property>
698 <property name="ypad">0</property>
703 <widget class="GtkLabel" id="label32">
704 <property name="visible">True</property>
705 <property name="label" translatable="yes"></property>
706 <property name="use_underline">False</property>
707 <property name="use_markup">False</property>
708 <property name="justify">GTK_JUSTIFY_LEFT</property>
709 <property name="wrap">False</property>
710 <property name="selectable">False</property>
711 <property name="xalign">0.5</property>
712 <property name="yalign">0.5</property>
713 <property name="xpad">0</property>
714 <property name="ypad">0</property>
721 <property name="shrink">True</property>
722 <property name="resize">False</property>
729 <property name="padding">0</property>
730 <property name="expand">True</property>
731 <property name="fill">True</property>
735 <child internal-child="appbar">
736 <widget class="GnomeAppBar" id="debug_appbar">
737 <property name="visible">True</property>
738 <property name="has_progress">True</property>
739 <property name="has_status">True</property>
742 <property name="padding">0</property>
743 <property name="expand">True</property>
744 <property name="fill">True</property>
749 <widget class="GtkWindow" id="mmr_win">
750 <property name="visible">True</property>
751 <property name="title" translatable="yes">DreamOn! - Memory-Mapped Registers</property>
752 <property name="type">GTK_WINDOW_TOPLEVEL</property>
753 <property name="window_position">GTK_WIN_POS_NONE</property>
754 <property name="modal">False</property>
755 <property name="default_width">600</property>
756 <property name="default_height">600</property>
757 <property name="resizable">True</property>
758 <property name="destroy_with_parent">False</property>
759 <signal name="delete_event" handler="on_mmr_win_delete_event"/>
762 <widget class="GtkVBox" id="vbox1">
763 <property name="visible">True</property>
764 <property name="homogeneous">False</property>
765 <property name="spacing">0</property>
768 <widget class="GtkNotebook" id="mmr_notebook">
769 <property name="visible">True</property>
770 <property name="can_focus">True</property>
771 <property name="show_tabs">True</property>
772 <property name="show_border">True</property>
773 <property name="tab_pos">GTK_POS_LEFT</property>
774 <property name="scrollable">False</property>
775 <property name="enable_popup">False</property>
782 <widget class="GtkLabel" id="label16">
783 <property name="visible">True</property>
784 <property name="label" translatable="yes">label16</property>
785 <property name="use_underline">False</property>
786 <property name="use_markup">False</property>
787 <property name="justify">GTK_JUSTIFY_CENTER</property>
788 <property name="wrap">False</property>
789 <property name="selectable">False</property>
790 <property name="xalign">0.5</property>
791 <property name="yalign">0.5</property>
792 <property name="xpad">0</property>
793 <property name="ypad">0</property>
796 <property name="type">tab</property>
801 <property name="padding">0</property>
802 <property name="expand">True</property>
803 <property name="fill">True</property>
808 <widget class="GtkHButtonBox" id="hbuttonbox1">
809 <property name="visible">True</property>
810 <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
811 <property name="spacing">30</property>
814 <widget class="GtkButton" id="mmr_close">
815 <property name="visible">True</property>
816 <property name="can_default">True</property>
817 <property name="can_focus">True</property>
818 <property name="label" translatable="yes">Close</property>
819 <property name="use_underline">True</property>
820 <property name="relief">GTK_RELIEF_NORMAL</property>
821 <signal name="clicked" handler="on_mmr_close_clicked"/>
826 <property name="padding">0</property>
827 <property name="expand">False</property>
828 <property name="fill">True</property>
835 <widget class="GnomeAbout" id="about_win">
836 <property name="border_width">1</property>
837 <property name="visible">True</property>
838 <property name="destroy_with_parent">False</property>
839 <property name="logo">dcemu.gif</property>
840 <property name="copyright" translatable="yes">Copyright(c) 2002 Nathan Keynes</property>
841 <property name="comments" translatable="yes"></property>
842 <property name="authors">Nathan Keynes
844 <property name="translator_credits" translatable="yes">translator_credits</property>
.