diff options
Diffstat (limited to 'mixgtk')
-rw-r--r-- | mixgtk/mixgtk.glade | 4042 | ||||
-rw-r--r-- | mixgtk/mixgtk_cmd_dispatcher.c | 8 | ||||
-rw-r--r-- | mixgtk/mixgtk_device.c | 37 | ||||
-rw-r--r-- | mixgtk/mixgtk_external.c | 5 | ||||
-rw-r--r-- | mixgtk/mixgtk_fontsel.c | 20 | ||||
-rw-r--r-- | mixgtk/mixgtk_gen_handlers.c | 11 | ||||
-rw-r--r-- | mixgtk/mixgtk_input.c | 28 | ||||
-rw-r--r-- | mixgtk/mixgtk_mixal.c | 22 | ||||
-rw-r--r-- | mixgtk/mixgtk_mixvm.c | 17 | ||||
-rw-r--r-- | mixgtk/mixgtk_widgets.c | 37 | ||||
-rw-r--r-- | mixgtk/mixgtk_widgets.h | 6 | ||||
-rw-r--r-- | mixgtk/mixgtk_wm.c | 81 |
12 files changed, 2175 insertions, 2139 deletions
diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index 9d35ead..ad106b4 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -1,1033 +1,230 @@ -<?xml version="1.0"?> -<glade-interface> - <!-- interface-requires gtk+ 2.16 --> - <!-- interface-naming-policy toplevel-contextual --> - <widget class="GtkWindow" id="main_window"> - <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"> +<?xml version="1.0" encoding="UTF-8"?> +<!-- Generated with glade 3.22.2 --> +<interface> + <requires lib="gtk+" version="3.14"/> + <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 type="titlebar"> + <placeholder/> + </child> + <child internal-child="vbox"> + <object class="GtkBox" id="dialog-vbox13"> <property name="visible">True</property> - <property name="border_width">2</property> + <property name="can_focus">False</property> <property name="orientation">vertical</property> - <property name="spacing">2</property> - <child> - <widget class="GtkMenuBar" id="mainmenubar"> + <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> - <widget class="GtkMenuItem" id="file"> - <property name="visible">True</property> - <property name="label" translatable="yes">_File</property> - <property name="use_underline">True</property> - <child> - <widget class="GtkMenu" id="file_menu"> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">False</property> - <signal name="activate" handler="on_file_open_activate"/> - <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> - </child> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">True</property> - <signal name="activate" handler="on_file_edit_activate"/> - <accelerator key="E" signal="activate" modifiers="GDK_CONTROL_MASK"/> - </widget> - </child> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">False</property> - <signal name="activate" handler="on_file_compile_activate"/> - <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> - </child> - <child> - <widget class="GtkSeparatorMenuItem" id="separator5"> - <property name="visible">True</property> - </widget> - </child> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">False</property> - <signal name="activate" handler="on_file_exit_activate"/> - <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> - </child> - </widget> - </child> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="debug"> - <property name="visible">True</property> - <property name="label" translatable="yes">De_bug</property> - <property name="use_underline">True</property> - <child> - <widget class="GtkMenu" id="debug_menu"> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">False</property> - <signal name="activate" handler="on_debug_run_activate"/> - <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> - </child> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">False</property> - <signal name="activate" handler="on_debug_next_activate"/> - <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> - </child> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">False</property> - <signal name="activate" handler="on_clear_breakpoints_activate"/> - <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> - </child> - <child> - <widget 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="use_underline">True</property> - <property name="use_stock">False</property> - <signal name="activate" handler="on_symbols_activate"/> - <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> - </child> - </widget> - </child> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="view1"> + <object class="GtkButton" id="okbutton2"> + <property name="label">gtk-ok</property> <property name="visible">True</property> - <property name="label" translatable="yes">Vie_w</property> - <property name="use_underline">True</property> - <child> - <widget class="GtkMenu" id="view1_menu"> - <child> - <widget class="GtkImageMenuItem" id="toolbars1"> - <property name="label" translatable="yes">_Toolbars</property> - <property name="visible">True</property> - <property name="use_underline">True</property> - <property name="use_stock">False</property> - <child> - <widget class="GtkMenu" id="toolbars1_menu"> - <child> - <widget class="GtkCheckMenuItem" id="show_toolbars"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Show Toolbars</property> - <property name="use_underline">True</property> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="toolbars_style"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Style</property> - <property name="use_underline">True</property> - <child> - <widget class="GtkMenu" id="toolbars_style_menu"> - <child> - <widget 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="label" translatable="yes">_Icons</property> - <property name="use_underline">True</property> - <property name="active">True</property> - </widget> - </child> - <child> - <widget 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="label" translatable="yes">_Labels</property> - <property name="use_underline">True</property> - <property name="active">True</property> - <property name="group">tb_style_icons</property> - </widget> - </child> - <child> - <widget 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="label" translatable="yes">_Both</property> - <property name="use_underline">True</property> - <property name="active">True</property> - <property name="group">tb_style_icons</property> - </widget> - </child> - <child> - <widget class="GtkRadioMenuItem" id="tb_style_bothh"> - <property name="visible">True</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> - </child> - </widget> - </child> - </widget> - </child> - </widget> - </child> - <child internal-child="image"> - <widget class="GtkImage" id="image8"> - <property name="visible">True</property> - <property name="stock">gtk-preferences</property> - </widget> - </child> - </widget> - </child> - <child> - <widget class="GtkImageMenuItem" id=" detached_windows"> - <property name="label" translatable="yes">_Detached windows</property> - <property name="visible">True</property> - <property name="use_underline">True</property> - <property name="use_stock">False</property> - <child> - <widget class="GtkMenu" id=" detached_windows_menu"> - <child> - <widget class="GtkCheckMenuItem" id="detach_vm"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Virtual machine</property> - <property name="use_underline">True</property> - </widget> - </child> - <child> - <widget class="GtkCheckMenuItem" id="detach_source"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Source</property> - <property name="use_underline">True</property> - </widget> - </child> - <child> - <widget class="GtkCheckMenuItem" id="detach_dev"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Devices</property> - <property name="use_underline">True</property> - </widget> - </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> - </child> - </widget> - </child> - </widget> - </child> - </widget> + <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">True</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> - <widget class="GtkMenuItem" id="settings2"> + <object class="GtkAlignment" id="alignment2"> <property name="visible">True</property> - <property name="label" translatable="yes">S_ettings</property> - <property name="use_underline">True</property> + <property name="can_focus">False</property> <child> - <widget class="GtkMenu" id="settings2_menu"> - <child> - <widget class="GtkImageMenuItem" id="fonts1"> - <property name="label" translatable="yes">Change _font</property> - <property name="visible">True</property> - <property name="use_underline">True</property> - <property name="use_stock">False</property> - <child> - <widget class="GtkMenu" id="fonts1_menu"> - <child> - <widget class="GtkMenuItem" id="mix"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Virtual machine</property> - <property name="use_underline">True</property> - <signal name="activate" handler="on_mix_font_activate"/> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="mixal"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Source</property> - <property name="use_underline">True</property> - <signal name="activate" handler="on_mixal_font_activate"/> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="command_prompt_menu"> - <property name="visible">True</property> - <property name="label" translatable="yes">Command _prompt</property> - <property name="use_underline">True</property> - <signal name="activate" handler="on_prompt_font_activate"/> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="command_log_menu"> - <property name="visible">True</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> - </child> - <child> - <widget class="GtkMenuItem" id="devices"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Devices</property> - <property name="use_underline">True</property> - <signal name="activate" handler="on_devices_font_activate"/> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="symbol_list"> - <property name="visible">True</property> - <property name="label" translatable="yes">Symbol _list</property> - <property name="use_underline">True</property> - <signal name="activate" handler="on_symbols_font_activate"/> - </widget> - </child> - <child> - <widget class="GtkSeparatorMenuItem" id="separator4"> - <property name="visible">True</property> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="all_fonts"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Change all fonts at once</property> - <property name="label" translatable="yes">_All</property> - <property name="use_underline">True</property> - <signal name="activate" handler="on_all_fonts_activate"/> - </widget> - </child> - </widget> - </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> - </child> - <child> - <widget 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="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> - </child> - <child> - <widget class="GtkImageMenuItem" id="devices_dir"> - <property name="label" translatable="yes">De_vices dir</property> - <property name="visible">True</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> - </child> + <object class="GtkBox" id="vbox9"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="border_width">15</property> + <property name="orientation">vertical</property> + <property name="spacing">10</property> <child> - <widget class="GtkImageMenuItem" id="external_programs1"> - <property name="label" translatable="yes">E_xternal programs</property> + <object class="GtkLabel" id="label1441"> <property name="visible">True</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> + <property name="can_focus">False</property> + <property name="label" translatable="yes"><b>MIX virtual machine</b> +<small>(GNU MDK)</small></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> - <widget class="GtkSeparatorMenuItem" id="separator3"> + <object class="GtkLabel" id="version_label"> + <property name="width_request">52</property> + <property name="height_request">16</property> <property name="visible">True</property> - </widget> + <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> - <widget class="GtkImageMenuItem" id="save"> - <property name="label" translatable="yes">_Save</property> + <object class="GtkLabel" id="mdk_web"> <property name="visible">True</property> - <property name="tooltip" translatable="yes">Save current settings</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> + <property name="can_focus">True</property> + <property name="label" translatable="yes"><a href="http://www.gnu.org/software/mdk/mdk.html">www.gnu.org/software/mdk</a></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> - <widget class="GtkCheckMenuItem" id="save_on_exit"> + <object class="GtkLabel" id="label1440"> <property name="visible">True</property> - <property name="tooltip" translatable="yes">Toogle save settings on exit</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> + <property name="can_focus">True</property> + <property name="label" translatable="yes"><small>Please send bug reports to bug-mdk@gnu.org</small></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> - </widget> - </child> - </widget> - </child> - <child> - <widget class="GtkMenuItem" id="help"> - <property name="visible">True</property> - <property name="label" translatable="yes">_Help</property> - <property name="use_underline">True</property> - <child> - <widget class="GtkMenu" id="help_menu"> <child> - <widget class="GtkImageMenuItem" id="about"> - <property name="label" translatable="yes">_About</property> + <object class="GtkLabel" id="label1442"> <property name="visible">True</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> + <property name="can_focus">False</property> + <property name="label" translatable="yes"><small>Copyright (C) 2000-2020 +Free Software Foundation, Inc</small></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> - </widget> - </child> - </widget> - </child> - </widget> - <packing> - <property name="expand">False</property> - <property name="position">0</property> - </packing> - </child> - <child> - <widget class="GtkHandleBox" id="tb_handle"> - <property name="visible">True</property> - <child> - <widget class="GtkToolbar" id="main_toolbar"> - <property name="visible">True</property> - <property name="toolbar_style">icons</property> - <child> - <widget class="GtkToolButton" id="load_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Load MIX program</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="compile_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Compile MIXAL source</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="edit_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Edit MIXAL source</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkSeparatorToolItem" id="separatortoolitem13"> - <property name="visible">True</property> - </widget> - <packing> - <property name="expand">False</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="run_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Run</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="step_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Next</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="clear_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Clear breakpoints</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="symbols_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Symbol table</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkSeparatorToolItem" id="separatortoolitem2"> - <property name="visible">True</property> - </widget> - <packing> - <property name="expand">False</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="button28"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Device directory</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="button30"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Output format</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="button31"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">External programs</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> + </object> </child> - <child> - <widget class="GtkSeparatorToolItem" id="separatortoolitem8"> - <property name="visible">True</property> - </widget> - <packing> - <property name="expand">False</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="detach_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Detach window</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="attach_button"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Attach all windows</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> - <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> - <property name="padding">3</property> + <property name="fill">True</property> <property name="position">1</property> </packing> </child> - <child> - <widget 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"> - <property name="visible">True</property> - <property name="can_focus">True</property> - </widget> - <packing> - <property name="resize">True</property> - <property name="shrink">False</property> - </packing> - </child> - <child> - <widget class="GtkVBox" id="prompt_vbox"> - <property name="visible">True</property> - <property name="orientation">vertical</property> - <child> - <widget 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"> - <property name="visible">True</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> - </child> - </widget> - <packing> - <property name="position">0</property> - </packing> - </child> - <child> - <widget 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> - <packing> - <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">1</property> - </packing> - </child> - </widget> - <packing> - <property name="resize">True</property> - <property name="shrink">True</property> - </packing> - </child> - </widget> - <packing> - <property name="position">2</property> - </packing> - </child> - <child> - <widget class="GtkStatusbar" id="main_statusbar"> - <property name="visible">True</property> - </widget> - <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> + <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">mouse</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"/> + <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 type="titlebar"> + <placeholder/> + </child> <child internal-child="vbox"> - <widget class="GtkVBox" id="dialog-vbox5"> + <object class="GtkBox" id="dialog-vbox11"> <property name="visible">True</property> + <property name="can_focus">False</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"> + <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> - <widget class="GtkButton" id="word_cancel"> + <object 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_word_cancel_clicked"/> - </widget> + <signal name="clicked" handler="on_devdir_cancel_clicked" swapped="no"/> + </object> <packing> - <property name="expand">False</property> + <property name="expand">True</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"> + <object 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_word_ok_clicked"/> - </widget> + <signal name="clicked" handler="on_devdir_ok_clicked" swapped="no"/> + </object> <packing> - <property name="expand">False</property> + <property name="expand">True</property> <property name="fill">False</property> - <property name="position">2</property> + <property name="position">1</property> </packing> </child> - </widget> + </object> <packing> <property name="expand">False</property> <property name="fill">False</property> @@ -1035,1390 +232,2164 @@ <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"> + <object class="GtkBox" id="hbox1"> <property name="visible">True</property> - <property name="border_width">12</property> - <property name="orientation">vertical</property> + <property name="can_focus">False</property> + <property name="border_width">25</property> + <property name="spacing">11</property> <child> - <widget class="GtkLabel" id="label225"> + <object class="GtkLabel" id="label239"> <property name="visible">True</property> - <property name="label" translatable="yes">Go to address:</property> + <property name="can_focus">False</property> + <property name="label" translatable="yes">Directory</property> <property name="justify">center</property> - </widget> + </object> <packing> + <property name="expand">False</property> + <property name="fill">False</property> <property name="position">0</property> </packing> </child> <child> - <widget class="GtkEntry" id="goto_entry"> + <object class="GtkEntry" id="devdir_entry"> + <property name="visible">True</property> + <property name="sensitive">False</property> + <property name="can_focus">False</property> + <property name="editable">False</property> + <property name="caps_lock_warning">False</property> + <property name="primary_icon_activatable">False</property> + <property name="primary_icon_sensitive">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">_Select</property> <property name="visible">True</property> <property name="can_focus">True</property> - <property name="has_focus">True</property> - <property name="activates_default">True</property> - </widget> + <property name="receives_default">False</property> + <property name="use_underline">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="padding">10</property> - <property name="position">1</property> + <property name="position">2</property> </packing> </child> - </widget> + </object> <packing> <property name="expand">False</property> - <property name="fill">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="resizable">False</property> + <property name="modal">True</property> + <property name="window_position">center-on-parent</property> + <property name="default_width">320</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 type="titlebar"> + <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"> - <widget class="GtkHButtonBox" id="dialog-action_area6"> + <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> - <widget class="GtkButton" id="goto_cancel"> + <object 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> + </object> <packing> - <property name="expand">False</property> + <property name="expand">True</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> + <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="has_default">True</property> <property name="receives_default">False</property> <property name="use_stock">True</property> - </widget> + </object> <packing> - <property name="expand">False</property> + <property name="expand">True</property> <property name="fill">False</property> <property name="position">1</property> </packing> </child> - </widget> + <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">True</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> - </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"> + <object class="GtkFixed" id="fixed2"> <property name="visible">True</property> + <property name="can_focus">False</property> <child> - <widget class="GtkButton" id="devset_button"> + <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="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> + <signal name="clicked" handler="on_devset_button_clicked" swapped="no"/> + </object> <packing> - <property name="x">233</property> - <property name="y">31</property> + <property name="x">241</property> + <property name="y">34</property> </packing> </child> <child> - <widget class="GtkLabel" id="label232"> + <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> - </widget> + </object> <packing> <property name="x">24</property> <property name="y">10</property> </packing> </child> <child> - <widget class="GtkLabel" id="label233"> + <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> - </widget> + </object> <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"> + <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="tooltip" translatable="yes">Show output as MIX words</property> <property name="use_underline">True</property> <property name="draw_indicator">True</property> - </widget> + </object> <packing> <property name="x">89</property> <property name="y">34</property> </packing> </child> <child> - <widget class="GtkRadioButton" id="decradio"> + <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="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> + <signal name="toggled" handler="on_decradio_toggled" swapped="no"/> + </object> <packing> <property name="x">154</property> <property name="y">34</property> </packing> </child> - </widget> + <child> + <object class="GtkComboBoxText" id="dev_combo"> + <property name="width_request">100</property> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="active">0</property> + <property name="has_entry">True</property> + <items> + <item>tape0</item> + <item>tape1</item> + <item>tape2</item> + <item>tape3</item> + <item>tape4</item> + <item>tape5</item> + <item>tape6</item> + <item>tape7</item> + <item>disk0</item> + <item>disk1</item> + <item>disk2</item> + <item>disk3</item> + <item>disk4</item> + <item>disk5</item> + <item>disk6</item> + <item>disk7</item> + </items> + <signal name="changed" handler="on_dev_combo_changed" swapped="no"/> + <child internal-child="entry"> + <object class="GtkEntry"> + <property name="can_focus">False</property> + <property name="text" translatable="yes">tape0</property> + </object> + </child> + </object> + <packing> + <property name="x">94</property> + <property name="y">3</property> + </packing> + </child> + </object> <packing> + <property name="expand">False</property> <property name="fill">False</property> - <property name="pack_type">end</property> - <property name="position">2</property> + <property name="padding">5</property> + <property name="position">1</property> </packing> </child> - <child internal-child="action_area"> - <widget class="GtkHButtonBox" id="dialog-action_area8"> + </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 type="titlebar"> + <placeholder/> + </child> + <child> + <object class="GtkBox" id="vbox4"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="orientation">vertical</property> + <child> + <object class="GtkToolbar" id="dev_toolbar"> <property name="visible">True</property> - <property name="layout_style">end</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="GtkButton" id="button37"> - <property name="label">gtk-cancel</property> - <property name="response_id">-6</property> + <object class="GtkToolButton" id="devdir_button"> <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> + <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="fill">False</property> - <property name="position">0</property> + <property name="homogeneous">True</property> </packing> </child> <child> - <widget class="GtkButton" id="button38"> - <property name="label">gtk-apply</property> - <property name="response_id">-10</property> + <object class="GtkToolButton" id="output_button"> <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> + <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="fill">False</property> - <property name="position">1</property> + <property name="homogeneous">True</property> </packing> </child> <child> - <widget class="GtkButton" id="button39"> - <property name="label">gtk-ok</property> - <property name="response_id">-5</property> + <object class="GtkSeparatorToolItem" id="separatortoolitem11"> <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> + <property name="can_focus">False</property> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">2</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> - </widget> + <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_button_dev"> + <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-multiple</property> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + </object> <packing> <property name="expand">False</property> - <property name="pack_type">end</property> + <property name="fill">True</property> <property name="position">0</property> </packing> </child> - </widget> + <child> + <object class="GtkBox" id="dev_container"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="orientation">vertical</property> + </object> + <packing> + <property name="expand">True</property> + <property name="fill">True</property> + <property name="position">1</property> + </packing> + </child> + </object> </child> - </widget> - <widget class="GtkDialog" id="external_dialog"> + </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="destroy" handler="gtk_widget_hide"/> - <signal name="destroy_event" handler="gtk_widget_hide"/> - <signal name="delete_event" 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 type="titlebar"> + <placeholder/> + </child> <child internal-child="vbox"> - <widget class="GtkVBox" id="dialog-vbox9"> + <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">True</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">True</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> - <widget class="GtkVBox" id="vbox2"> + <object class="GtkBox" id="vbox2"> <property name="visible">True</property> + <property name="can_focus">False</property> <property name="orientation">vertical</property> <property name="homogeneous">True</property> <child> - <widget class="GtkFixed" id="fixed3"> + <object class="GtkFixed" id="fixed3"> <property name="visible">True</property> + <property name="can_focus">False</property> <property name="border_width">9</property> <child> - <widget class="GtkEntry" id="editor_entry"> + <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="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> + </object> <packing> <property name="x">168</property> <property name="y">24</property> </packing> </child> <child> - <widget class="GtkLabel" id="label234"> + <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> - </widget> + </object> <packing> <property name="x">8</property> </packing> </child> <child> - <widget class="GtkFileChooserButton" id="editor_chooser"> + <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="use_preview_label">False</property> + <property name="can_focus">False</property> <property name="preview_widget_active">False</property> - </widget> + <property name="use_preview_label">False</property> + </object> <packing> <property name="x">8</property> <property name="y">24</property> </packing> </child> - </widget> + </object> <packing> + <property name="expand">True</property> + <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> - <widget class="GtkFixed" id="fixed4"> + <object class="GtkFixed" id="fixed4"> <property name="visible">True</property> + <property name="can_focus">False</property> <property name="border_width">9</property> <child> - <widget class="GtkLabel" id="label235"> + <object 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="can_focus">False</property> <property name="label" translatable="yes">MIX asssembler path</property> <property name="single_line_mode">True</property> - </widget> + <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> - <widget class="GtkFileChooserButton" id="mixasm_chooser"> + <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="use_preview_label">False</property> + <property name="can_focus">False</property> + <property name="create_folders">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> - </widget> + </object> <packing> <property name="x">8</property> <property name="y">32</property> </packing> </child> <child> - <widget class="GtkCheckButton" id="mixasm_mls"> + <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="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> + </object> <packing> <property name="x">176</property> <property name="y">32</property> </packing> </child> - </widget> + </object> <packing> + <property name="expand">True</property> + <property name="fill">True</property> <property name="position">1</property> </packing> </child> - </widget> + </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 type="titlebar"> + <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"> - <widget class="GtkHButtonBox" id="dialog-action_area9"> - <property name="visible">True</property> + <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">Memory cell</property> + <property name="resizable">False</property> + <property name="modal">True</property> + <property name="type_hint">dialog</property> + <child type="titlebar"> + <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> <child> - <widget class="GtkButton" id="button40"> + <object 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> + </object> <packing> - <property name="expand">False</property> - <property name="fill">False</property> + <property name="expand">True</property> + <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> - <widget class="GtkButton" id="button41"> + <object 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> + </object> <packing> - <property name="expand">False</property> - <property name="fill">False</property> + <property name="expand">True</property> + <property name="fill">True</property> <property name="position">1</property> </packing> </child> - </widget> + </object> <packing> <property name="expand">False</property> - <property name="pack_type">end</property> + <property name="fill">False</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"> + <object class="GtkBox"> <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> + <property name="orientation">vertical</property> + <property name="spacing">5</property> + <child> + <object class="GtkLabel"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="label" translatable="yes">Go to address</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">True</property> + <property name="position">0</property> + </packing> + </child> <child> - <widget class="GtkTreeView" id="symbols_view"> + <object class="GtkEntry" id="goto_entry"> <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> + <property name="has_focus">True</property> + <property name="max_length">4</property> + <property name="activates_default">True</property> + <property name="width_chars">6</property> + <property name="max_width_chars">6</property> + <property name="xalign">0.5</property> + <property name="caps_lock_warning">False</property> + <property name="input_purpose">digits</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">1</property> + </packing> </child> - </widget> + </object> <packing> - <property name="position">2</property> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">1</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="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 type="titlebar"> + <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"> - <widget class="GtkHButtonBox" id="dialog-action_area10"> + <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> - <widget class="GtkButton" id="button1"> + <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> - <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> + <property name="use_stock">True</property> + </object> <packing> - <property name="expand">False</property> + <property name="expand">True</property> <property name="fill">False</property> <property name="position">0</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> + <object class="GtkBox" id="vbox7"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="border_width">3</property> + <property name="orientation">vertical</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 type="titlebar"> + <placeholder/> </child> - </widget> - <widget class="GtkWindow" id="mixal_window"> - <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"> + <object class="GtkBox" 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="GtkHandleBox" id="tb_handle"> + <object class="GtkMenuBar" id="mainmenubar"> <property name="visible">True</property> + <property name="can_focus">False</property> <child> - <widget class="GtkToolbar" id="dlg_toolbar"> + <object class="GtkMenuItem" id="file"> <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="button14"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Run</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="button15"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Next</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="button16"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Clear breakpoints</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkToolButton" id="button18"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Symbol table</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> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> + <property name="can_focus">False</property> + <property name="label" translatable="yes">_File</property> + <property name="use_underline">True</property> + <child type="submenu"> + <object class="GtkMenu" id="file_menu"> + <property name="can_focus">False</property> + <child> + <object class="GtkImageMenuItem" id="file_open"> + <property name="label" translatable="yes">_Load</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_file_open_activate" swapped="no"/> + <accelerator key="O" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="edit"> + <property name="label">gtk-edit</property> + <property name="visible">True</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" swapped="no"/> + <accelerator key="E" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="compile"> + <property name="label" translatable="yes">_Compile</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_file_compile_activate" swapped="no"/> + <accelerator key="B" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + <child> + <object class="GtkSeparatorMenuItem" id="separator5"> + <property name="visible">True</property> + <property name="can_focus">False</property> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="file_exit"> + <property name="label">gtk-quit</property> + <property name="visible">True</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_exit_activate" swapped="no"/> + <accelerator key="Q" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + </object> </child> - <child> - <widget class="GtkSeparatorToolItem" id="separatortoolitem7"> - <property name="visible">True</property> - </widget> - <packing> - <property name="expand">False</property> - </packing> + </object> + </child> + <child> + <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 type="submenu"> + <object class="GtkMenu" id="debug_menu"> + <property name="can_focus">False</property> + <child> + <object class="GtkImageMenuItem" id="debug_run"> + <property name="label" translatable="yes">_Run</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_debug_run_activate" swapped="no"/> + <accelerator key="R" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="debug_next"> + <property name="label" translatable="yes">_Next</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_debug_next_activate" swapped="no"/> + <accelerator key="N" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="clear_breakpoints"> + <property name="label" translatable="yes">_Clear breakpoints</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_clear_breakpoints_activate" swapped="no"/> + <accelerator key="C" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="symbols"> + <property name="label" translatable="yes">_Symbols</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_symbols_activate" swapped="no"/> + <accelerator key="Y" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </object> + </child> + </object> </child> - <child> - <widget class="GtkToolButton" id="button22"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Source code 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_mixal_font_activate"/> - </widget> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> + </object> + </child> + <child> + <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 type="submenu"> + <object class="GtkMenu" id="view1_menu"> + <property name="can_focus">False</property> + <child> + <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 type="submenu"> + <object class="GtkMenu" id="toolbars1_menu"> + <property name="can_focus">False</property> + <child> + <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> + </object> + </child> + <child> + <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 type="submenu"> + <object class="GtkMenu" id="toolbars_style_menu"> + <property name="can_focus">False</property> + <child> + <object class="GtkRadioMenuItem" id="tb_style_icons"> + <property name="visible">True</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> + </object> + </child> + <child> + <object class="GtkRadioMenuItem" id="tb_style_labels"> + <property name="visible">True</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> + </object> + </child> + <child> + <object class="GtkRadioMenuItem" id="tb_style_both"> + <property name="visible">True</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> + </object> + </child> + <child> + <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> + </object> + </child> + </object> + </child> + </object> + </child> + </object> + </child> + </object> + </child> + <child> + <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 type="submenu"> + <object class="GtkMenu" id=" detached_windows_menu"> + <property name="can_focus">False</property> + <child> + <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> + </object> + </child> + <child> + <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> + </object> + </child> + <child> + <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> + </object> + </child> + </object> + </child> + </object> + </child> + </object> </child> - <child> - <widget class="GtkSeparatorToolItem" id="separatortoolitem10"> - <property name="visible">True</property> - </widget> - <packing> - <property name="expand">False</property> - </packing> + </object> + </child> + <child> + <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 type="submenu"> + <object class="GtkMenu" id="settings2_menu"> + <property name="can_focus">False</property> + <child> + <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 type="submenu"> + <object class="GtkMenu" id="fonts1_menu"> + <property name="can_focus">False</property> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <object class="GtkSeparatorMenuItem" id="separator4"> + <property name="visible">True</property> + <property name="can_focus">False</property> + </object> + </child> + <child> + <object class="GtkMenuItem" id="all_fonts"> + <property name="visible">True</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" swapped="no"/> + </object> + </child> + </object> + </child> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="device_output1"> + <property name="label" translatable="yes">_Device output</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_devform_activate" swapped="no"/> + </object> + </child> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <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" swapped="no"/> + </object> + </child> + <child> + <object class="GtkSeparatorMenuItem" id="separator3"> + <property name="visible">True</property> + <property name="can_focus">False</property> + </object> + </child> + <child> + <object class="GtkImageMenuItem" id="save"> + <property name="label" translatable="yes">_Save</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_save_activate" swapped="no"/> + </object> + </child> + <child> + <object class="GtkCheckMenuItem" id="save_on_exit"> + <property name="visible">True</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" swapped="no"/> + </object> + </child> + </object> </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> + </object> + </child> + <child> + <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 type="submenu"> + <object class="GtkMenu" id="help_menu"> + <property name="can_focus">False</property> + <child> + <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" swapped="no"/> + </object> + </child> + </object> </child> - </widget> + </object> </child> - </widget> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> + <property name="fill">True</property> <property name="position">0</property> </packing> </child> <child> - <widget class="GtkVBox" id="mixal_container"> + <object class="GtkToolbar" id="main_toolbar"> <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="toolbar_style">icons</property> <child> - <placeholder/> + <object class="GtkToolButton" id="load_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> </child> - </widget> - <packing> - <property name="position">1</property> - </packing> - </child> - <child> - <widget class="GtkStatusbar" id="mixal_statusbar"> - <property name="visible">True</property> - </widget> + <child> + <object class="GtkToolButton" id="compile_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="edit_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkSeparatorToolItem" id="separatortoolitem13"> + <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="run_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="step_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="clear_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="symbols_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkSeparatorToolItem" id="separatortoolitem2"> + <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="button28"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="button30"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="button31"> + <property name="visible">True</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-preferences</property> + <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> + <object class="GtkSeparatorToolItem" id="separatortoolitem8"> + <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="detach_button"> + <property name="visible">True</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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="attach_button"> + <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-revert-to-saved</property> + <signal name="clicked" handler="on_attach_all_clicked" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">2</property> + <property name="fill">True</property> + <property name="position">1</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="GtkPaned" id="main_panel"> <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="orientation">vertical</property> + <property name="position">1</property> <child> - <widget class="GtkToolbar" id="dlg_toolbar"> + <object class="GtkNotebook" id="main_notebook"> <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> + <property name="can_focus">True</property> + <property name="vexpand">True</property> + <property name="scrollable">True</property> + </object> + <packing> + <property name="resize">True</property> + <property name="shrink">False</property> + </packing> + </child> + <child> + <object class="GtkBox" id="prompt_vbox"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="orientation">vertical</property> <child> - <widget class="GtkSeparatorToolItem" id="separatortoolitem12"> + <object class="GtkScrolledWindow" id="mixlog_scrolledwindow"> <property name="visible">True</property> - </widget> + <property name="can_focus">False</property> + <property name="shadow_type">in</property> + <property name="min_content_height">10</property> + <child> + <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> + <property name="monospace">True</property> + </object> + </child> + </object> <packing> - <property name="expand">False</property> + <property name="expand">True</property> + <property name="fill">True</property> + <property name="position">0</property> </packing> </child> <child> - <widget class="GtkToolButton" id="attach_button"> + <object class="GtkEntry" id="command_prompt"> <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> + <property name="can_focus">True</property> + <property name="has_focus">True</property> + <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="homogeneous">True</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">False</property> - <property name="fill">False</property> - <property name="position">0</property> + <property name="expand">True</property> + <property name="fill">True</property> + <property name="position">2</property> </packing> </child> <child> - <widget class="GtkVBox" id="dev_container"> + <object class="GtkStatusbar" id="main_statusbar"> <property name="visible">True</property> - <child> - <placeholder/> - </child> - </widget> + <property name="sensitive">False</property> + <property name="can_focus">False</property> + <property name="valign">end</property> + <property name="baseline_position">bottom</property> + </object> <packing> - <property name="position">1</property> + <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="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"> + </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 type="titlebar"> + <placeholder/> + </child> + <child> + <object class="GtkBox" id="vbox5"> <property name="visible">True</property> + <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> - <widget class="GtkHBox" id="hbox1"> + <object class="GtkToolbar" id="mixal_toolbar"> <property name="visible">True</property> - <property name="border_width">25</property> - <property name="spacing">11</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="GtkLabel" id="label239"> + <object class="GtkToolButton" id="button14"> <property name="visible">True</property> - <property name="label" translatable="yes">Directory</property> - <property name="justify">center</property> - </widget> + <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" swapped="no"/> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">0</property> + <property name="homogeneous">True</property> </packing> </child> <child> - <widget class="GtkEntry" id="devdir_entry"> + <object class="GtkToolButton" id="button15"> <property name="visible">True</property> - <property name="can_focus">True</property> - <property name="editable">False</property> - </widget> + <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" swapped="no"/> + </object> <packing> - <property name="position">1</property> + <property name="expand">False</property> + <property name="homogeneous">True</property> </packing> </child> <child> - <widget class="GtkButton" id="devdir_browse"> - <property name="label">gtk-open</property> + <object class="GtkToolButton" id="button16"> <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> + <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" swapped="no"/> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">2</property> + <property name="homogeneous">True</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> + <object class="GtkToolButton" id="button18"> <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> + <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" swapped="no"/> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">0</property> + <property name="homogeneous">True</property> </packing> </child> <child> - <widget class="GtkButton" id="devdir_ok"> - <property name="label">gtk-ok</property> - <property name="response_id">-5</property> + <object class="GtkSeparatorToolItem" id="separatortoolitem7"> <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> + <property name="can_focus">False</property> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="position">1</property> + <property name="homogeneous">False</property> + </packing> + </child> + <child> + <object class="GtkToolButton" id="button22"> + <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_mixal_font_activate" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> </packing> </child> - </widget> + <child> + <object class="GtkSeparatorToolItem" id="separatortoolitem10"> + <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_button_mixal"> + <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-multiple</property> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> - <property name="pack_type">end</property> + <property name="fill">True</property> <property name="position">0</property> </packing> </child> - </widget> + <child> + <object class="GtkBox" id="mixal_container"> + <property name="visible">True</property> + <property name="can_focus">False</property> + <property name="orientation">vertical</property> + </object> + <packing> + <property name="expand">True</property> + <property name="fill">True</property> + <property name="position">1</property> + </packing> + </child> + <child> + <object class="GtkStatusbar" id="mixal_statusbar"> + <property name="visible">True</property> + <property name="can_focus">False</property> + </object> + <packing> + <property name="expand">False</property> + <property name="fill">False</property> + <property name="position">2</property> + </packing> + </child> + </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 type="titlebar"> + <placeholder/> + </child> <child> - <widget class="GtkVBox" id="vbox8"> + <object class="GtkBox" id="vbox8"> <property name="visible">True</property> + <property name="can_focus">False</property> <property name="orientation">vertical</property> <child> - <widget class="GtkHandleBox" id="tb_handle"> + <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="GtkToolbar" id="dlg_toolbar"> + <object class="GtkToolButton" id="toolbutton2"> <property name="visible">True</property> - <property name="can_default">True</property> - <property name="toolbar_style">icons</property> - <child> - <widget class="GtkToolButton" id="toolbutton2"> - <property name="visible">True</property> - <property name="tooltip" translatable="yes">Change 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_mix_font_activate"/> - </widget> - <packing> - <property name="expand">False</property> - <property name="homogeneous">True</property> - </packing> - </child> - <child> - <widget class="GtkSeparatorToolItem" id="separatortoolitem9"> - <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> + <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" swapped="no"/> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child> + <object class="GtkSeparatorToolItem" id="separatortoolitem9"> + <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_button_mixvm"> + <property name="name">attach_button</property> + <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-multiple</property> + </object> + <packing> + <property name="expand">False</property> + <property name="homogeneous">True</property> + </packing> + </child> + <child internal-child="accessible"> + <object class="AtkObject" id="mixvm_toolbar-atkobject"> + <property name="AtkObject::accessible-role" translatable="yes">menu-bar</property> + </object> </child> - </widget> + </object> <packing> <property name="expand">False</property> - <property name="fill">False</property> + <property name="fill">True</property> <property name="position">0</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="GtkBox" id="mixvm_widget"> <property name="visible">True</property> + <property name="can_focus">False</property> <child> - <widget class="GtkVBox" id="vbox6"> + <object class="GtkBox" 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="GtkBox" 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> <property name="position">0</property> </packing> </child> - <child> - <placeholder/> - </child> - </widget> + </object> <packing> <property name="left_attach">1</property> <property name="right_attach">2</property> @@ -2428,52 +2399,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="GtkBox" 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="GtkBox" 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 +2445,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 +2465,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 +2485,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 +2497,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> + </object> </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> - </child> - </widget> + </object> <packing> <property name="expand">False</property> <property name="fill">False</property> @@ -2569,20 +2522,19 @@ disk7</property> </packing> </child> <child> - <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="GtkBox" 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 +2543,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 +2552,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 +2572,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 +2582,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="GtkBox" 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 +2618,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 +2634,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 +2649,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 +2665,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 +2680,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> - </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> + </object> </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,292 +2714,421 @@ 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> - </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> + </object> </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="icon_name">dictionary</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 type="titlebar"> + <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="GtkBox" 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">True</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> - </widget> + <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> + </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 type="titlebar"> + <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"> + <property name="spacing">2</property> + <child internal-child="action_area"> + <object class="GtkButtonBox"> <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="expand">True</property> <property name="fill">False</property> <property name="position">0</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="expand">True</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="expand">True</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"><b>MIX virtual machine</b> -<small>(GNU MDK)</small></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"><small>Please send bug reports to bug-mdk@gnu.org</small></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"><small>Copyright (C) 2001-2009 -Free Software Foundation, Inc</small></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> + <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> - </widget> + <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_cmd_dispatcher.c b/mixgtk/mixgtk_cmd_dispatcher.c index be58f13..12ed394 100644 --- a/mixgtk/mixgtk_cmd_dispatcher.c +++ b/mixgtk/mixgtk_cmd_dispatcher.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_cmd_dispatcher.c : * Implementation of the functions declared in mixgtk_cmd_dispatcher.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 @@ -411,14 +411,14 @@ on_command_prompt_key_press_event (GtkEntry *w, GdkEventKey *e, gpointer d) #ifdef HAVE_LIBHISTORY HIST_ENTRY *entry = NULL; - if (key == GDK_Up) + if (key == GDK_KEY_Up) { entry = previous_history (); if (entry && entry->line) gtk_entry_set_text (w, entry->line); result = TRUE; } - if (key == GDK_Down) + if (key == GDK_KEY_Down) { entry = next_history (); if (entry && entry->line) @@ -427,7 +427,7 @@ on_command_prompt_key_press_event (GtkEntry *w, GdkEventKey *e, gpointer d) } #endif - if (key == GDK_Tab) + if (key == GDK_KEY_Tab) { complete_command_ (); result = TRUE; diff --git a/mixgtk/mixgtk_device.c b/mixgtk/mixgtk_device.c index 1d28b6e..c1abd0b 100644 --- a/mixgtk/mixgtk_device.c +++ b/mixgtk/mixgtk_device.c @@ -1,7 +1,7 @@ /* -*-c-*- ---------------- mixgtk_device.c : * actual types for mixgtk devices * ------------------------------------------------------------------ - * Copyright (C) 2001, 2002, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002, 2004, 2005, 2006, 2007, 2008, 2019, 2020 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 @@ -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_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); @@ -195,6 +195,7 @@ init_input_widgets_ (void) gtk_entry_completion_set_minimum_key_length (completion, 1); gtk_entry_completion_set_text_column (completion, 0); gtk_entry_set_completion (input_dlg_entry_, completion); + gtk_widget_hide (input_dlg_); } static gboolean @@ -339,7 +340,7 @@ mixgtk_device_construct_gui_ (struct mixgtk_device_t *dev) gtk_tree_view_new_with_model (GTK_TREE_MODEL (bindev->store)); gtk_tree_view_set_headers_visible (GTK_TREE_VIEW (dev->widget), FALSE); - gtk_tree_view_set_rules_hint (GTK_TREE_VIEW (dev->widget), TRUE); + // gtk_tree_view_set_rules_hint (GTK_TREE_VIEW (dev->widget), TRUE); for (k = 0; k < BIN_DEV_COL_; ++k) { @@ -480,11 +481,17 @@ mixgtk_device_set_format (mix_device_type_t dev, gboolean dec) } +static gpointer +combo_child_ () +{ + return gtk_bin_get_child (GTK_BIN (combo_)); +} + static mix_device_type_t get_device_idx_ (void) { int k; - const gchar *name = gtk_entry_get_text (GTK_ENTRY (GTK_BIN (combo_)->child)); + const gchar *name = gtk_entry_get_text (GTK_ENTRY (combo_child_ ())); for (k = 0; k <= LAST_BIN_DEV_; ++k) if (!strcmp (name, DEF_NAMES_[k])) break; return k; @@ -495,16 +502,13 @@ 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_by_name ("decradio"); g_assert (dtoggle_); - wtoggle_ = mixgtk_widget_factory_get_child_by_name - (MIXGTK_DEVFORM_DIALOG, "wordradio"); + wtoggle_ = mixgtk_widget_factory_get_by_name ("wordradio"); g_assert (wtoggle_); - combo_ = mixgtk_widget_factory_get_child_by_name - (MIXGTK_DEVFORM_DIALOG, "dev_combo"); + combo_ = mixgtk_widget_factory_get_by_name ("dev_combo"); g_assert (combo_); - gtk_editable_set_editable (GTK_EDITABLE (GTK_BIN (combo_)->child), FALSE); + gtk_editable_set_editable (GTK_EDITABLE (combo_child_ ()), FALSE); } void @@ -572,9 +576,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_by_name (DEVDIR_ENTRY_NAME)); g_assert (devdir_entry_); } gtk_entry_set_text (devdir_entry_, mix_device_get_dir ()); @@ -591,8 +594,8 @@ on_devdir_browse_clicked () gtk_file_chooser_dialog_new (_("Devices folder"), GTK_WINDOW (devdir_dlg_), GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER, - GTK_STOCK_CANCEL, GTK_RESPONSE_CANCEL, - GTK_STOCK_OPEN, GTK_RESPONSE_ACCEPT, + "_Cancel", GTK_RESPONSE_CANCEL, + "_Open", GTK_RESPONSE_ACCEPT, NULL); if (current != NULL) diff --git a/mixgtk/mixgtk_external.c b/mixgtk/mixgtk_external.c index 534542f..bf04c2b 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, 2020 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_by_name (ext_wdg_names_[k]); g_assert (ext_wdg_[k]); } diff --git a/mixgtk/mixgtk_fontsel.c b/mixgtk/mixgtk_fontsel.c index f1674ef..0f3012a 100644 --- a/mixgtk/mixgtk_fontsel.c +++ b/mixgtk/mixgtk_fontsel.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_fontsel.c : * Implementation of the functions declared in mixgtk_fontsel.h * ------------------------------------------------------------------ - * Copyright (C) 2001, 2004, 2006, 2007, 2008 Free Software Foundation, Inc. + * Copyright (C) 2001, 2004, 2006, 2007, 2008, 2019, 2020 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 @@ -28,7 +28,8 @@ #include "mixgtk_device.h" #include "mixgtk_fontsel.h" -static GtkFontSelectionDialog *fontsel_dialog_ = NULL; +static GtkFontChooserDialog *fontsel_dialog_ = NULL; +#define FONTSEL_ GTK_FONT_CHOOSER (fontsel_dialog_) static const gchar *keys_[MIX_FONT_NO] = { "MIX.font", "Prompt.font", "Log.font", "MIXAL.font", "Devices.font", @@ -42,7 +43,7 @@ static void init_fontsel_ (void) { fontsel_dialog_ = - GTK_FONT_SELECTION_DIALOG + GTK_FONT_CHOOSER_DIALOG (mixgtk_widget_factory_get_dialog (MIXGTK_FONTSEL_DIALOG)); g_assert (fontsel_dialog_ != NULL); } @@ -67,8 +68,7 @@ mixgtk_fontsel_set_font (mixgtk_font_t f, GtkWidget *w) if (font_desc) { - gtk_widget_modify_font (w, font_desc); - gtk_widget_queue_draw (w); + gtk_widget_override_font (w, font_desc); pango_font_description_free (font_desc); } else @@ -87,8 +87,7 @@ mixgtk_fontsel_query_font (mixgtk_font_t f, GtkWidget **w, size_t no) if (!fontsel_dialog_) init_fontsel_ (); current = mixgtk_config_get (keys_[f]); - gtk_font_selection_dialog_set_font_name (fontsel_dialog_, - current? current : default_font_); + gtk_font_chooser_set_font (FONTSEL_, current? current : default_font_); while (result == GTK_RESPONSE_APPLY) { @@ -98,7 +97,7 @@ mixgtk_fontsel_query_font (mixgtk_font_t f, GtkWidget **w, size_t no) gint k; mixgtk_config_update (keys_[f], - gtk_font_selection_dialog_get_font_name (fontsel_dialog_)); + gtk_font_chooser_get_font (FONTSEL_)); for (k = 0; k < no; ++k) mixgtk_fontsel_set_font (f, w[k]); ret = TRUE; @@ -117,8 +116,7 @@ on_all_fonts_activate (void) if (!fontsel_dialog_) init_fontsel_ (); current = mixgtk_config_get (keys_[MIX_FONT_DEFAULT]); - gtk_font_selection_dialog_set_font_name (fontsel_dialog_, - current? current : default_font_); + gtk_font_chooser_set_font (FONTSEL_, current? current : default_font_); while (result == GTK_RESPONSE_APPLY) { @@ -126,7 +124,7 @@ on_all_fonts_activate (void) if (result != GTK_RESPONSE_CANCEL) { gint k; - current = gtk_font_selection_dialog_get_font_name (fontsel_dialog_); + current = gtk_font_chooser_get_font (FONTSEL_); for (k = 0; k < MIX_FONT_NO; ++k) mixgtk_config_update (keys_[k], current); diff --git a/mixgtk/mixgtk_gen_handlers.c b/mixgtk/mixgtk_gen_handlers.c index 4124b9c..64fb06f 100644 --- a/mixgtk/mixgtk_gen_handlers.c +++ b/mixgtk/mixgtk_gen_handlers.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_gen_handlers.c : * Implementation of the functions declared in mixgtk_gen_handlers.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 @@ -40,8 +40,8 @@ get_chooser_ (const gchar *title, gboolean src) (gtk_file_chooser_dialog_new ("gmixvm", NULL, GTK_FILE_CHOOSER_ACTION_OPEN, - GTK_STOCK_CANCEL, GTK_RESPONSE_CANCEL, - GTK_STOCK_OPEN, GTK_RESPONSE_ACCEPT, + "_Cancel", GTK_RESPONSE_CANCEL, + "_Open", GTK_RESPONSE_ACCEPT, NULL)); src_filter = gtk_file_filter_new (); gtk_file_filter_add_pattern (src_filter, "*.mixal"); @@ -185,7 +185,8 @@ on_clear_breakpoints_activate (GtkWidget *w, gpointer data) void on_save_on_exit_toggle (GtkWidget *w, gpointer data) { - mixgtk_config_set_autosave (GTK_CHECK_MENU_ITEM (w)->active); + gboolean active = gtk_check_menu_item_get_active (GTK_CHECK_MENU_ITEM (w)); + mixgtk_config_set_autosave (active); } void @@ -193,5 +194,3 @@ on_save_activate (GtkWidget *w, gpointer data) { mixgtk_config_save (); } - - diff --git a/mixgtk/mixgtk_input.c b/mixgtk/mixgtk_input.c index e49810d..944392a 100644 --- a/mixgtk/mixgtk_input.c +++ b/mixgtk/mixgtk_input.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_input.c : * Implementation of the functions declared in mixgtk_input.h * ------------------------------------------------------------------ - * Copyright (C) 2001, 2002, 2004, 2006, 2007 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002, 2004, 2006, 2007, 2019, 2020 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 @@ -136,14 +136,14 @@ on_word_sign_changed (GtkEditable *sign, gpointer *data) mix_word_t w = mix_word_new (atoi (gtk_entry_get_text (GTK_ENTRY (childs_[DEC_])))); - g_signal_handlers_block_by_func (GTK_OBJECT (sign), + g_signal_handlers_block_by_func (sign, on_word_sign_changed, data); if (txt[0] != '+' && txt[0] != '-') txt[0] = '+'; gtk_editable_delete_text (sign, 0, 1); gtk_editable_insert_text (sign, txt, 1, &pos); - g_signal_handlers_unblock_by_func (GTK_OBJECT (sign), + g_signal_handlers_unblock_by_func (sign, on_word_sign_changed, data); set_word_ (txt[0] == '-' ? mix_word_negative (w) : w); } @@ -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_by_name (WGT_NAMES_[k]); g_assert (childs_[k] != NULL); } } @@ -202,13 +201,10 @@ set_word_ (mix_word_t word) g_snprintf (BUFFER, SIZE, "%s%d", neg ? "-" : "", val); - g_signal_handlers_block_by_func (GTK_OBJECT (childs_[DEC_]), - on_word_dec_changed, NULL); - g_signal_handlers_block_by_func (GTK_OBJECT (childs_[SIGN_]), - on_word_sign_changed, NULL); + g_signal_handlers_block_by_func (childs_[DEC_], on_word_dec_changed, NULL); + g_signal_handlers_block_by_func (childs_[SIGN_], on_word_sign_changed, NULL); for (k = B1_; k <= B5_; ++k) - g_signal_handlers_block_by_func (GTK_OBJECT (childs_[k]), - on_word_byte_changed, NULL); + g_signal_handlers_block_by_func (childs_[k], on_word_byte_changed, NULL); gtk_entry_set_text (GTK_ENTRY (childs_[DEC_]), BUFFER); gtk_entry_set_text (GTK_ENTRY (childs_[SIGN_]), neg ? "-" : "+"); @@ -221,11 +217,7 @@ set_word_ (mix_word_t word) } for (k = B1_; k <= B5_; ++k) - g_signal_handlers_unblock_by_func (GTK_OBJECT (childs_[k]), - on_word_byte_changed, NULL); - g_signal_handlers_unblock_by_func (GTK_OBJECT (childs_[DEC_]), - on_word_dec_changed, NULL); - g_signal_handlers_unblock_by_func (GTK_OBJECT (childs_[SIGN_]), - on_word_sign_changed, NULL); + g_signal_handlers_unblock_by_func (childs_[k], on_word_byte_changed, NULL); + g_signal_handlers_unblock_by_func (childs_[DEC_], on_word_dec_changed, NULL); + g_signal_handlers_unblock_by_func (childs_[SIGN_], on_word_sign_changed, NULL); } - diff --git a/mixgtk/mixgtk_mixal.c b/mixgtk/mixgtk_mixal.c index 5470eb8..cb09b70 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, 2020 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 @@ -42,8 +42,8 @@ static GtkTreeView *symbols_view_ = NULL; static GtkListStore *symbols_store_ = NULL; static const gchar *SYMBOLS_VIEW_NAME_ = "symbols_view"; -static const gchar *bp_stock_id_ = NULL; -static const gchar *pc_stock_id_ = NULL; +static const gchar *bp_stock_id_ = "gtk-stop"; +static const gchar *pc_stock_id_ = "gtk-go-forward"; static const guint bp_stock_size_ = GTK_ICON_SIZE_MENU; enum { @@ -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_by_name (SYMBOLS_VIEW_NAME_)); g_assert (symbols_view_); mixgtk_fontsel_set_font (MIX_FONT_SYMBOLS, GTK_WIDGET (symbols_view_)); @@ -148,7 +147,6 @@ fill_symbols_ (const mix_symbol_table_t *table) static void init_clist_ (void) { - GtkStockItem item; GtkCellRenderer *renderer = gtk_cell_renderer_text_new (); GtkCellRenderer *bprenderer = gtk_cell_renderer_pixbuf_new (); @@ -166,7 +164,7 @@ init_clist_ (void) gtk_tree_view_set_model (clist_, GTK_TREE_MODEL (clist_store_)); g_object_unref (G_OBJECT (clist_store_)); - gtk_tree_view_set_rules_hint (clist_, TRUE); + // gtk_tree_view_set_rules_hint (clist_, TRUE); gtk_tree_view_append_column (clist_, @@ -190,16 +188,6 @@ init_clist_ (void) "text", CLIST_CODE_COL, NULL)); - if (gtk_stock_lookup (GTK_STOCK_STOP, &item)) - { - bp_stock_id_ = item.stock_id; - } - - if (gtk_stock_lookup (GTK_STOCK_GO_FORWARD, &item)) - { - pc_stock_id_ = item.stock_id; - } - symbols_dlg_ = NULL; symbols_view_ = NULL; diff --git a/mixgtk/mixgtk_mixvm.c b/mixgtk/mixgtk_mixvm.c index 268bc25..777c6f3 100644 --- a/mixgtk/mixgtk_mixvm.c +++ b/mixgtk/mixgtk_mixvm.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_mixvm.c : * Implementation of the functions declared in mixgtk_mixvm.h * ------------------------------------------------------------------ - * Copyright (C) 2001, 2002, 2004, 2006, 2007, 2008 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002, 2004, 2006, 2007, 2008, 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 @@ -258,31 +258,37 @@ mixgtk_mixvm_update_vm_widgets (void) /* update cmp flag */ +static gboolean +button_active_ (GtkWidget *widget) +{ + return gtk_toggle_button_get_active (GTK_TOGGLE_BUTTON (widget)); +} + void on_cmp_e_toggled (GtkWidget *widget, gpointer data) { - if (GTK_TOGGLE_BUTTON (widget)->active) + if (button_active_ (widget)) mix_vm_set_cmpflag (vm_, mix_EQ); } void on_cmp_l_toggled (GtkWidget *widget, gpointer data) { - if (GTK_TOGGLE_BUTTON (widget)->active) + if (button_active_ (widget)) mix_vm_set_cmpflag (vm_, mix_LESS); } void on_cmp_g_toggled (GtkWidget *widget, gpointer data) { - if (GTK_TOGGLE_BUTTON (widget)->active) + if (button_active_ (widget)) mix_vm_set_cmpflag (vm_, mix_GREAT); } void on_overflow_toggled (GtkWidget *widget, gpointer data) { - mix_vm_set_overflow (vm_, GTK_TOGGLE_BUTTON (widget)->active); + mix_vm_set_overflow (vm_, button_active_ (widget)); } void @@ -532,4 +538,3 @@ init_mem_ (void) return TRUE; } - diff --git a/mixgtk/mixgtk_widgets.c b/mixgtk/mixgtk_widgets.c index 2bfff34..a5bd5e5 100644 --- a/mixgtk/mixgtk_widgets.c +++ b/mixgtk/mixgtk_widgets.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_widgets.c : * Implementation of the functions declared in mixgtk_widgets.h * ------------------------------------------------------------------ - * Copyright (C) 2001, 2004, 2006, 2007, 2014 Free Software Foundation, Inc. + * Copyright (C) 2001, 2004, 2006, 2007, 2014, 2019, 2020 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 @@ -21,7 +21,6 @@ #include <unistd.h> -#include <glade/glade.h> #include <mixlib/mix.h> #include "mixgtk_config.h" #include "mixgtk_widgets.h" @@ -84,18 +83,11 @@ static const gchar *names_[] = { #define WIDGET_NO_ (sizeof (names_) / sizeof (names_[0])) /* the glade specs */ -static GladeXML *xml_[DLG_NO_] = {NULL}; +static GtkBuilder *builder_ = NULL; /* the xml file name */ static const gchar *file_ = NULL; -static void init_xml_ (mixgtk_dialog_id_t dlg) -{ - xml_[dlg] = glade_xml_new (file_, dnames_[dlg], NULL); - glade_xml_signal_autoconnect (xml_[dlg]); - g_assert (xml_[dlg] != NULL); -} - /* create a new factory from an xml glade file */ gboolean mixgtk_widget_factory_init (void) @@ -103,20 +95,16 @@ mixgtk_widget_factory_init (void) if (!file_) { const gchar *glade_file = GLADE_FILE; - glade_init (); if (access (glade_file, R_OK)) { if (access (LOCAL_GLADE_FILE, R_OK)) return FALSE; glade_file = LOCAL_GLADE_FILE; } file_ = g_strdup (glade_file); - } - else - { - gint k; - for (k = 0; k < DLG_NO_; ++k) if (xml_[k]) xml_[k] = NULL; + builder_ = gtk_builder_new_from_file (file_); + g_assert (builder_); + gtk_builder_connect_signals (builder_, NULL); } - init_xml_ (MIXGTK_MAIN); return TRUE; } @@ -126,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_by_name (names_[widget]); } @@ -134,17 +122,14 @@ GtkWidget * mixgtk_widget_factory_get_dialog (mixgtk_dialog_id_t dlg) { g_assert (dlg < DLG_NO_); - - if (!xml_[dlg]) init_xml_ (dlg); - return glade_xml_get_widget (xml_[dlg], dnames_[dlg]); + return GTK_WIDGET (gtk_builder_get_object (builder_, dnames_[dlg])); } GtkWidget * -mixgtk_widget_factory_get_child_by_name (mixgtk_dialog_id_t dlg, - const gchar *name) +mixgtk_widget_factory_get_by_name (const gchar *name) { - g_assert (dlg < DLG_NO_); g_assert (name != NULL); - if (!xml_[dlg]) init_xml_ (dlg); - return glade_xml_get_widget (xml_[dlg], name); + 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..9263583 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, 2020 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_by_name (const gchar *name); #endif /* MIXGTK_WIDGETS_H */ - diff --git a/mixgtk/mixgtk_wm.c b/mixgtk/mixgtk_wm.c index 93f64ca..b442eb9 100644 --- a/mixgtk/mixgtk_wm.c +++ b/mixgtk/mixgtk_wm.c @@ -1,7 +1,7 @@ /* -*-c-*- -------------- mixgtk_wm.c : * Implementation of the functions declared in mixgtk_wm.h * ------------------------------------------------------------------ - * Copyright (C) 2001, 2002, 2004, 2006, 2007, 2008 Free Software Foundation, Inc. + * Copyright (C) 2001, 2002, 2004, 2006, 2007, 2008, 2019, 2020 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 @@ -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 *attach_button; gboolean detached; void (*detach) (void); void (*attach) (void); @@ -82,17 +84,21 @@ static void mixal_attach_ (void); static void mixal_detach_ (void); static void dev_attach_ (void); static void dev_detach_ (void); +static void reparent_ (GtkWidget *widget, GtkWidget *parent); static void update_attach_buttons_ (void); static void on_tb_style_ (GtkMenuItem *w, gpointer style); 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", "attach_button_mixvm", 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", "attach_button_mixal", 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", "attach_button_dev", FALSE, dev_detach_, dev_attach_} }; @@ -197,10 +203,10 @@ on_attach_toggled (GtkCheckMenuItem *item) for (k = 0; k < INF_NO_; ++k) if (item == infos_[k].menu) break; g_return_if_fail (k < INF_NO_); - if (item->active) mixgtk_wm_detach_window (k); + gboolean active = gtk_check_menu_item_get_active (item); + if (active) mixgtk_wm_detach_window (k); else mixgtk_wm_attach_window (k); - mixgtk_config_update (infos_[k].config_key, - (item->active)? DETACH_YES_ : DETACH_NO_); + mixgtk_config_update (infos_[k].config_key, active? DETACH_YES_ : DETACH_NO_); } void @@ -216,8 +222,8 @@ on_window_hide (GtkWidget *w) void on_show_toolbars_toggled (GtkCheckMenuItem *item) { - if (item->active != mixgtk_config_show_toolbars ()) - show_toolbars_ (item->active); + gboolean active = gtk_check_menu_item_get_active (item); + if (active != mixgtk_config_show_toolbars ()) show_toolbars_ (active); } void @@ -252,8 +258,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_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_); @@ -309,8 +314,7 @@ init_signals_ (void) G_OBJECT (mixgtk_widget_factory_get_dialog (infos_[k].dialog)); GObject *button = - G_OBJECT (mixgtk_widget_factory_get (infos_[k].dialog, - MIXGTK_WIDGET_ATTACH_BUTTON)); + G_OBJECT (mixgtk_widget_factory_get_by_name (infos_[k].attach_button)); g_assert (dialog != NULL); g_assert (button != NULL); @@ -426,7 +430,7 @@ init_dev_ (void) GTK_POLICY_AUTOMATIC, GTK_POLICY_AUTOMATIC); - gtk_scrolled_window_add_with_viewport (GTK_SCROLLED_WINDOW (page), devs); + gtk_container_add (GTK_CONTAINER (page), devs); infos_[MIXGTK_DEVICES_WINDOW].widget = page; @@ -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_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_by_name (names[k]); g_signal_connect (G_OBJECT (item), "activate", G_CALLBACK (on_tb_style_), GUINT_TO_POINTER (k)); @@ -493,22 +495,21 @@ on_tb_style_ (GtkMenuItem *w, gpointer style) mixgtk_config_set_tb_style (ui_style); } +static const gchar *TB_NAME = "main_toolbar"; + 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_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_by_name (infos_[k].toolbar_name)); gtk_toolbar_set_style (tb, style); } } @@ -516,12 +517,9 @@ set_tb_style_ (guint style) static void show_toolbars_ (gboolean show) { - static const gchar *HANDLE_NAME = "tb_handle"; - gint k; - GtkWidget *handle = - mixgtk_widget_factory_get_child_by_name (MIXGTK_MAIN, HANDLE_NAME); + GtkWidget *handle = mixgtk_widget_factory_get_by_name (TB_NAME); if (show) gtk_widget_show (handle); @@ -531,7 +529,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_by_name (infos_[k].toolbar_name); if (show) gtk_widget_show (hd); else gtk_widget_hide (hd); } @@ -544,7 +542,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_by_name (AUTOSAVE_ITEM_)); if (item) { gtk_check_menu_item_set_active (item, mixgtk_config_is_autosave ()); @@ -559,8 +557,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_by_name (VERSION_LABEL_); g_assert (label != NULL); gtk_label_set_text (GTK_LABEL (label), VERSION); gtk_widget_show (label); @@ -574,10 +571,16 @@ mixvm_attach_ (void) } static void +reparent_ (GtkWidget *widget, GtkWidget *parent) +{ + gtk_container_remove (GTK_CONTAINER (gtk_widget_get_parent (widget)), widget); + gtk_container_add (GTK_CONTAINER (parent), widget); +} + +static void mixvm_detach_ (void) { - gtk_widget_reparent (infos_[MIXGTK_MIXVM_WINDOW].widget, - GTK_WIDGET (mixvm_container_)); + reparent_ (infos_[MIXGTK_MIXVM_WINDOW].widget, GTK_WIDGET (mixvm_container_)); } static void @@ -616,8 +619,7 @@ mixal_detach_ (void) } mixgtk_mixal_reparent (stat); - gtk_widget_reparent (infos_[MIXGTK_MIXAL_WINDOW].widget, - GTK_WIDGET (mixal_container_)); + reparent_ (infos_[MIXGTK_MIXAL_WINDOW].widget, GTK_WIDGET (mixal_container_)); } static void @@ -630,10 +632,10 @@ dev_attach_ (void) static void dev_detach_ (void) { - gtk_widget_reparent (infos_[MIXGTK_DEVICES_WINDOW].widget, - GTK_WIDGET (dev_container_)); + reparent_ (infos_[MIXGTK_DEVICES_WINDOW].widget, GTK_WIDGET (dev_container_)); } + static void on_nb_switch_ (GtkNotebook *notebook, GtkWidget *page, guint page_num, gpointer user_data) @@ -664,6 +666,3 @@ update_attach_buttons_ (void) gtk_tool_item_set_visible_horizontal (detach_button_, wants_detach); gtk_tool_item_set_visible_vertical (detach_button_, wants_detach); } - - - |