summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--mixgtk/mixgtk.glade3706
-rw-r--r--mixgtk/mixgtk_device.c18
-rw-r--r--mixgtk/mixgtk_external.c5
-rw-r--r--mixgtk/mixgtk_input.c3
-rw-r--r--mixgtk/mixgtk_mixal.c5
-rw-r--r--mixgtk/mixgtk_widgets.c10
-rw-r--r--mixgtk/mixgtk_widgets.h6
-rw-r--r--mixgtk/mixgtk_wm.c36
8 files changed, 1918 insertions, 1871 deletions
diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade
index 9d35ead..20996ae 100644
--- a/mixgtk/mixgtk.glade
+++ b/mixgtk/mixgtk.glade
@@ -1,711 +1,1699 @@
-<?xml version="1.0"?>
-<glade-interface>
- <!-- interface-requires gtk+ 2.16 -->
- <!-- interface-naming-policy toplevel-contextual -->
- <widget class="GtkWindow" id="main_window">
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- Generated with glade 3.22.1 -->
+<interface>
+ <requires lib="gtk+" version="3.2"/>
+ <object class="GtkDialog" id="about_dialog">
+ <property name="can_focus">False</property>
+ <property name="border_width">2</property>
+ <property name="title" translatable="yes">About gmixvm</property>
+ <property name="resizable">False</property>
+ <property name="modal">True</property>
+ <property name="window_position">center-on-parent</property>
+ <property name="type_hint">dialog</property>
+ <signal name="delete-event" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox" id="dialog-vbox13">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area13">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">spread</property>
+ <child>
+ <object class="GtkButton" id="okbutton2">
+ <property name="label">gtk-ok</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="has_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="has_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="border_width">1</property>
+ <property name="use_stock">True</property>
+ <signal name="clicked" handler="on_about_clicked" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkFrame" id="frame7">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">3</property>
+ <property name="label_xalign">0</property>
+ <property name="label_yalign">0</property>
+ <child>
+ <object class="GtkAlignment" id="alignment2">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <child>
+ <object class="GtkVBox" id="vbox9">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">15</property>
+ <property name="spacing">10</property>
+ <child>
+ <object class="GtkLabel" id="label1441">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">&lt;b&gt;MIX virtual machine&lt;/b&gt;
+&lt;small&gt;(GNU MDK)&lt;/small&gt;</property>
+ <property name="use_markup">True</property>
+ <property name="justify">center</property>
+ <property name="yalign">0</property>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="version_label">
+ <property name="width_request">52</property>
+ <property name="height_request">16</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">label223</property>
+ <property name="justify">center</property>
+ <property name="yalign">0</property>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">False</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="mdk_web">
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="label" translatable="yes">http://www.gnu.org/software/mdk/mdk.html</property>
+ <property name="use_markup">True</property>
+ <property name="justify">center</property>
+ <property name="selectable">True</property>
+ <property name="yalign">0</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">2</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label1440">
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="label" translatable="yes">&lt;small&gt;Please send bug reports to bug-mdk@gnu.org&lt;/small&gt;</property>
+ <property name="use_markup">True</property>
+ <property name="justify">center</property>
+ <property name="wrap">True</property>
+ <property name="selectable">True</property>
+ <property name="yalign">0</property>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">False</property>
+ <property name="position">3</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label1442">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">&lt;small&gt;Copyright (C) 2001-2019
+Free Software Foundation, Inc&lt;/small&gt;</property>
+ <property name="use_markup">True</property>
+ <property name="justify">center</property>
+ <property name="yalign">0</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">4</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ </object>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">True</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ <action-widgets>
+ <action-widget response="-5">okbutton2</action-widget>
+ </action-widgets>
+ </object>
+ <object class="GtkDialog" id="devdir_dialog">
+ <property name="can_focus">False</property>
+ <property name="title" translatable="yes">Devices directory</property>
+ <property name="resizable">False</property>
+ <property name="modal">True</property>
+ <property name="window_position">center</property>
+ <property name="type_hint">dialog</property>
+ <signal name="delete-event" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox" id="dialog-vbox11">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area11">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
+ <child>
+ <object class="GtkButton" id="devdir_cancel">
+ <property name="label">gtk-cancel</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ <signal name="clicked" handler="on_devdir_cancel_clicked" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkButton" id="devdir_ok">
+ <property name="label">gtk-ok</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ <signal name="clicked" handler="on_devdir_ok_clicked" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkHBox" id="hbox1">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">25</property>
+ <property name="spacing">11</property>
+ <child>
+ <object class="GtkLabel" id="label239">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Directory</property>
+ <property name="justify">center</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkEntry" id="devdir_entry">
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="editable">False</property>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkButton" id="devdir_browse">
+ <property name="label">gtk-open</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ <signal name="clicked" handler="on_devdir_browse_clicked" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">2</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">True</property>
+ <property name="position">2</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ <action-widgets>
+ <action-widget response="-6">devdir_cancel</action-widget>
+ <action-widget response="-5">devdir_ok</action-widget>
+ </action-widgets>
+ </object>
+ <object class="GtkDialog" id="devform_dialog">
+ <property name="can_focus">False</property>
+ <property name="title" translatable="yes">Device output format</property>
+ <property name="modal">True</property>
+ <property name="window_position">center-on-parent</property>
+ <property name="default_width">320</property>
+ <property name="default_height">140</property>
+ <property name="type_hint">dialog</property>
+ <signal name="delete-event" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox" id="dialog-vbox8">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area8">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
+ <child>
+ <object class="GtkButton" id="button37">
+ <property name="label">gtk-cancel</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkButton" id="button38">
+ <property name="label">gtk-apply</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkButton" id="button39">
+ <property name="label">gtk-ok</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">2</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <placeholder/>
+ </child>
+ <child>
+ <object class="GtkFixed" id="fixed2">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <child>
+ <object class="GtkButton" id="devset_button">
+ <property name="label" translatable="yes">S_et all</property>
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_underline">True</property>
+ <signal name="clicked" handler="on_devset_button_clicked" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">233</property>
+ <property name="y">31</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label232">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Device</property>
+ <property name="justify">center</property>
+ </object>
+ <packing>
+ <property name="x">24</property>
+ <property name="y">10</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label233">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Format</property>
+ <property name="justify">center</property>
+ </object>
+ <packing>
+ <property name="x">24</property>
+ <property name="y">38</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkRadioButton" id="wordradio">
+ <property name="label" translatable="yes">Word</property>
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_underline">True</property>
+ <property name="draw_indicator">True</property>
+ </object>
+ <packing>
+ <property name="x">89</property>
+ <property name="y">34</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkRadioButton" id="decradio">
+ <property name="label" translatable="yes">Decimal</property>
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_underline">True</property>
+ <property name="draw_indicator">True</property>
+ <property name="group">wordradio</property>
+ <signal name="toggled" handler="on_decradio_toggled" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">154</property>
+ <property name="y">34</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkComboBox" id="dev_combo">
+ <property name="width_request">100</property>
+ <property name="height_request">67</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="margin_right">89</property>
+ </object>
+ <packing>
+ <property name="x">92</property>
+ <property name="y">22</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">3</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ <action-widgets>
+ <action-widget response="-6">button37</action-widget>
+ <action-widget response="-10">button38</action-widget>
+ <action-widget response="-5">button39</action-widget>
+ </action-widgets>
+ </object>
+ <object class="GtkWindow" id="devices_window">
+ <property name="can_focus">False</property>
+ <property name="title" translatable="yes">Devices</property>
+ <property name="default_width">550</property>
+ <property name="default_height">250</property>
+ <signal name="delete-event" handler="on_window_hide" swapped="no"/>
+ <signal name="destroy" handler="on_window_hide" swapped="no"/>
+ <signal name="destroy-event" handler="on_window_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child>
+ <object class="GtkVBox" id="vbox4">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <child>
+ <object class="GtkHandleBox" id="dev_tb_handle">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <child>
+ <object class="GtkToolbar" id="dev_toolbar">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="can_default">True</property>
+ <property name="border_width">2</property>
+ <property name="toolbar_style">icons</property>
+ <child>
+ <object class="GtkToolButton" id="devdir_button">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="is_important">True</property>
+ <property name="label" translatable="yes">Directory</property>
+ <property name="use_underline">True</property>
+ <property name="stock_id">gtk-home</property>
+ <signal name="clicked" handler="on_devdir_activate" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="homogeneous">True</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkToolButton" id="output_button">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="is_important">True</property>
+ <property name="label" translatable="yes">Output</property>
+ <property name="use_underline">True</property>
+ <property name="stock_id">gtk-zoom-100</property>
+ <signal name="clicked" handler="on_devform_activate" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="homogeneous">True</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkSeparatorToolItem" id="separatortoolitem11">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="homogeneous">False</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkToolButton" id="button21">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="is_important">True</property>
+ <property name="label" translatable="yes">Font</property>
+ <property name="use_underline">True</property>
+ <property name="stock_id">gtk-select-font</property>
+ <signal name="clicked" handler="on_devices_font_activate" swapped="no"/>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="homogeneous">True</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkSeparatorToolItem" id="separatortoolitem12">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="homogeneous">False</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkToolButton" id="attach_button2">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="is_important">True</property>
+ <property name="label" translatable="yes">Attach</property>
+ <property name="use_underline">True</property>
+ <property name="stock_id">gtk-dnd</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="homogeneous">True</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkVBox" id="dev_container">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <child>
+ <placeholder/>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ </object>
+ <object class="GtkDialog" id="external_dialog">
+ <property name="can_focus">False</property>
+ <property name="border_width">1</property>
+ <property name="title" translatable="yes">External programs</property>
+ <property name="resizable">False</property>
+ <property name="modal">True</property>
+ <property name="window_position">center-on-parent</property>
+ <property name="type_hint">dialog</property>
+ <signal name="delete-event" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox" id="dialog-vbox9">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area9">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
+ <child>
+ <object class="GtkButton" id="button40">
+ <property name="label">gtk-cancel</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkButton" id="button41">
+ <property name="label">gtk-ok</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkVBox" id="vbox2">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="homogeneous">True</property>
+ <child>
+ <object class="GtkFixed" id="fixed3">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">9</property>
+ <child>
+ <object class="GtkEntry" id="editor_entry">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="text" translatable="yes">-e vi %s</property>
+ </object>
+ <packing>
+ <property name="x">168</property>
+ <property name="y">24</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label234">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Editor command and arguments (e.g -e vi %s)</property>
+ </object>
+ <packing>
+ <property name="x">8</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkFileChooserButton" id="editor_chooser">
+ <property name="width_request">151</property>
+ <property name="height_request">31</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="preview_widget_active">False</property>
+ <property name="use_preview_label">False</property>
+ </object>
+ <packing>
+ <property name="x">8</property>
+ <property name="y">24</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkFixed" id="fixed4">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">9</property>
+ <child>
+ <object class="GtkLabel" id="label235">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">MIX asssembler path</property>
+ <property name="single_line_mode">True</property>
+ <property name="xalign">0.47999998927116394</property>
+ <property name="yalign">0.52999997138977051</property>
+ </object>
+ <packing>
+ <property name="x">8</property>
+ <property name="y">8</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkFileChooserButton" id="mixasm_chooser">
+ <property name="width_request">151</property>
+ <property name="height_request">31</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="preview_widget_active">False</property>
+ <property name="use_preview_label">False</property>
+ <property name="title" translatable="yes">Select mixasm executable</property>
+ </object>
+ <packing>
+ <property name="x">8</property>
+ <property name="y">32</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkCheckButton" id="mixasm_mls">
+ <property name="label" translatable="yes">Generate listing file</property>
+ <property name="width_request">152</property>
+ <property name="height_request">24</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="focus_on_click">False</property>
+ <property name="receives_default">False</property>
+ <property name="use_underline">True</property>
+ <property name="draw_indicator">True</property>
+ </object>
+ <packing>
+ <property name="x">176</property>
+ <property name="y">32</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">True</property>
+ <property name="position">2</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ <action-widgets>
+ <action-widget response="-6">button40</action-widget>
+ <action-widget response="-5">button41</action-widget>
+ </action-widgets>
+ </object>
+ <object class="GtkFontChooserDialog" id="fontsel_dialog_">
+ <property name="can_focus">False</property>
+ <property name="type_hint">dialog</property>
+ <property name="language">en-gb</property>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox">
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <property name="spacing">2</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox">
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ </object>
+ <object class="GtkDialog" id="goto_dialog">
+ <property name="can_focus">False</property>
+ <property name="title" translatable="yes">Go to memory cell</property>
+ <property name="resizable">False</property>
+ <property name="modal">True</property>
+ <property name="window_position">mouse</property>
+ <property name="type_hint">dialog</property>
+ <signal name="delete-event" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox" id="dialog-vbox6">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area6">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
+ <child>
+ <object class="GtkButton" id="goto_cancel">
+ <property name="label">gtk-cancel</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkButton" id="goto_ok">
+ <property name="label">gtk-ok</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="has_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkVBox" id="vbox1">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">12</property>
+ <child>
+ <object class="GtkLabel" id="label225">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Go to address:</property>
+ <property name="justify">center</property>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkEntry" id="goto_entry">
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="has_focus">True</property>
+ <property name="activates_default">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="padding">10</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">2</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ <action-widgets>
+ <action-widget response="-6">goto_cancel</action-widget>
+ <action-widget response="-5">goto_ok</action-widget>
+ </action-widgets>
+ </object>
+ <object class="GtkDialog" id="input_dialog">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="title" translatable="yes">MIX Console input</property>
+ <property name="resizable">False</property>
+ <property name="modal">True</property>
+ <property name="window_position">center-on-parent</property>
+ <property name="type_hint">dialog</property>
+ <signal name="close" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox" id="dialog-vbox12">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area12">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
+ <child>
+ <object class="GtkButton" id="okbutton1">
+ <property name="label">gtk-ok</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="has_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkVBox" id="vbox7">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">3</property>
+ <property name="homogeneous">True</property>
+ <child>
+ <object class="GtkLabel" id="label1438">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Enter up to 70 characters</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkEntry" id="input_entry">
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="max_length">70</property>
+ <property name="activates_default">True</property>
+ <property name="width_chars">70</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">2</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ <action-widgets>
+ <action-widget response="-5">okbutton1</action-widget>
+ </action-widgets>
+ </object>
+ <object class="GtkWindow" id="main_window">
+ <property name="can_focus">False</property>
<property name="title" translatable="yes">gmixvm</property>
<property name="role">gmixvm-main</property>
<property name="default_width">650</property>
<property name="default_height">550</property>
<child>
- <widget class="GtkVBox" id="main_vbox">
+ <placeholder/>
+ </child>
+ <child>
+ <object class="GtkVBox" id="main_vbox">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">2</property>
- <property name="orientation">vertical</property>
<property name="spacing">2</property>
<child>
- <widget class="GtkMenuBar" id="mainmenubar">
+ <object class="GtkMenuBar" id="mainmenubar">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkMenuItem" id="file">
+ <object class="GtkMenuItem" id="file">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_File</property>
<property name="use_underline">True</property>
- <child>
- <widget class="GtkMenu" id="file_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="file_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkImageMenuItem" id="file_open">
+ <object class="GtkImageMenuItem" id="file_open">
<property name="label" translatable="yes">_Load</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Load a MIX file</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_file_open_activate"/>
+ <signal name="activate" handler="on_file_open_activate" swapped="no"/>
<accelerator key="O" signal="activate" modifiers="GDK_CONTROL_MASK"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image1">
- <property name="visible">True</property>
- <property name="stock">gtk-open</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="edit">
+ <object class="GtkImageMenuItem" id="edit">
<property name="label">gtk-edit</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Edit a MIXAL source file</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">True</property>
- <signal name="activate" handler="on_file_edit_activate"/>
+ <signal name="activate" handler="on_file_edit_activate" swapped="no"/>
<accelerator key="E" signal="activate" modifiers="GDK_CONTROL_MASK"/>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="compile">
+ <object class="GtkImageMenuItem" id="compile">
<property name="label" translatable="yes">_Compile</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Compile a MIXAL source file</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_file_compile_activate"/>
+ <signal name="activate" handler="on_file_compile_activate" swapped="no"/>
<accelerator key="B" signal="activate" modifiers="GDK_CONTROL_MASK"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image2">
- <property name="visible">True</property>
- <property name="stock">gtk-execute</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkSeparatorMenuItem" id="separator5">
+ <object class="GtkSeparatorMenuItem" id="separator5">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="file_exit">
+ <object class="GtkImageMenuItem" id="file_exit">
<property name="label" translatable="yes">E_xit</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Exit application</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_file_exit_activate"/>
+ <signal name="activate" handler="on_file_exit_activate" swapped="no"/>
<accelerator key="Q" signal="activate" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image3">
- <property name="visible">True</property>
- <property name="stock">gtk-quit</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="debug">
+ <object class="GtkMenuItem" id="debug">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">De_bug</property>
<property name="use_underline">True</property>
- <child>
- <widget class="GtkMenu" id="debug_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="debug_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkImageMenuItem" id="debug_run">
+ <object class="GtkImageMenuItem" id="debug_run">
<property name="label" translatable="yes">_Run</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Run program</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_debug_run_activate"/>
+ <signal name="activate" handler="on_debug_run_activate" swapped="no"/>
<accelerator key="R" signal="activate" modifiers="GDK_CONTROL_MASK"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image4">
- <property name="visible">True</property>
- <property name="stock">gtk-media-play</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="debug_next">
+ <object class="GtkImageMenuItem" id="debug_next">
<property name="label" translatable="yes">_Next</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Execute next instruction</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_debug_next_activate"/>
+ <signal name="activate" handler="on_debug_next_activate" swapped="no"/>
<accelerator key="N" signal="activate" modifiers="GDK_CONTROL_MASK"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image5">
- <property name="visible">True</property>
- <property name="stock">gtk-media-next</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="clear_breakpoints">
+ <object class="GtkImageMenuItem" id="clear_breakpoints">
<property name="label" translatable="yes">_Clear breakpoints</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Clear all set breakpoints</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_clear_breakpoints_activate"/>
+ <signal name="activate" handler="on_clear_breakpoints_activate" swapped="no"/>
<accelerator key="C" signal="activate" modifiers="GDK_CONTROL_MASK"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image6">
- <property name="visible">True</property>
- <property name="stock">gtk-clear</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="symbols">
+ <object class="GtkImageMenuItem" id="symbols">
<property name="label" translatable="yes">_Symbols</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Show the symbol table</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_symbols_activate"/>
+ <signal name="activate" handler="on_symbols_activate" swapped="no"/>
<accelerator key="Y" signal="activate" modifiers="GDK_CONTROL_MASK"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image7">
- <property name="visible">True</property>
- <property name="stock">gtk-index</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="view1">
+ <object class="GtkMenuItem" id="view1">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Vie_w</property>
<property name="use_underline">True</property>
- <child>
- <widget class="GtkMenu" id="view1_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="view1_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkImageMenuItem" id="toolbars1">
+ <object class="GtkImageMenuItem" id="toolbars1">
<property name="label" translatable="yes">_Toolbars</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <child>
- <widget class="GtkMenu" id="toolbars1_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="toolbars1_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkCheckMenuItem" id="show_toolbars">
+ <object class="GtkCheckMenuItem" id="show_toolbars">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Show Toolbars</property>
<property name="use_underline">True</property>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="toolbars_style">
+ <object class="GtkMenuItem" id="toolbars_style">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Style</property>
<property name="use_underline">True</property>
- <child>
- <widget class="GtkMenu" id="toolbars_style_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="toolbars_style_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkRadioMenuItem" id="tb_style_icons">
+ <object class="GtkRadioMenuItem" id="tb_style_icons">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Show only icons in toolbar buttons</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Icons</property>
<property name="use_underline">True</property>
<property name="active">True</property>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkRadioMenuItem" id="tb_style_labels">
+ <object class="GtkRadioMenuItem" id="tb_style_labels">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Show only labels in toolbar buttons</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Labels</property>
<property name="use_underline">True</property>
<property name="active">True</property>
<property name="group">tb_style_icons</property>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkRadioMenuItem" id="tb_style_both">
+ <object class="GtkRadioMenuItem" id="tb_style_both">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Show both icons and labels in toolbar buttons</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Both</property>
<property name="use_underline">True</property>
<property name="active">True</property>
<property name="group">tb_style_icons</property>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkRadioMenuItem" id="tb_style_bothh">
+ <object class="GtkRadioMenuItem" id="tb_style_bothh">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Sideways</property>
<property name="use_underline">True</property>
<property name="active">True</property>
<property name="group">tb_style_icons</property>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- <child internal-child="image">
- <widget class="GtkImage" id="image8">
- <property name="visible">True</property>
- <property name="stock">gtk-preferences</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id=" detached_windows">
+ <object class="GtkImageMenuItem" id=" detached_windows">
<property name="label" translatable="yes">_Detached windows</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <child>
- <widget class="GtkMenu" id=" detached_windows_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id=" detached_windows_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkCheckMenuItem" id="detach_vm">
+ <object class="GtkCheckMenuItem" id="detach_vm">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Virtual machine</property>
<property name="use_underline">True</property>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkCheckMenuItem" id="detach_source">
+ <object class="GtkCheckMenuItem" id="detach_source">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Source</property>
<property name="use_underline">True</property>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkCheckMenuItem" id="detach_dev">
+ <object class="GtkCheckMenuItem" id="detach_dev">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Devices</property>
<property name="use_underline">True</property>
- </widget>
+ </object>
</child>
- </widget>
- </child>
- <child internal-child="image">
- <widget class="GtkImage" id="image9">
- <property name="visible">True</property>
- <property name="stock">gtk-dnd-multiple</property>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="settings2">
+ <object class="GtkMenuItem" id="settings2">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">S_ettings</property>
<property name="use_underline">True</property>
- <child>
- <widget class="GtkMenu" id="settings2_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="settings2_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkImageMenuItem" id="fonts1">
+ <object class="GtkImageMenuItem" id="fonts1">
<property name="label" translatable="yes">Change _font</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <child>
- <widget class="GtkMenu" id="fonts1_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="fonts1_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkMenuItem" id="mix">
+ <object class="GtkMenuItem" id="mix">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Virtual machine</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_mix_font_activate"/>
- </widget>
+ <signal name="activate" handler="on_mix_font_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="mixal">
+ <object class="GtkMenuItem" id="mixal">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Source</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_mixal_font_activate"/>
- </widget>
+ <signal name="activate" handler="on_mixal_font_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="command_prompt_menu">
+ <object class="GtkMenuItem" id="command_prompt_menu">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Command _prompt</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_prompt_font_activate"/>
- </widget>
+ <signal name="activate" handler="on_prompt_font_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="command_log_menu">
+ <object class="GtkMenuItem" id="command_log_menu">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Command l_og</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_log_font_activate"/>
- </widget>
+ <signal name="activate" handler="on_log_font_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="devices">
+ <object class="GtkMenuItem" id="devices">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Devices</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_devices_font_activate"/>
- </widget>
+ <signal name="activate" handler="on_devices_font_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="symbol_list">
+ <object class="GtkMenuItem" id="symbol_list">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Symbol _list</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_symbols_font_activate"/>
- </widget>
+ <signal name="activate" handler="on_symbols_font_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkSeparatorMenuItem" id="separator4">
+ <object class="GtkSeparatorMenuItem" id="separator4">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="all_fonts">
+ <object class="GtkMenuItem" id="all_fonts">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Change all fonts at once</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_All</property>
<property name="use_underline">True</property>
- <signal name="activate" handler="on_all_fonts_activate"/>
- </widget>
+ <signal name="activate" handler="on_all_fonts_activate" swapped="no"/>
+ </object>
</child>
- </widget>
+ </object>
</child>
- <child internal-child="image">
- <widget class="GtkImage" id="image10">
- <property name="visible">True</property>
- <property name="stock">gtk-select-font</property>
- </widget>
- </child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="device_output1">
+ <object class="GtkImageMenuItem" id="device_output1">
<property name="label" translatable="yes">_Device output</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Change format of binary devices output</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_devform_activate"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image11">
- <property name="visible">True</property>
- <property name="stock">gtk-directory</property>
- </widget>
- </child>
- </widget>
+ <signal name="activate" handler="on_devform_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="devices_dir">
+ <object class="GtkImageMenuItem" id="devices_dir">
<property name="label" translatable="yes">De_vices dir</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_devdir_activate"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image12">
- <property name="visible">True</property>
- <property name="stock">gtk-home</property>
- </widget>
- </child>
- </widget>
+ <signal name="activate" handler="on_devdir_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="external_programs1">
+ <object class="GtkImageMenuItem" id="external_programs1">
<property name="label" translatable="yes">E_xternal programs</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_external_programs_activate"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image13">
- <property name="visible">True</property>
- <property name="stock">gtk-execute</property>
- </widget>
- </child>
- </widget>
+ <signal name="activate" handler="on_external_programs_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkSeparatorMenuItem" id="separator3">
+ <object class="GtkSeparatorMenuItem" id="separator3">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
</child>
<child>
- <widget class="GtkImageMenuItem" id="save">
+ <object class="GtkImageMenuItem" id="save">
<property name="label" translatable="yes">_Save</property>
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Save current settings</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_save_activate"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image14">
- <property name="visible">True</property>
- <property name="stock">gtk-save</property>
- </widget>
- </child>
- </widget>
+ <signal name="activate" handler="on_save_activate" swapped="no"/>
+ </object>
</child>
<child>
- <widget class="GtkCheckMenuItem" id="save_on_exit">
+ <object class="GtkCheckMenuItem" id="save_on_exit">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Toogle save settings on exit</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Save on _exit</property>
<property name="use_underline">True</property>
- <signal name="toggled" handler="on_save_on_exit_toggle"/>
- </widget>
+ <signal name="toggled" handler="on_save_on_exit_toggle" swapped="no"/>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
<child>
- <widget class="GtkMenuItem" id="help">
+ <object class="GtkMenuItem" id="help">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">_Help</property>
<property name="use_underline">True</property>
- <child>
- <widget class="GtkMenu" id="help_menu">
+ <child type="submenu">
+ <object class="GtkMenu" id="help_menu">
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkImageMenuItem" id="about">
+ <object class="GtkImageMenuItem" id="about">
<property name="label" translatable="yes">_About</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="use_underline">True</property>
<property name="use_stock">False</property>
- <signal name="activate" handler="on_about_activate"/>
- <child internal-child="image">
- <widget class="GtkImage" id="image15">
- <property name="visible">True</property>
- <property name="stock">gtk-about</property>
- </widget>
- </child>
- </widget>
+ <signal name="activate" handler="on_about_activate" swapped="no"/>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="position">0</property>
</packing>
</child>
<child>
- <widget class="GtkHandleBox" id="tb_handle">
+ <object class="GtkHandleBox" id="tb_handle">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkToolbar" id="main_toolbar">
+ <object class="GtkToolbar" id="main_toolbar">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="toolbar_style">icons</property>
<child>
- <widget class="GtkToolButton" id="load_button">
+ <object class="GtkToolButton" id="load_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Load MIX program</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Open</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-open</property>
- <signal name="clicked" handler="on_file_open_activate"/>
- </widget>
+ <signal name="clicked" handler="on_file_open_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="compile_button">
+ <object class="GtkToolButton" id="compile_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Compile MIXAL source</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Compile</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-execute</property>
- <signal name="clicked" handler="on_file_compile_activate"/>
- </widget>
+ <signal name="clicked" handler="on_file_compile_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="edit_button">
+ <object class="GtkToolButton" id="edit_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Edit MIXAL source</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Edit</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-justify-fill</property>
- <signal name="clicked" handler="on_file_edit_activate"/>
- </widget>
+ <signal name="clicked" handler="on_file_edit_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem13">
+ <object class="GtkSeparatorToolItem" id="separatortoolitem13">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="homogeneous">False</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="run_button">
+ <object class="GtkToolButton" id="run_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Run</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Run</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-go-forward</property>
- <signal name="clicked" handler="on_debug_run_activate"/>
- </widget>
+ <signal name="clicked" handler="on_debug_run_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="step_button">
+ <object class="GtkToolButton" id="step_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Next</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Next</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-goto-last</property>
- <signal name="clicked" handler="on_debug_next_activate"/>
- </widget>
+ <signal name="clicked" handler="on_debug_next_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="clear_button">
+ <object class="GtkToolButton" id="clear_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Clear breakpoints</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Clear</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-clear</property>
- <signal name="clicked" handler="on_clear_breakpoints_activate"/>
- </widget>
+ <signal name="clicked" handler="on_clear_breakpoints_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="symbols_button">
+ <object class="GtkToolButton" id="symbols_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Symbol table</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Symbols</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-index</property>
- <signal name="clicked" handler="on_symbols_activate"/>
- </widget>
+ <signal name="clicked" handler="on_symbols_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem2">
+ <object class="GtkSeparatorToolItem" id="separatortoolitem2">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="homogeneous">False</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="button28">
+ <object class="GtkToolButton" id="button28">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Device directory</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Devdir</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-home</property>
- <signal name="clicked" handler="on_devdir_activate"/>
- </widget>
+ <signal name="clicked" handler="on_devdir_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="button30">
+ <object class="GtkToolButton" id="button30">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Output format</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Format</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-zoom-100</property>
- <signal name="clicked" handler="on_devform_activate"/>
- </widget>
+ <signal name="clicked" handler="on_devform_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="button31">
+ <object class="GtkToolButton" id="button31">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">External programs</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Programs</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-properties</property>
- <signal name="clicked" handler="on_external_programs_activate"/>
- </widget>
+ <signal name="clicked" handler="on_external_programs_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem8">
+ <object class="GtkSeparatorToolItem" id="separatortoolitem8">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="homogeneous">False</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="detach_button">
+ <object class="GtkToolButton" id="detach_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Detach window</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Detach</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-dnd-multiple</property>
- <signal name="clicked" handler="on_detach_clicked"/>
- </widget>
+ <signal name="clicked" handler="on_detach_clicked" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="attach_button">
+ <object class="GtkToolButton" id="attach_button">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Attach all windows</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Attach</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-dnd</property>
- <signal name="clicked" handler="on_attach_all_clicked"/>
- </widget>
+ <signal name="clicked" handler="on_attach_all_clicked" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -714,1053 +1702,222 @@
</packing>
</child>
<child>
- <widget class="GtkVPaned" id="main_panel">
+ <object class="GtkVPaned" id="main_panel">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="position">1</property>
<child>
- <widget class="GtkNotebook" id="main_notebook">
+ <object class="GtkNotebook" id="main_notebook">
<property name="visible">True</property>
<property name="can_focus">True</property>
- </widget>
+ </object>
<packing>
<property name="resize">True</property>
<property name="shrink">False</property>
</packing>
</child>
<child>
- <widget class="GtkVBox" id="prompt_vbox">
+ <object class="GtkVBox" id="prompt_vbox">
<property name="visible">True</property>
- <property name="orientation">vertical</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkScrolledWindow" id="mixlog_scrolledwindow">
+ <object class="GtkScrolledWindow" id="mixlog_scrolledwindow">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="hscrollbar_policy">automatic</property>
- <property name="vscrollbar_policy">automatic</property>
<property name="shadow_type">in</property>
<child>
- <widget class="GtkTextView" id="command_log">
+ <object class="GtkTextView" id="command_log">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="editable">False</property>
<property name="wrap_mode">word</property>
<property name="left_margin">3</property>
<property name="right_margin">4</property>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
<packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
<property name="position">0</property>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="command_prompt">
+ <object class="GtkEntry" id="command_prompt">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="has_focus">True</property>
- <property name="tooltip" translatable="yes">Enter MIXVM command here</property>
- <signal name="key_press_event" handler="on_command_prompt_key_press_event" after="yes"/>
- <signal name="activate" handler="on_command_prompt_activate"/>
- </widget>
+ <signal name="activate" handler="on_command_prompt_activate" swapped="no"/>
+ <signal name="key-press-event" handler="on_command_prompt_key_press_event" after="yes" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
<property name="position">1</property>
</packing>
</child>
- </widget>
+ </object>
<packing>
<property name="resize">True</property>
<property name="shrink">True</property>
</packing>
</child>
- </widget>
+ </object>
<packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
<property name="position">2</property>
</packing>
</child>
<child>
- <widget class="GtkStatusbar" id="main_statusbar">
+ <object class="GtkStatusbar" id="main_statusbar">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
<property name="position">3</property>
</packing>
</child>
- </widget>
+ </object>
</child>
- </widget>
- <widget class="GtkDialog" id="word_dialog">
- <property name="title" translatable="yes">Enter value</property>
- <property name="resizable">False</property>
- <property name="modal">True</property>
- <property name="window_position">mouse</property>
- <property name="type_hint">dialog</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox5">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkFixed" id="word_layout">
- <property name="visible">True</property>
- <property name="border_width">5</property>
- <child>
- <widget class="GtkEntry" id="word_decimal">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="has_focus">True</property>
- <property name="events">GDK_KEY_PRESS_MASK</property>
- <property name="width_chars">28</property>
- <property name="text" translatable="yes">0</property>
- <signal name="changed" handler="on_word_dec_changed" after="yes"/>
- </widget>
- <packing>
- <property name="x">88</property>
- <property name="y">64</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="word_b2">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="events">GDK_KEY_PRESS_MASK</property>
- <property name="max_length">2</property>
- <property name="width_chars">3</property>
- <property name="text" translatable="yes">0</property>
- <signal name="changed" handler="on_word_byte_changed"/>
- </widget>
- <packing>
- <property name="x">144</property>
- <property name="y">32</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="word_b3">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="events">GDK_BUTTON_PRESS_MASK</property>
- <property name="max_length">2</property>
- <property name="width_chars">3</property>
- <property name="text" translatable="yes">0</property>
- <signal name="changed" handler="on_word_byte_changed"/>
- </widget>
- <packing>
- <property name="x">176</property>
- <property name="y">32</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="word_b4">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="events">GDK_KEY_PRESS_MASK</property>
- <property name="max_length">2</property>
- <property name="width_chars">3</property>
- <property name="text" translatable="yes">0</property>
- <signal name="changed" handler="on_word_byte_changed"/>
- </widget>
- <packing>
- <property name="x">208</property>
- <property name="y">32</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="word_b5">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="events">GDK_KEY_PRESS_MASK</property>
- <property name="max_length">2</property>
- <property name="width_chars">3</property>
- <property name="text" translatable="yes">0</property>
- <signal name="changed" handler="on_word_byte_changed"/>
- </widget>
- <packing>
- <property name="x">238</property>
- <property name="y">32</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="word_b1">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="events">GDK_KEY_PRESS_MASK</property>
- <property name="max_length">2</property>
- <property name="width_chars">3</property>
- <property name="text" translatable="yes">0</property>
- <signal name="changed" handler="on_word_byte_changed"/>
- </widget>
- <packing>
- <property name="x">112</property>
- <property name="y">32</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="word_sign">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="events">GDK_KEY_PRESS_MASK</property>
- <property name="max_length">1</property>
- <property name="width_chars">2</property>
- <property name="text" translatable="yes">+</property>
- <signal name="changed" handler="on_word_sign_changed"/>
- </widget>
- <packing>
- <property name="x">88</property>
- <property name="y">32</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label60">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="label" translatable="yes">Decimal</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="x">14</property>
- <property name="y">68</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label61">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="label" translatable="yes">Bytes</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="x">15</property>
- <property name="y">36</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="word_label">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="label" translatable="yes">Enter value</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="x">112</property>
- <property name="y">8</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="position">2</property>
- </packing>
- </child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area5">
- <property name="visible">True</property>
- <property name="layout_style">end</property>
- <child>
- <widget class="GtkButton" id="word_cancel">
- <property name="label">gtk-cancel</property>
- <property name="response_id">-6</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- <signal name="clicked" handler="on_word_cancel_clicked"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="word_reset">
- <property name="label">gtk-clear</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- <property name="focus_on_click">False</property>
- <signal name="clicked" handler="on_word_reset_clicked"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="word_ok">
- <property name="label">gtk-ok</property>
- <property name="response_id">-5</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- <signal name="clicked" handler="on_word_ok_clicked"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">2</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="pack_type">end</property>
- <property name="position">0</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- <widget class="GtkDialog" id="goto_dialog">
- <property name="title" translatable="yes">Go to memory cell</property>
- <property name="resizable">False</property>
- <property name="modal">True</property>
- <property name="window_position">mouse</property>
- <property name="type_hint">dialog</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox6">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkVBox" id="vbox1">
- <property name="visible">True</property>
- <property name="border_width">12</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkLabel" id="label225">
- <property name="visible">True</property>
- <property name="label" translatable="yes">Go to address:</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="goto_entry">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="has_focus">True</property>
- <property name="activates_default">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="padding">10</property>
- <property name="position">1</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">2</property>
- </packing>
- </child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area6">
- <property name="visible">True</property>
- <property name="layout_style">end</property>
- <child>
- <widget class="GtkButton" id="goto_cancel">
- <property name="label">gtk-cancel</property>
- <property name="response_id">-6</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="goto_ok">
- <property name="label">gtk-ok</property>
- <property name="response_id">-5</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="has_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="pack_type">end</property>
- <property name="position">0</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- <widget class="GtkFontSelectionDialog" id="fontsel_dialog">
- <property name="border_width">4</property>
- <property name="title" translatable="yes">Select Font</property>
- <property name="modal">True</property>
- <property name="window_position">center-on-parent</property>
- <property name="type_hint">dialog</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="font_selection">
- <widget class="GtkFontSelection" id="fontselection1">
- <property name="visible">True</property>
- <property name="border_width">4</property>
- </widget>
- </child>
- <child internal-child="cancel_button">
- <widget class="GtkButton" id="cancel_button1">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- </widget>
- </child>
- <child internal-child="apply_button">
- <widget class="GtkButton" id="apply_button1">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- </widget>
- </child>
- <child internal-child="ok_button">
- <widget class="GtkButton" id="ok_button1">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- </widget>
- </child>
- </widget>
- <widget class="GtkDialog" id="devform_dialog">
- <property name="title" translatable="yes">Device output format</property>
- <property name="modal">True</property>
- <property name="window_position">center-on-parent</property>
- <property name="default_width">320</property>
- <property name="default_height">140</property>
- <property name="type_hint">dialog</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox8">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkFixed" id="fixed2">
- <property name="visible">True</property>
- <child>
- <widget class="GtkButton" id="devset_button">
- <property name="label" translatable="yes">S_et all</property>
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">Set all devices to current format</property>
- <property name="use_underline">True</property>
- <signal name="clicked" handler="on_devset_button_clicked"/>
- </widget>
- <packing>
- <property name="x">233</property>
- <property name="y">31</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label232">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="label" translatable="yes">Device</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="x">24</property>
- <property name="y">10</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label233">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="label" translatable="yes">Format</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="x">24</property>
- <property name="y">38</property>
- </packing>
- </child>
- <child>
- <widget class="GtkComboBoxEntry" id="dev_combo">
- <property name="width_request">183</property>
- <property name="height_request">25</property>
- <property name="visible">True</property>
- <property name="items" translatable="yes">tape0
-tape1
-tape2
-tape3
-tape4
-tape5
-tape6
-tape7
-disk0
-disk1
-disk2
-disk3
-disk4
-disk5
-disk6
-disk7</property>
- <signal name="changed" handler="on_dev_combo_changed"/>
- </widget>
- <packing>
- <property name="x">90</property>
- <property name="y">2</property>
- </packing>
- </child>
- <child>
- <widget class="GtkRadioButton" id="wordradio">
- <property name="label" translatable="yes">Word</property>
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">Show output as MIX words</property>
- <property name="use_underline">True</property>
- <property name="draw_indicator">True</property>
- </widget>
- <packing>
- <property name="x">89</property>
- <property name="y">34</property>
- </packing>
- </child>
- <child>
- <widget class="GtkRadioButton" id="decradio">
- <property name="label" translatable="yes">Decimal</property>
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">Show output as decimal numbers</property>
- <property name="use_underline">True</property>
- <property name="draw_indicator">True</property>
- <property name="group">wordradio</property>
- <signal name="toggled" handler="on_decradio_toggled"/>
- </widget>
- <packing>
- <property name="x">154</property>
- <property name="y">34</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="fill">False</property>
- <property name="pack_type">end</property>
- <property name="position">2</property>
- </packing>
- </child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area8">
- <property name="visible">True</property>
- <property name="layout_style">end</property>
- <child>
- <widget class="GtkButton" id="button37">
- <property name="label">gtk-cancel</property>
- <property name="response_id">-6</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="button38">
- <property name="label">gtk-apply</property>
- <property name="response_id">-10</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="button39">
- <property name="label">gtk-ok</property>
- <property name="response_id">-5</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">2</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="pack_type">end</property>
- <property name="position">0</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- <widget class="GtkDialog" id="external_dialog">
- <property name="border_width">1</property>
- <property name="title" translatable="yes">External programs</property>
- <property name="resizable">False</property>
- <property name="modal">True</property>
- <property name="window_position">center-on-parent</property>
- <property name="type_hint">dialog</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox9">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkVBox" id="vbox2">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <property name="homogeneous">True</property>
- <child>
- <widget class="GtkFixed" id="fixed3">
- <property name="visible">True</property>
- <property name="border_width">9</property>
- <child>
- <widget class="GtkEntry" id="editor_entry">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="tooltip" translatable="yes">Enter the arguments for the editor. %s will be substituted by the full path to the MIXAL file to edit. </property>
- <property name="text" translatable="yes">-e vi %s</property>
- </widget>
- <packing>
- <property name="x">168</property>
- <property name="y">24</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label234">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="label" translatable="yes">Editor command and arguments (e.g -e vi %s)</property>
- </widget>
- <packing>
- <property name="x">8</property>
- </packing>
- </child>
- <child>
- <widget class="GtkFileChooserButton" id="editor_chooser">
- <property name="width_request">151</property>
- <property name="height_request">31</property>
- <property name="visible">True</property>
- <property name="use_preview_label">False</property>
- <property name="preview_widget_active">False</property>
- </widget>
- <packing>
- <property name="x">8</property>
- <property name="y">24</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkFixed" id="fixed4">
- <property name="visible">True</property>
- <property name="border_width">9</property>
- <child>
- <widget class="GtkLabel" id="label235">
- <property name="width_request">0</property>
- <property name="height_request">0</property>
- <property name="visible">True</property>
- <property name="xalign">0.47999998927116394</property>
- <property name="yalign">0.52999997138977051</property>
- <property name="label" translatable="yes">MIX asssembler path</property>
- <property name="single_line_mode">True</property>
- </widget>
- <packing>
- <property name="x">8</property>
- <property name="y">8</property>
- </packing>
- </child>
- <child>
- <widget class="GtkFileChooserButton" id="mixasm_chooser">
- <property name="width_request">151</property>
- <property name="height_request">31</property>
- <property name="visible">True</property>
- <property name="use_preview_label">False</property>
- <property name="preview_widget_active">False</property>
- <property name="title" translatable="yes">Select mixasm executable</property>
- </widget>
- <packing>
- <property name="x">8</property>
- <property name="y">32</property>
- </packing>
- </child>
- <child>
- <widget class="GtkCheckButton" id="mixasm_mls">
- <property name="label" translatable="yes">Generate listing file</property>
- <property name="width_request">152</property>
- <property name="height_request">24</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">If checked, mixasm will be called with the --listing flag.</property>
- <property name="use_underline">True</property>
- <property name="focus_on_click">False</property>
- <property name="draw_indicator">True</property>
- </widget>
- <packing>
- <property name="x">176</property>
- <property name="y">32</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="position">1</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="position">2</property>
- </packing>
- </child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area9">
- <property name="visible">True</property>
- <property name="layout_style">end</property>
- <child>
- <widget class="GtkButton" id="button40">
- <property name="label">gtk-cancel</property>
- <property name="response_id">-6</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="button41">
- <property name="label">gtk-ok</property>
- <property name="response_id">-5</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="pack_type">end</property>
- <property name="position">0</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- <widget class="GtkDialog" id="symbols_dialog">
- <property name="title" translatable="yes">Symbol table</property>
- <property name="default_width">245</property>
- <property name="default_height">265</property>
- <property name="type_hint">dialog</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox10">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkScrolledWindow" id="scrolledwindow26">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <property name="hscrollbar_policy">automatic</property>
- <property name="vscrollbar_policy">automatic</property>
- <property name="shadow_type">in</property>
- <child>
- <widget class="GtkTreeView" id="symbols_view">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="headers_visible">False</property>
- <property name="reorderable">True</property>
- <property name="rules_hint">True</property>
- </widget>
- </child>
- </widget>
- <packing>
- <property name="position">2</property>
- </packing>
- </child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area10">
- <property name="visible">True</property>
- <property name="layout_style">end</property>
- <child>
- <widget class="GtkButton" id="button1">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="receives_default">False</property>
- <signal name="clicked" handler="on_symbol_ok_clicked"/>
- <child>
- <widget class="GtkAlignment" id="alignment1">
- <property name="visible">True</property>
- <property name="xscale">0</property>
- <property name="yscale">0</property>
- <child>
- <widget class="GtkHBox" id="hbox36">
- <property name="visible">True</property>
- <property name="spacing">2</property>
- <child>
- <widget class="GtkImage" id="image57">
- <property name="visible">True</property>
- <property name="stock">gtk-close</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label1437">
- <property name="visible">True</property>
- <property name="label" translatable="yes">_Close</property>
- <property name="use_underline">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="pack_type">end</property>
- <property name="position">0</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- <widget class="GtkWindow" id="mixal_window">
+ </object>
+ <object class="GtkWindow" id="mixal_window">
+ <property name="can_focus">False</property>
<property name="title" translatable="yes">MIXAL source</property>
<property name="default_width">570</property>
<property name="default_height">225</property>
<child>
- <widget class="GtkVBox" id="vbox5">
+ <placeholder/>
+ </child>
+ <child>
+ <object class="GtkVBox" id="vbox5">
<property name="visible">True</property>
- <property name="orientation">vertical</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkHandleBox" id="tb_handle">
+ <object class="GtkHandleBox" id="mixal_tb_handle">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkToolbar" id="dlg_toolbar">
+ <object class="GtkToolbar" id="mixal_toolbar">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="can_default">True</property>
<property name="border_width">2</property>
<property name="toolbar_style">icons</property>
<child>
- <widget class="GtkToolButton" id="button14">
+ <object class="GtkToolButton" id="button14">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Run</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Run</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-go-forward</property>
- <signal name="clicked" handler="on_debug_run_activate"/>
- </widget>
+ <signal name="clicked" handler="on_debug_run_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="button15">
+ <object class="GtkToolButton" id="button15">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Next</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Step</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-goto-last</property>
- <signal name="clicked" handler="on_debug_next_activate"/>
- </widget>
+ <signal name="clicked" handler="on_debug_next_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="button16">
+ <object class="GtkToolButton" id="button16">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Clear breakpoints</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Clear</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-clear</property>
- <signal name="clicked" handler="on_clear_breakpoints_activate"/>
- </widget>
+ <signal name="clicked" handler="on_clear_breakpoints_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="button18">
+ <object class="GtkToolButton" id="button18">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Symbol table</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Symbols</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-index</property>
- <signal name="clicked" handler="on_symbols_activate"/>
- </widget>
+ <signal name="clicked" handler="on_symbols_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem7">
+ <object class="GtkSeparatorToolItem" id="separatortoolitem7">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="homogeneous">False</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="button22">
+ <object class="GtkToolButton" id="button22">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Source code font</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Font</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-select-font</property>
- <signal name="clicked" handler="on_mixal_font_activate"/>
- </widget>
+ <signal name="clicked" handler="on_mixal_font_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem10">
+ <object class="GtkSeparatorToolItem" id="separatortoolitem10">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="homogeneous">False</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="attach_button">
+ <object class="GtkToolButton" id="attach_button1">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Attach window</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Attach</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-dnd</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -1768,313 +1925,97 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkVBox" id="mixal_container">
+ <object class="GtkVBox" id="mixal_container">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
<placeholder/>
</child>
- </widget>
+ </object>
<packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
<property name="position">1</property>
</packing>
</child>
<child>
- <widget class="GtkStatusbar" id="mixal_statusbar">
- <property name="visible">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">2</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- <widget class="GtkWindow" id="devices_window">
- <property name="title" translatable="yes">Devices</property>
- <property name="default_width">550</property>
- <property name="default_height">250</property>
- <signal name="destroy" handler="on_window_hide"/>
- <signal name="destroy_event" handler="on_window_hide"/>
- <signal name="delete_event" handler="on_window_hide"/>
- <child>
- <widget class="GtkVBox" id="vbox4">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkHandleBox" id="tb_handle">
+ <object class="GtkStatusbar" id="mixal_statusbar">
<property name="visible">True</property>
- <child>
- <widget class="GtkToolbar" id="dlg_toolbar">
- <property name="visible">True</property>
- <property name="can_default">True</property>
- <property name="border_width">2</property>
- <property name="toolbar_style">icons</property>
- <child>
- <widget class="GtkToolButton" id="devdir_button">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Device directory</property>
- <property name="is_important">True</property>
- <property name="label" translatable="yes">Directory</property>
- <property name="use_underline">True</property>
- <property name="stock_id">gtk-home</property>
- <signal name="clicked" handler="on_devdir_activate"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="homogeneous">True</property>
- </packing>
- </child>
- <child>
- <widget class="GtkToolButton" id="output_button">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Output format</property>
- <property name="is_important">True</property>
- <property name="label" translatable="yes">Output</property>
- <property name="use_underline">True</property>
- <property name="stock_id">gtk-zoom-100</property>
- <signal name="clicked" handler="on_devform_activate"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="homogeneous">True</property>
- </packing>
- </child>
- <child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem11">
- <property name="visible">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- </packing>
- </child>
- <child>
- <widget class="GtkToolButton" id="button21">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Change output font</property>
- <property name="is_important">True</property>
- <property name="label" translatable="yes">Font</property>
- <property name="use_underline">True</property>
- <property name="stock_id">gtk-select-font</property>
- <signal name="clicked" handler="on_devices_font_activate"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="homogeneous">True</property>
- </packing>
- </child>
- <child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem12">
- <property name="visible">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- </packing>
- </child>
- <child>
- <widget class="GtkToolButton" id="attach_button">
- <property name="visible">True</property>
- <property name="tooltip" translatable="yes">Attach window</property>
- <property name="is_important">True</property>
- <property name="label" translatable="yes">Attach</property>
- <property name="use_underline">True</property>
- <property name="stock_id">gtk-dnd</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="homogeneous">True</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkVBox" id="dev_container">
- <property name="visible">True</property>
- <child>
- <placeholder/>
- </child>
- </widget>
- <packing>
- <property name="position">1</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
- <widget class="GtkDialog" id="devdir_dialog">
- <property name="title" translatable="yes">Devices directory</property>
- <property name="resizable">False</property>
- <property name="modal">True</property>
- <property name="window_position">center</property>
- <property name="type_hint">dialog</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox11">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
- <child>
- <widget class="GtkHBox" id="hbox1">
- <property name="visible">True</property>
- <property name="border_width">25</property>
- <property name="spacing">11</property>
- <child>
- <widget class="GtkLabel" id="label239">
- <property name="visible">True</property>
- <property name="label" translatable="yes">Directory</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkEntry" id="devdir_entry">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="editable">False</property>
- </widget>
- <packing>
- <property name="position">1</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="devdir_browse">
- <property name="label">gtk-open</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- <signal name="clicked" handler="on_devdir_browse_clicked"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">2</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
<property name="position">2</property>
</packing>
</child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area11">
- <property name="visible">True</property>
- <property name="layout_style">end</property>
- <child>
- <widget class="GtkButton" id="devdir_cancel">
- <property name="label">gtk-cancel</property>
- <property name="response_id">-6</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- <signal name="clicked" handler="on_devdir_cancel_clicked"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkButton" id="devdir_ok">
- <property name="label">gtk-ok</property>
- <property name="response_id">-5</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="can_default">True</property>
- <property name="receives_default">False</property>
- <property name="use_stock">True</property>
- <signal name="clicked" handler="on_devdir_ok_clicked"/>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="pack_type">end</property>
- <property name="position">0</property>
- </packing>
- </child>
- </widget>
+ </object>
</child>
- </widget>
- <widget class="GtkWindow" id="mixvm_window">
+ </object>
+ <object class="GtkWindow" id="mixvm_window">
+ <property name="can_focus">False</property>
<property name="title" translatable="yes">Virtual machine</property>
<property name="default_width">640</property>
<property name="default_height">268</property>
<child>
- <widget class="GtkVBox" id="vbox8">
+ <placeholder/>
+ </child>
+ <child>
+ <object class="GtkVBox" id="vbox8">
<property name="visible">True</property>
- <property name="orientation">vertical</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkHandleBox" id="tb_handle">
+ <object class="GtkHandleBox" id="mixvm_tb_handle">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkToolbar" id="dlg_toolbar">
+ <object class="GtkToolbar" id="mixvm_toolbar">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="can_default">True</property>
<property name="toolbar_style">icons</property>
<child>
- <widget class="GtkToolButton" id="toolbutton2">
+ <object class="GtkToolButton" id="toolbutton2">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Change font</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Font</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-select-font</property>
- <signal name="clicked" handler="on_mix_font_activate"/>
- </widget>
+ <signal name="clicked" handler="on_mix_font_activate" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
<child>
- <widget class="GtkSeparatorToolItem" id="separatortoolitem9">
+ <object class="GtkSeparatorToolItem" id="separatortoolitem9">
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="homogeneous">False</property>
</packing>
</child>
<child>
- <widget class="GtkToolButton" id="attach_button">
+ <object class="GtkToolButton" id="attach_button3">
<property name="visible">True</property>
- <property name="tooltip" translatable="yes">Attach window</property>
+ <property name="can_focus">False</property>
<property name="is_important">True</property>
<property name="label" translatable="yes">Attach</property>
<property name="use_underline">True</property>
<property name="stock_id">gtk-dnd</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="homogeneous">True</property>
</packing>
</child>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2082,333 +2023,348 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkFrame" id="mixvm_container">
+ <object class="GtkFrame" id="mixvm_container">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">5</property>
<property name="label_xalign">0</property>
<child>
- <widget class="GtkHBox" id="mixvm_widget">
+ <object class="GtkHBox" id="mixvm_widget">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkVBox" id="vbox6">
+ <object class="GtkVBox" id="vbox6">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">1</property>
- <property name="orientation">vertical</property>
<property name="spacing">1</property>
<child>
- <widget class="GtkFrame" id="frame3">
+ <object class="GtkFrame" id="frame3">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">2</property>
<property name="label_xalign">0</property>
<child>
- <widget class="GtkTable" id="table1">
+ <object class="GtkTable" id="table1">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">8</property>
<property name="n_rows">3</property>
<property name="n_columns">6</property>
<property name="column_spacing">11</property>
<property name="row_spacing">6</property>
<child>
- <widget class="GtkLabel" id="label97">
+ <object class="GtkLabel" id="label97">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">A</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label100">
+ <object class="GtkLabel" id="label100">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">I1</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="left_attach">2</property>
<property name="right_attach">3</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label101">
+ <object class="GtkLabel" id="label101">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">I2</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="left_attach">2</property>
<property name="right_attach">3</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rA_entry">
+ <object class="GtkEntry" id="rA_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="can_default">True</property>
<property name="has_default">True</property>
<property name="editable">False</property>
<property name="width_chars">19</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">1</property>
<property name="right_attach">2</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rI2_entry">
+ <object class="GtkEntry" id="rI2_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">9</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">3</property>
<property name="right_attach">4</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rI1_entry">
+ <object class="GtkEntry" id="rI1_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">9</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">3</property>
<property name="right_attach">4</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label98">
+ <object class="GtkLabel" id="label98">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">X</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label102">
+ <object class="GtkLabel" id="label102">
<property name="width_request">16</property>
<property name="height_request">16</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">I3</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="left_attach">2</property>
<property name="right_attach">3</property>
<property name="top_attach">2</property>
<property name="bottom_attach">3</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label103">
+ <object class="GtkLabel" id="label103">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">I4</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="left_attach">4</property>
<property name="right_attach">5</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label104">
+ <object class="GtkLabel" id="label104">
<property name="width_request">16</property>
<property name="height_request">16</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">I5</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="left_attach">4</property>
<property name="right_attach">5</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label105">
+ <object class="GtkLabel" id="label105">
<property name="width_request">16</property>
<property name="height_request">16</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">I6</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="left_attach">4</property>
<property name="right_attach">5</property>
<property name="top_attach">2</property>
<property name="bottom_attach">3</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label99">
+ <object class="GtkLabel" id="label99">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">J</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="top_attach">2</property>
<property name="bottom_attach">3</property>
<property name="x_options">GTK_FILL</property>
- <property name="y_options"></property>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rX_entry">
+ <object class="GtkEntry" id="rX_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">19</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">1</property>
<property name="right_attach">2</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rI4_entry">
+ <object class="GtkEntry" id="rI4_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">9</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">5</property>
<property name="right_attach">6</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rI5_entry">
+ <object class="GtkEntry" id="rI5_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">9</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">5</property>
<property name="right_attach">6</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rI6_entry">
+ <object class="GtkEntry" id="rI6_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">9</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">5</property>
<property name="right_attach">6</property>
<property name="top_attach">2</property>
<property name="bottom_attach">3</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="rI3_entry">
+ <object class="GtkEntry" id="rI3_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">9</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="left_attach">3</property>
<property name="right_attach">4</property>
<property name="top_attach">2</property>
<property name="bottom_attach">3</property>
- <property name="x_options"></property>
- <property name="y_options"></property>
+ <property name="x_options"/>
+ <property name="y_options"/>
</packing>
</child>
<child>
- <widget class="GtkHBox" id="hbox22">
+ <object class="GtkHBox" id="hbox22">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkEntry" id="rJ_entry">
+ <object class="GtkEntry" id="rJ_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="editable">False</property>
<property name="width_chars">9</property>
- <signal name="button_press_event" handler="on_register_click"/>
- </widget>
+ <signal name="button-press-event" handler="on_register_click" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2418,7 +2374,7 @@ disk7</property>
<child>
<placeholder/>
</child>
- </widget>
+ </object>
<packing>
<property name="left_attach">1</property>
<property name="right_attach">2</property>
@@ -2428,52 +2384,45 @@ disk7</property>
<property name="y_options">GTK_FILL</property>
</packing>
</child>
- </widget>
- </child>
- <child>
- <widget class="GtkLabel" id="label264">
- <property name="visible">True</property>
- <property name="xpad">2</property>
- <property name="label" translatable="yes">Registers </property>
- </widget>
- <packing>
- <property name="type">label_item</property>
- </packing>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="padding">5</property>
<property name="position">0</property>
</packing>
</child>
<child>
- <widget class="GtkHBox" id="hbox7">
+ <object class="GtkHBox" id="hbox7">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<child>
- <widget class="GtkFrame" id="frame5">
+ <object class="GtkFrame" id="frame5">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">2</property>
<property name="label_xalign">0</property>
<child>
- <widget class="GtkHBox" id="hbox6">
+ <object class="GtkHBox" id="hbox6">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">1</property>
<property name="spacing">5</property>
<child>
- <widget class="GtkRadioButton" id="greater_radio">
+ <object class="GtkRadioButton" id="greater_radio">
<property name="label" translatable="yes">G</property>
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">Greater</property>
<property name="border_width">2</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
- <signal name="toggled" handler="on_cmp_g_toggled"/>
- </widget>
+ <signal name="toggled" handler="on_cmp_g_toggled" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2481,20 +2430,19 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkRadioButton" id="equal_radio">
+ <object class="GtkRadioButton" id="equal_radio">
<property name="label" translatable="yes">E</property>
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">Equal</property>
<property name="border_width">2</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
<property name="group">greater_radio</property>
- <signal name="toggled" handler="on_cmp_e_toggled"/>
- </widget>
+ <signal name="toggled" handler="on_cmp_e_toggled" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2502,20 +2450,19 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkRadioButton" id="lesser_radio">
+ <object class="GtkRadioButton" id="lesser_radio">
<property name="label" translatable="yes">L</property>
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">Lesser</property>
<property name="border_width">2</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
<property name="group">greater_radio</property>
- <signal name="toggled" handler="on_cmp_l_toggled"/>
- </widget>
+ <signal name="toggled" handler="on_cmp_l_toggled" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2523,10 +2470,11 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkVSeparator" id="vseparator9">
+ <object class="GtkVSeparator" id="vseparator9">
<property name="height_request">7</property>
<property name="visible">True</property>
- </widget>
+ <property name="can_focus">False</property>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2534,34 +2482,24 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkCheckButton" id="over_toggle">
+ <object class="GtkCheckButton" id="over_toggle">
<property name="label" translatable="yes">Overflow</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
<property name="use_underline">True</property>
<property name="draw_indicator">True</property>
- <signal name="toggled" handler="on_overflow_toggled"/>
- </widget>
+ <signal name="toggled" handler="on_overflow_toggled" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
<property name="position">4</property>
</packing>
</child>
- </widget>
- </child>
- <child>
- <widget class="GtkLabel" id="label266">
- <property name="visible">True</property>
- <property name="xpad">2</property>
- <property name="label" translatable="yes">Flags </property>
- </widget>
- <packing>
- <property name="type">label_item</property>
- </packing>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2572,17 +2510,19 @@ disk7</property>
<placeholder/>
</child>
<child>
- <widget class="GtkFrame" id="frame6">
+ <object class="GtkFrame" id="frame6">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">2</property>
<property name="label_xalign">0</property>
<child>
- <widget class="GtkHBox" id="hbox1">
+ <object class="GtkHBox" id="hbox2">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">4</property>
<property name="spacing">1</property>
<child>
- <widget class="GtkEntry" id="loc_entry">
+ <object class="GtkEntry" id="loc_entry">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
@@ -2591,7 +2531,7 @@ disk7</property>
<property name="max_length">4</property>
<property name="width_chars">6</property>
<property name="text" translatable="yes">0</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2600,19 +2540,19 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkButton" id="loc_arrow">
+ <object class="GtkButton" id="loc_arrow">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
- <property name="tooltip" translatable="yes">View loc address</property>
- <signal name="clicked" handler="on_loc_arrow_clicked"/>
+ <signal name="clicked" handler="on_loc_arrow_clicked" swapped="no"/>
<child>
- <widget class="GtkImage" id="image4">
+ <object class="GtkImage" id="image4">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="stock">gtk-jump-to</property>
- </widget>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2620,19 +2560,9 @@ disk7</property>
<property name="position">1</property>
</packing>
</child>
- </widget>
- </child>
- <child>
- <widget class="GtkLabel" id="label1323">
- <property name="visible">True</property>
- <property name="xpad">2</property>
- <property name="label" translatable="yes">Location </property>
- </widget>
- <packing>
- <property name="type">label_item</property>
- </packing>
+ </object>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2640,31 +2570,35 @@ disk7</property>
<property name="position">2</property>
</packing>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="padding">5</property>
<property name="position">1</property>
</packing>
</child>
<child>
- <widget class="GtkFrame" id="frame2">
+ <object class="GtkFrame" id="frame2">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">2</property>
<property name="label_xalign">0</property>
<child>
- <widget class="GtkHBox" id="hbox4">
+ <object class="GtkHBox" id="hbox4">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">5</property>
<property name="spacing">5</property>
<property name="homogeneous">True</property>
<child>
- <widget class="GtkLabel" id="label258">
+ <object class="GtkLabel" id="label258">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Uptime:</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2672,14 +2606,15 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="uptime_label">
+ <object class="GtkLabel" id="uptime_label">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="xpad">5</property>
<property name="label" translatable="yes">00000000</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2687,12 +2622,13 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label260">
+ <object class="GtkLabel" id="label260">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Elapsed:</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2701,14 +2637,15 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="elapsed_label">
+ <object class="GtkLabel" id="elapsed_label">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="xpad">5</property>
<property name="label" translatable="yes">000000</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2716,12 +2653,13 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="label261">
+ <object class="GtkLabel" id="label261">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="label" translatable="yes">Program:</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2730,41 +2668,32 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkLabel" id="program_label">
+ <object class="GtkLabel" id="program_label">
<property name="width_request">0</property>
<property name="height_request">0</property>
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="xpad">5</property>
<property name="label" translatable="yes">000000</property>
<property name="justify">center</property>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
<property name="position">5</property>
</packing>
</child>
- </widget>
+ </object>
</child>
- <child>
- <widget class="GtkLabel" id="label263">
- <property name="visible">True</property>
- <property name="xpad">2</property>
- <property name="label" translatable="yes">Times </property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="type">label_item</property>
- </packing>
- </child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="fill">True</property>
<property name="padding">5</property>
<property name="position">2</property>
</packing>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2773,89 +2702,194 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkFrame" id="frame4">
+ <object class="GtkFrame" id="frame4">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="border_width">7</property>
<property name="label_xalign">0</property>
<child>
- <widget class="GtkScrolledWindow" id="memory_scroll">
+ <object class="GtkScrolledWindow" id="memory_scroll">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="border_width">5</property>
- <property name="hscrollbar_policy">automatic</property>
- <property name="vscrollbar_policy">automatic</property>
<property name="shadow_type">in</property>
<child>
- <widget class="GtkTreeView" id="memory_cells">
+ <object class="GtkTreeView" id="memory_cells">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="events">GDK_BUTTON_PRESS_MASK</property>
<property name="rules_hint">True</property>
- </widget>
+ <child internal-child="selection">
+ <object class="GtkTreeSelection"/>
+ </child>
+ </object>
</child>
- </widget>
+ </object>
</child>
- <child>
- <widget class="GtkLabel" id="label265">
- <property name="visible">True</property>
- <property name="xpad">2</property>
- <property name="label" translatable="yes">Memory </property>
- </widget>
- <packing>
- <property name="type">label_item</property>
- </packing>
- </child>
- </widget>
+ </object>
<packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
<property name="padding">3</property>
<property name="pack_type">end</property>
<property name="position">1</property>
</packing>
</child>
- </widget>
+ </object>
</child>
+ </object>
+ <packing>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ </object>
+ <object class="GtkDialog" id="symbols_dialog">
+ <property name="can_focus">False</property>
+ <property name="title" translatable="yes">Symbol table</property>
+ <property name="default_width">245</property>
+ <property name="default_height">265</property>
+ <property name="type_hint">dialog</property>
+ <signal name="delete-event" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
+ <child internal-child="vbox">
+ <object class="GtkBox" id="dialog-vbox10">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="orientation">vertical</property>
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area10">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
<child>
- <widget class="GtkLabel" id="label1414">
+ <object class="GtkButton" id="button1">
<property name="visible">True</property>
- <property name="xpad">2</property>
- <property name="label" translatable="yes">MIX Virtual Machine </property>
- </widget>
+ <property name="can_focus">True</property>
+ <property name="receives_default">False</property>
+ <signal name="clicked" handler="on_symbol_ok_clicked" swapped="no"/>
+ <child>
+ <object class="GtkAlignment" id="alignment1">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="xscale">0</property>
+ <property name="yscale">0</property>
+ <child>
+ <object class="GtkHBox" id="hbox36">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="spacing">2</property>
+ <child>
+ <object class="GtkImage" id="image57">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="stock">gtk-close</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label1437">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">_Close</property>
+ <property name="use_underline">True</property>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">1</property>
+ </packing>
+ </child>
+ </object>
+ </child>
+ </object>
+ </child>
+ </object>
<packing>
- <property name="type">label_item</property>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="position">0</property>
</packing>
</child>
- </widget>
+ </object>
<packing>
- <property name="position">1</property>
+ <property name="expand">False</property>
+ <property name="fill">False</property>
+ <property name="pack_type">end</property>
+ <property name="position">0</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkScrolledWindow" id="scrolledwindow26">
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="shadow_type">in</property>
+ <child>
+ <object class="GtkTreeView" id="symbols_view">
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="headers_visible">False</property>
+ <property name="reorderable">True</property>
+ <property name="rules_hint">True</property>
+ <child internal-child="selection">
+ <object class="GtkTreeSelection"/>
+ </child>
+ </object>
+ </child>
+ </object>
+ <packing>
+ <property name="expand">False</property>
+ <property name="fill">True</property>
+ <property name="position">2</property>
</packing>
</child>
- </widget>
+ </object>
</child>
- </widget>
- <widget class="GtkDialog" id="input_dialog">
- <property name="visible">True</property>
- <property name="title" translatable="yes">MIX Console input</property>
+ </object>
+ <object class="GtkDialog" id="word_dialog">
+ <property name="can_focus">False</property>
+ <property name="title" translatable="yes">Enter value</property>
<property name="resizable">False</property>
<property name="modal">True</property>
- <property name="window_position">center-on-parent</property>
+ <property name="window_position">mouse</property>
<property name="type_hint">dialog</property>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="close" handler="gtk_widget_hide"/>
+ <signal name="delete-event" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy" handler="gtk_widget_hide" swapped="no"/>
+ <signal name="destroy-event" handler="gtk_widget_hide" swapped="no"/>
+ <child>
+ <placeholder/>
+ </child>
<child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox12">
+ <object class="GtkBox" id="dialog-vbox5">
<property name="visible">True</property>
+ <property name="can_focus">False</property>
<property name="orientation">vertical</property>
- <child>
- <widget class="GtkVBox" id="vbox7">
+ <child internal-child="action_area">
+ <object class="GtkButtonBox" id="dialog-action_area5">
<property name="visible">True</property>
- <property name="border_width">3</property>
- <property name="orientation">vertical</property>
- <property name="homogeneous">True</property>
+ <property name="can_focus">False</property>
+ <property name="layout_style">end</property>
<child>
- <widget class="GtkLabel" id="label1438">
+ <object class="GtkButton" id="word_cancel">
+ <property name="label">gtk-cancel</property>
<property name="visible">True</property>
- <property name="label" translatable="yes">Enter up to 70 characters</property>
- </widget>
+ <property name="can_focus">True</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ <signal name="clicked" handler="on_word_cancel_clicked" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
@@ -2863,202 +2897,224 @@ disk7</property>
</packing>
</child>
<child>
- <widget class="GtkEntry" id="input_entry">
+ <object class="GtkButton" id="word_reset">
+ <property name="label">gtk-clear</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="max_length">70</property>
- <property name="activates_default">True</property>
- <property name="width_chars">70</property>
- </widget>
+ <property name="focus_on_click">False</property>
+ <property name="can_default">True</property>
+ <property name="receives_default">False</property>
+ <property name="use_stock">True</property>
+ <signal name="clicked" handler="on_word_reset_clicked" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
<property name="position">1</property>
</packing>
</child>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">2</property>
- </packing>
- </child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area12">
- <property name="visible">True</property>
- <property name="layout_style">end</property>
<child>
- <widget class="GtkButton" id="okbutton1">
+ <object class="GtkButton" id="word_ok">
<property name="label">gtk-ok</property>
- <property name="response_id">-5</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="can_default">True</property>
- <property name="has_default">True</property>
<property name="receives_default">False</property>
<property name="use_stock">True</property>
- </widget>
+ <signal name="clicked" handler="on_word_ok_clicked" swapped="no"/>
+ </object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
- <property name="position">0</property>
+ <property name="position">2</property>
</packing>
</child>
- </widget>
+ </object>
<packing>
<property name="expand">False</property>
+ <property name="fill">False</property>
<property name="pack_type">end</property>
<property name="position">0</property>
</packing>
</child>
- </widget>
- </child>
- </widget>
- <widget class="GtkDialog" id="about_dialog">
- <property name="border_width">2</property>
- <property name="title" translatable="yes">About gmixvm</property>
- <property name="resizable">False</property>
- <property name="modal">True</property>
- <property name="window_position">center-on-parent</property>
- <property name="type_hint">dialog</property>
- <property name="has_separator">False</property>
- <signal name="destroy" handler="gtk_widget_hide"/>
- <signal name="destroy_event" handler="gtk_widget_hide"/>
- <signal name="delete_event" handler="gtk_widget_hide"/>
- <child internal-child="vbox">
- <widget class="GtkVBox" id="dialog-vbox13">
- <property name="visible">True</property>
- <property name="orientation">vertical</property>
<child>
- <widget class="GtkFrame" id="frame7">
+ <object class="GtkFixed" id="word_layout">
<property name="visible">True</property>
- <property name="border_width">3</property>
- <property name="label_xalign">0</property>
- <property name="label_yalign">0</property>
+ <property name="can_focus">False</property>
+ <property name="border_width">5</property>
<child>
- <widget class="GtkAlignment" id="alignment2">
+ <object class="GtkEntry" id="word_decimal">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
<property name="visible">True</property>
- <child>
- <widget class="GtkVBox" id="vbox9">
- <property name="visible">True</property>
- <property name="border_width">15</property>
- <property name="orientation">vertical</property>
- <property name="spacing">10</property>
- <child>
- <widget class="GtkLabel" id="label1441">
- <property name="visible">True</property>
- <property name="yalign">0</property>
- <property name="label" translatable="yes">&lt;b&gt;MIX virtual machine&lt;/b&gt;
-&lt;small&gt;(GNU MDK)&lt;/small&gt;</property>
- <property name="use_markup">True</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="position">0</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="version_label">
- <property name="width_request">52</property>
- <property name="height_request">16</property>
- <property name="visible">True</property>
- <property name="yalign">0</property>
- <property name="label" translatable="yes">label223</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="fill">False</property>
- <property name="position">1</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="mdk_web">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="yalign">0</property>
- <property name="label" translatable="yes">http://www.gnu.org/software/mdk/mdk.html</property>
- <property name="use_markup">True</property>
- <property name="justify">center</property>
- <property name="selectable">True</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">2</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label1440">
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="yalign">0</property>
- <property name="label" translatable="yes">&lt;small&gt;Please send bug reports to bug-mdk@gnu.org&lt;/small&gt;</property>
- <property name="use_markup">True</property>
- <property name="justify">center</property>
- <property name="wrap">True</property>
- <property name="selectable">True</property>
- </widget>
- <packing>
- <property name="fill">False</property>
- <property name="position">3</property>
- </packing>
- </child>
- <child>
- <widget class="GtkLabel" id="label1442">
- <property name="visible">True</property>
- <property name="yalign">0</property>
- <property name="label" translatable="yes">&lt;small&gt;Copyright (C) 2001-2009
-Free Software Foundation, Inc&lt;/small&gt;</property>
- <property name="use_markup">True</property>
- <property name="justify">center</property>
- </widget>
- <packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">4</property>
- </packing>
- </child>
- </widget>
- </child>
- </widget>
+ <property name="can_focus">True</property>
+ <property name="has_focus">True</property>
+ <property name="events">GDK_KEY_PRESS_MASK</property>
+ <property name="width_chars">28</property>
+ <property name="text" translatable="yes">0</property>
+ <signal name="changed" handler="on_word_dec_changed" after="yes" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">88</property>
+ <property name="y">64</property>
+ </packing>
</child>
- </widget>
- <packing>
- <property name="position">1</property>
- </packing>
- </child>
- <child internal-child="action_area">
- <widget class="GtkHButtonBox" id="dialog-action_area13">
- <property name="visible">True</property>
- <property name="layout_style">spread</property>
<child>
- <widget class="GtkButton" id="okbutton2">
- <property name="label">gtk-ok</property>
- <property name="response_id">-5</property>
+ <object class="GtkEntry" id="word_b2">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="has_focus">True</property>
- <property name="can_default">True</property>
- <property name="has_default">True</property>
- <property name="receives_default">False</property>
- <property name="border_width">1</property>
- <property name="use_stock">True</property>
- <signal name="clicked" handler="on_about_clicked"/>
- </widget>
+ <property name="events">GDK_KEY_PRESS_MASK</property>
+ <property name="max_length">2</property>
+ <property name="width_chars">3</property>
+ <property name="text" translatable="yes">0</property>
+ <signal name="changed" handler="on_word_byte_changed" swapped="no"/>
+ </object>
<packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
- <property name="position">0</property>
+ <property name="x">144</property>
+ <property name="y">32</property>
</packing>
</child>
- </widget>
+ <child>
+ <object class="GtkEntry" id="word_b3">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="events">GDK_BUTTON_PRESS_MASK</property>
+ <property name="max_length">2</property>
+ <property name="width_chars">3</property>
+ <property name="text" translatable="yes">0</property>
+ <signal name="changed" handler="on_word_byte_changed" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">176</property>
+ <property name="y">32</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkEntry" id="word_b4">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="events">GDK_KEY_PRESS_MASK</property>
+ <property name="max_length">2</property>
+ <property name="width_chars">3</property>
+ <property name="text" translatable="yes">0</property>
+ <signal name="changed" handler="on_word_byte_changed" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">208</property>
+ <property name="y">32</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkEntry" id="word_b5">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="events">GDK_KEY_PRESS_MASK</property>
+ <property name="max_length">2</property>
+ <property name="width_chars">3</property>
+ <property name="text" translatable="yes">0</property>
+ <signal name="changed" handler="on_word_byte_changed" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">238</property>
+ <property name="y">32</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkEntry" id="word_b1">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="events">GDK_KEY_PRESS_MASK</property>
+ <property name="max_length">2</property>
+ <property name="width_chars">3</property>
+ <property name="text" translatable="yes">0</property>
+ <signal name="changed" handler="on_word_byte_changed" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">112</property>
+ <property name="y">32</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkEntry" id="word_sign">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="events">GDK_KEY_PRESS_MASK</property>
+ <property name="max_length">1</property>
+ <property name="width_chars">2</property>
+ <property name="text" translatable="yes">+</property>
+ <signal name="changed" handler="on_word_sign_changed" swapped="no"/>
+ </object>
+ <packing>
+ <property name="x">88</property>
+ <property name="y">32</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label60">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Decimal</property>
+ <property name="justify">center</property>
+ </object>
+ <packing>
+ <property name="x">14</property>
+ <property name="y">68</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="label61">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Bytes</property>
+ <property name="justify">center</property>
+ </object>
+ <packing>
+ <property name="x">15</property>
+ <property name="y">36</property>
+ </packing>
+ </child>
+ <child>
+ <object class="GtkLabel" id="word_label">
+ <property name="width_request">0</property>
+ <property name="height_request">0</property>
+ <property name="visible">True</property>
+ <property name="can_focus">False</property>
+ <property name="label" translatable="yes">Enter value</property>
+ <property name="justify">center</property>
+ </object>
+ <packing>
+ <property name="x">112</property>
+ <property name="y">8</property>
+ </packing>
+ </child>
+ </object>
<packing>
<property name="expand">False</property>
- <property name="pack_type">end</property>
- <property name="position">0</property>
+ <property name="fill">True</property>
+ <property name="position">2</property>
</packing>
</child>
- </widget>
+ </object>
</child>
- </widget>
-</glade-interface>
+ <action-widgets>
+ <action-widget response="-6">word_cancel</action-widget>
+ <action-widget response="-5">word_ok</action-widget>
+ </action-widgets>
+ </object>
+</interface>
diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c
index 56804cd..88fdfd1 100644
--- a/mixgtk/mixgtk_device.c
+++ b/mixgtk/mixgtk_device.c
@@ -181,8 +181,8 @@ init_input_widgets_ (void)
{
input_dlg_ = mixgtk_widget_factory_get_dialog (MIXGTK_INPUT_DIALOG);
g_assert (input_dlg_);
- input_dlg_entry_ = GTK_ENTRY (mixgtk_widget_factory_get_child_by_name
- (MIXGTK_INPUT_DIALOG, "input_entry"));
+ input_dlg_entry_ =
+ GTK_ENTRY (mixgtk_widget_factory_get_child_by_name ("input_entry"));
g_assert (input_dlg_entry_);
GtkEntryCompletion *completion = gtk_entry_completion_new ();
input_list_ = gtk_list_store_new (1, G_TYPE_STRING);
@@ -501,14 +501,11 @@ init_devform_ (void)
{
devdlg_ = mixgtk_widget_factory_get_dialog (MIXGTK_DEVFORM_DIALOG);
g_assert (devdlg_);
- dtoggle_ = mixgtk_widget_factory_get_child_by_name
- (MIXGTK_DEVFORM_DIALOG, "decradio");
+ dtoggle_ = mixgtk_widget_factory_get_child_by_name ("decradio");
g_assert (dtoggle_);
- wtoggle_ = mixgtk_widget_factory_get_child_by_name
- (MIXGTK_DEVFORM_DIALOG, "wordradio");
+ wtoggle_ = mixgtk_widget_factory_get_child_by_name ("wordradio");
g_assert (wtoggle_);
- combo_ = mixgtk_widget_factory_get_child_by_name
- (MIXGTK_DEVFORM_DIALOG, "dev_combo");
+ combo_ = mixgtk_widget_factory_get_child_by_name ("dev_combo");
g_assert (combo_);
gtk_editable_set_editable (GTK_EDITABLE (combo_child_ ()), FALSE);
}
@@ -578,9 +575,8 @@ on_devdir_activate ()
{
devdir_dlg_ = mixgtk_widget_factory_get_dialog (MIXGTK_DEVDIR_DIALOG);
g_assert (devdir_dlg_);
- devdir_entry_ = GTK_ENTRY
- (mixgtk_widget_factory_get_child_by_name (MIXGTK_DEVDIR_DIALOG,
- DEVDIR_ENTRY_NAME));
+ devdir_entry_ =
+ GTK_ENTRY (mixgtk_widget_factory_get_child_by_name (DEVDIR_ENTRY_NAME));
g_assert (devdir_entry_);
}
gtk_entry_set_text (devdir_entry_, mix_device_get_dir ());
diff --git a/mixgtk/mixgtk_external.c b/mixgtk/mixgtk_external.c
index 534542f..35b902e 100644
--- a/mixgtk/mixgtk_external.c
+++ b/mixgtk/mixgtk_external.c
@@ -1,7 +1,7 @@
/* -*-c-*- -------------- mixgtk_cmd_dispatcher.c :
* Implementation of the functions declared in mixgtk_external.h
* ------------------------------------------------------------------
- * Copyright (C) 2006, 2007, 2008, 2009 Free Software Foundation, Inc.
+ * Copyright (C) 2006, 2007, 2008, 2009, 2019 Free Software Foundation, Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -95,8 +95,7 @@ init_widgets_ (void)
for (k = 0; k < ext_wdg_no; ++k)
{
- ext_wdg_[k] = mixgtk_widget_factory_get_child_by_name
- (MIXGTK_EXTERNPROG_DIALOG, ext_wdg_names_[k]);
+ ext_wdg_[k] = mixgtk_widget_factory_get_child_by_name (ext_wdg_names_[k]);
g_assert (ext_wdg_[k]);
}
diff --git a/mixgtk/mixgtk_input.c b/mixgtk/mixgtk_input.c
index 9eb0316..31179ad 100644
--- a/mixgtk/mixgtk_input.c
+++ b/mixgtk/mixgtk_input.c
@@ -185,8 +185,7 @@ init_dialog_ (void)
g_assert (dialog_ != NULL);
for (k = 0; k < SIZE_; ++k)
{
- childs_[k] = mixgtk_widget_factory_get_child_by_name
- (MIXGTK_WORD_DIALOG, WGT_NAMES_[k]);
+ childs_[k] = mixgtk_widget_factory_get_child_by_name (WGT_NAMES_[k]);
g_assert (childs_[k] != NULL);
}
}
diff --git a/mixgtk/mixgtk_mixal.c b/mixgtk/mixgtk_mixal.c
index 5470eb8..7ea8c75 100644
--- a/mixgtk/mixgtk_mixal.c
+++ b/mixgtk/mixgtk_mixal.c
@@ -1,7 +1,7 @@
/* -*-c-*- -------------- mixgtk_mixal.c :
* Implementation of the functions declared in mixgtk_mixal.h
* ------------------------------------------------------------------
- * Copyright (C) 2001, 2002, 2004, 2006, 2007 Free Software Foundation, Inc.
+ * Copyright (C) 2001, 2002, 2004, 2006, 2007, 2019 Free Software Foundation, Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -77,8 +77,7 @@ init_symbols_ (void)
symbols_dlg_ = mixgtk_widget_factory_get_dialog (MIXGTK_SYMBOLS_DIALOG);
g_assert (symbols_dlg_);
symbols_view_ = GTK_TREE_VIEW
- (mixgtk_widget_factory_get_child_by_name
- (MIXGTK_SYMBOLS_DIALOG, SYMBOLS_VIEW_NAME_));
+ (mixgtk_widget_factory_get_child_by_name (SYMBOLS_VIEW_NAME_));
g_assert (symbols_view_);
mixgtk_fontsel_set_font (MIX_FONT_SYMBOLS, GTK_WIDGET (symbols_view_));
diff --git a/mixgtk/mixgtk_widgets.c b/mixgtk/mixgtk_widgets.c
index 112e412..7cc1bb9 100644
--- a/mixgtk/mixgtk_widgets.c
+++ b/mixgtk/mixgtk_widgets.c
@@ -114,7 +114,7 @@ mixgtk_widget_factory_get (mixgtk_dialog_id_t dlg, mixgtk_widget_id_t widget)
{
g_assert ((long)widget < WIDGET_NO_);
- return mixgtk_widget_factory_get_child_by_name (dlg, names_[widget]);
+ return mixgtk_widget_factory_get_child_by_name (names_[widget]);
}
@@ -126,10 +126,10 @@ mixgtk_widget_factory_get_dialog (mixgtk_dialog_id_t dlg)
}
GtkWidget *
-mixgtk_widget_factory_get_child_by_name (mixgtk_dialog_id_t dlg,
- const gchar *name)
+mixgtk_widget_factory_get_child_by_name (const gchar *name)
{
- g_assert (dlg < DLG_NO_);
g_assert (name != NULL);
- return GTK_WIDGET (gtk_builder_get_object (builder_, dnames_[dlg]));
+ GtkWidget *w = GTK_WIDGET (gtk_builder_get_object (builder_, name));
+ if (!w) g_warning ("Widget '%s' not found", name);
+ return w;
}
diff --git a/mixgtk/mixgtk_widgets.h b/mixgtk/mixgtk_widgets.h
index e1c7ec3..7c5a42d 100644
--- a/mixgtk/mixgtk_widgets.h
+++ b/mixgtk/mixgtk_widgets.h
@@ -1,7 +1,7 @@
/* -*-c-*- ---------------- mixgtk_widgets.h :
* glade-based factory of mixvm widgets
* ------------------------------------------------------------------
- * Copyright (C) 2001, 2004, 2006, 2007 Free Software Foundation, Inc.
+ * Copyright (C) 2001, 2004, 2006, 2007, 2019 Free Software Foundation, Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -94,8 +94,6 @@ mixgtk_widget_factory_get (mixgtk_dialog_id_t dlg, mixgtk_widget_id_t widget);
/* Get a widget by name */
extern GtkWidget *
-mixgtk_widget_factory_get_child_by_name (mixgtk_dialog_id_t dlg,
- const gchar *name);
+mixgtk_widget_factory_get_child_by_name (const gchar *name);
#endif /* MIXGTK_WIDGETS_H */
-
diff --git a/mixgtk/mixgtk_wm.c b/mixgtk/mixgtk_wm.c
index 39d54cb..725776f 100644
--- a/mixgtk/mixgtk_wm.c
+++ b/mixgtk/mixgtk_wm.c
@@ -40,6 +40,8 @@ typedef struct window_info_t_
GtkCheckMenuItem *menu;
const gchar *menu_name;
const gchar *config_key;
+ const gchar *toolbar_name;
+ const gchar *handle_name;
gboolean detached;
void (*detach) (void);
void (*attach) (void);
@@ -88,11 +90,14 @@ static void on_nb_switch_ (GtkNotebook *notebook, GtkWidget *page,
guint page_num, gpointer user_data);
static window_info_t_ infos_[] = {
- {MIXGTK_MIXVM_DIALOG, NULL, NULL, "detach_vm", "MIX.detach",
+ {MIXGTK_MIXVM_DIALOG, NULL, NULL,
+ "detach_vm", "MIX.detach", "mixvm_toolbar", "mixvm_tb_handle",
FALSE, mixvm_detach_, mixvm_attach_},
- {MIXGTK_MIXAL_DIALOG, NULL, NULL, "detach_source", "MIXAL.detach",
+ {MIXGTK_MIXAL_DIALOG, NULL, NULL,
+ "detach_source", "MIXAL.detach", "mixal_toolbar", "mixal_tb_handle",
FALSE, mixal_detach_, mixal_attach_},
- {MIXGTK_DEVICES_DIALOG, NULL, NULL, "detach_dev", "Devices.detach",
+ {MIXGTK_DEVICES_DIALOG, NULL, NULL,
+ "detach_dev", "Devices.detach", "dev_toolbar", "dev_tb_handle",
FALSE, dev_detach_, dev_attach_}
};
@@ -252,8 +257,7 @@ init_info_ (void)
infos_[k].menu =
GTK_CHECK_MENU_ITEM
- (mixgtk_widget_factory_get_child_by_name (MIXGTK_MAIN,
- infos_[k].menu_name));
+ (mixgtk_widget_factory_get_child_by_name (infos_[k].menu_name));
g_assert (infos_[k].menu != NULL);
txt = mixgtk_config_get (infos_[k].config_key);
infos_[k].detached = txt && !g_ascii_strcasecmp (txt, DETACH_YES_);
@@ -450,8 +454,7 @@ init_tb_ (void)
gint style = mixgtk_config_tb_style ();
tb_menu_ = GTK_CHECK_MENU_ITEM
- (mixgtk_widget_factory_get_child_by_name (MIXGTK_MAIN,
- TB_MENU_NAME_));
+ (mixgtk_widget_factory_get_child_by_name (TB_MENU_NAME_));
g_assert (tb_menu_ != NULL);
gtk_check_menu_item_set_active (tb_menu_, mixgtk_config_show_toolbars ());
@@ -475,8 +478,7 @@ init_tb_ (void)
for (k = 0; k < 4; ++k)
{
- GtkWidget *item =
- mixgtk_widget_factory_get_child_by_name (MIXGTK_MAIN, names[k]);
+ GtkWidget *item = mixgtk_widget_factory_get_child_by_name (names[k]);
g_signal_connect (G_OBJECT (item),
"activate",
G_CALLBACK (on_tb_style_), GUINT_TO_POINTER (k));
@@ -497,18 +499,17 @@ static void
set_tb_style_ (guint style)
{
static const gchar *TB_NAME = "main_toolbar";
- static const gchar *TB_DNAME = "dlg_toolbar";
gint k;
- GtkToolbar *tb = GTK_TOOLBAR
- (mixgtk_widget_factory_get_child_by_name (MIXGTK_MAIN, TB_NAME));
+ GtkToolbar *tb =
+ GTK_TOOLBAR (mixgtk_widget_factory_get_child_by_name (TB_NAME));
gtk_toolbar_set_style (tb, style);
for (k = 0; k < INF_NO_; ++k)
{
GtkToolbar *tb = GTK_TOOLBAR
- (mixgtk_widget_factory_get_child_by_name (infos_[k].dialog, TB_DNAME));
+ (mixgtk_widget_factory_get_child_by_name (infos_[k].toolbar_name));
gtk_toolbar_set_style (tb, style);
}
}
@@ -521,7 +522,7 @@ show_toolbars_ (gboolean show)
gint k;
GtkWidget *handle =
- mixgtk_widget_factory_get_child_by_name (MIXGTK_MAIN, HANDLE_NAME);
+ mixgtk_widget_factory_get_child_by_name (HANDLE_NAME);
if (show)
gtk_widget_show (handle);
@@ -531,7 +532,7 @@ show_toolbars_ (gboolean show)
for (k = 0; k < INF_NO_; ++k)
{
GtkWidget *hd =
- mixgtk_widget_factory_get_child_by_name (infos_[k].dialog, HANDLE_NAME);
+ mixgtk_widget_factory_get_child_by_name (infos_[k].handle_name);
if (show) gtk_widget_show (hd); else gtk_widget_hide (hd);
}
@@ -544,7 +545,7 @@ init_autosave_ (void)
#define AUTOSAVE_ITEM_ "save_on_exit"
GtkCheckMenuItem *item = GTK_CHECK_MENU_ITEM
- (mixgtk_widget_factory_get_child_by_name (MIXGTK_MAIN, AUTOSAVE_ITEM_));
+ (mixgtk_widget_factory_get_child_by_name (AUTOSAVE_ITEM_));
if (item)
{
gtk_check_menu_item_set_active (item, mixgtk_config_is_autosave ());
@@ -559,8 +560,7 @@ init_about_ (void)
GtkWidget *label;
about_ = mixgtk_widget_factory_get_dialog (MIXGTK_ABOUT_DIALOG);
g_assert (about_ != NULL);
- label = mixgtk_widget_factory_get_child_by_name (MIXGTK_ABOUT_DIALOG,
- VERSION_LABEL_);
+ label = mixgtk_widget_factory_get_child_by_name (VERSION_LABEL_);
g_assert (label != NULL);
gtk_label_set_text (GTK_LABEL (label), VERSION);
gtk_widget_show (label);