From 0e432d00a2ef323edf48960fbce2c087ee2023c6 Mon Sep 17 00:00:00 2001 From: Jose Antonio Ortega Ruiz Date: Wed, 30 Jun 2004 14:07:51 +0000 Subject: detachable windows in gtk+2 --- mixgtk/mixgtk.glade | 5433 +++++++++++++++++++++------------------------------ 1 file changed, 2270 insertions(+), 3163 deletions(-) (limited to 'mixgtk/mixgtk.glade') diff --git a/mixgtk/mixgtk.glade b/mixgtk/mixgtk.glade index a73dfc6..a7ef1b4 100644 --- a/mixgtk/mixgtk.glade +++ b/mixgtk/mixgtk.glade @@ -17,7 +17,6 @@ False GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST - @@ -49,7 +48,7 @@ - + True gtk-open 1 @@ -72,7 +71,7 @@ - + True gtk-justify-fill 1 @@ -95,7 +94,7 @@ - + True gtk-execute 1 @@ -124,7 +123,7 @@ - + True gtk-quit 1 @@ -141,45 +140,6 @@ - - - True - Vie_w - True - - - - - - - True - _Toolbar - True - False - - - - - - - - True - - - - - - True - Split _windows - True - - - - - - - - True @@ -199,7 +159,7 @@ - + True gtk-go-forward 1 @@ -222,7 +182,7 @@ - + True gtk-goto-last 1 @@ -245,7 +205,7 @@ - + True gtk-clear 1 @@ -268,7 +228,7 @@ - + True gtk-index 1 @@ -301,7 +261,7 @@ True - + True gtk-select-font 1 @@ -373,7 +333,7 @@ - + True gtk-zoom-100 1 @@ -394,7 +354,7 @@ - + True gtk-home 1 @@ -415,7 +375,7 @@ - + True gtk-preferences 1 @@ -428,6 +388,67 @@ + + + True + Detached _windows + True + + + + True + gtk-dnd-multiple + 1 + 0.5 + 0.5 + 0 + 0 + + + + + + + + + True + _Virtual machine + True + False + + + + + + True + _Source + True + False + + + + + + True + _Devices + True + False + + + + + + + + + + True + Show toolbars + True + False + + + True @@ -443,7 +464,7 @@ - + True gtk-save 1 @@ -512,6 +533,8 @@ True Load MIX program + Open + True gtk-open True True @@ -528,6 +551,8 @@ True Compile MIXAL source + Compile + True gtk-execute True True @@ -698,7 +723,7 @@ - + True True True @@ -711,16 +736,16 @@ - + True - Split windows - + Detach window + Detach True - splitw.xpm + gtk-dnd-multiple True True - True - + False + False @@ -736,1697 +761,201 @@ - + True - False - 0 + True + 0 - 2 True True True True GTK_POS_TOP False - True - + False + + + + + + + + + + + False + False + + + + + + True + False + 0 - + True - False - 0 + GTK_POLICY_AUTOMATIC + GTK_POLICY_ALWAYS + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT - - 1 + True - False - 1 - - - - 2 - True - 0 - 0.5 - GTK_SHADOW_ETCHED_IN + False + False + True + GTK_JUSTIFY_LEFT + GTK_WRAP_WORD + False + 0 + 0 + 0 + 0 + 0 + 0 + + + + + + 0 + True + True + + - - - 8 - True - 3 - 6 - False - 6 - 11 + + + True + Enter MIXVM command here + True + True + True + True + 0 + + True + * + False + + + + + 0 + False + False + + + + + True + True + + + + + 0 + True + True + + - - - 0 - 0 - True - A - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - 1 - 0 - 1 - fill - - - + + + True + True + + + 0 + False + False + + + + + - - - 0 - 0 - True - I1 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 2 - 3 - 0 - 1 - fill - - - + + Enter value + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + True + False + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + True + + + - - - 0 - 0 - True - I2 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 2 - 3 - 1 - 2 - fill - - - + + + True + False + 0 - - - 0 - 0 - True - False - True - 0 - - True - * - False - 19 - - - - 1 - 2 - 0 - 1 - - - - + + + True + GTK_BUTTONBOX_END - - - 0 - 0 - True - True - False - True - 0 - - True - * - False - 9 - - - - 3 - 4 - 1 - 2 - - - - + + + True + GTK_BUTTONBOX_DEFAULT_STYLE + 10 - - - 0 - 0 - True - True - False - True - 0 - + 00 00 - True - * - False - 9 - - - - 3 - 4 - 0 - 1 - - - - + + + True + True + True + gtk-clear + True + GTK_RELIEF_NORMAL + True + + + - - - 0 - 0 - True - X - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - 1 - 1 - 2 - fill - - - - - - - 16 - 16 - True - I3 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 2 - 3 - 2 - 3 - fill - - - - - - - 0 - 0 - True - I4 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 4 - 5 - 0 - 1 - fill - - - - - - - 16 - 16 - True - I5 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 4 - 5 - 1 - 2 - fill - - - - - - - 16 - 16 - True - I6 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 4 - 5 - 2 - 3 - fill - - - - - - - 0 - 0 - True - J - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - 1 - 2 - 3 - fill - - - - - - - 0 - 0 - True - True - False - True - 0 - + 00 00 00 00 00 - True - * - False - 19 - - - - 1 - 2 - 1 - 2 - - - - - - - - 0 - 0 - True - True - False - True - 0 - - True - * - False - 9 - - - - 5 - 6 - 0 - 1 - - - - - - - - 0 - 0 - True - True - False - True - 0 - - True - * - False - 9 - - - - 5 - 6 - 1 - 2 - - - - - - - - 0 - 0 - True - True - False - True - 0 - - True - * - False - 9 - - - - 5 - 6 - 2 - 3 - - - - - - - - 0 - 0 - True - True - False - True - 0 - - True - * - False - 9 - - - - 3 - 4 - 2 - 3 - - - - - - - - True - False - 0 - - - - 0 - 0 - True - True - False - True - 0 - - True - * - False - 9 - - - - 0 - False - False - - - - - - - - - 1 - 2 - 2 - 3 - fill - fill - - - - - - - - True - Registers - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 2 - 0 - - - label_item - - - - - 5 - False - True - - - - - - True - False - 0 - - - - 2 - True - 0 - 0.5 - GTK_SHADOW_ETCHED_IN - - - - 1 - True - False - 5 - - - - 2 - 0 - 0 - True - Greater - True - G - True - GTK_RELIEF_NORMAL - True - False - False - True - - - - 0 - False - False - - - - - - 2 - 0 - 0 - True - Equal - True - E - True - GTK_RELIEF_NORMAL - True - False - False - True - greater_radio - - - - 0 - False - False - - - - - - 2 - 0 - 0 - True - Lesser - True - L - True - GTK_RELIEF_NORMAL - True - False - False - True - greater_radio - - - - 0 - False - False - - - - - - 7 - True - - - 0 - False - False - - - - - - True - True - Overflow - True - GTK_RELIEF_NORMAL - True - False - False - True - - - - 0 - False - False - - - - - - - - True - Flags - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 2 - 0 - - - label_item - - - - - 0 - False - False - - - - - - - - - - 2 - True - 0 - 0.5 - GTK_SHADOW_ETCHED_IN - - - - 4 - True - False - 1 - - - - 0 - 0 - True - True - False - True - 4 - 0 - True - * - False - 6 - - - 5 - False - False - - - - - - True - View loc address - True - GTK_RELIEF_NORMAL - True - - - - - True - gtk-jump-to - 4 - 0.5 - 0.5 - 0 - 0 - - - - - 1 - False - False - - - - - - - - True - Location - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 2 - 0 - - - label_item - - - - - 0 - False - False - GTK_PACK_END - - - - - 5 - False - True - - - - - - 2 - True - 0 - 0.5 - GTK_SHADOW_ETCHED_IN - - - - 5 - True - True - 5 - - - - 0 - 0 - True - Uptime: - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - False - False - - - - - - 0 - 0 - True - 00000000 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 5 - 0 - - - 0 - False - False - - - - - - 0 - 0 - True - Elapsed: - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 3 - False - False - - - - - - 0 - 0 - True - 000000 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 5 - 0 - - - 0 - False - False - - - - - - 0 - 0 - True - Program: - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 2 - False - False - - - - - - 0 - 0 - True - 000000 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 5 - 0 - - - 0 - False - False - - - - - - - - True - Times - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 2 - 0 - - - label_item - - - - - 5 - False - True - - - - - 2 - False - False - - - - - - 7 - True - 0 - 0.5 - GTK_SHADOW_ETCHED_IN - - - - 5 - True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - True - True - GDK_BUTTON_PRESS_MASK - True - True - False - True - - - - - - - - True - Memory - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 2 - 0 - - - label_item - - - - - 3 - True - True - GTK_PACK_END - - - - - False - True - - - - - - True - _Virtual machine - True - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 2 - 0 - - - tab - - - - - - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - True - Click to toggle breakpoint - True - GDK_POINTER_MOTION_MASK - True - True - False - True - - - - - False - True - - - - - - True - _Source - True - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - tab - - - - - - True - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT - - - - True - GTK_SHADOW_IN - - - - - - - - - False - True - - - - - - True - _Devices - True - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - tab - - - - - 2 - False - True - - - - - - 2 - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT - - - - True - GTK_SHADOW_IN - - - - True - False - 0 - - - - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_ALWAYS - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT - - - - True - False - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_WORD - False - 0 - 0 - 0 - 0 - 0 - 0 - - - - - - 0 - True - True - - - - - - True - Enter MIXVM command here - True - True - True - True - 0 - - True - * - False - - - - - 0 - False - False - - - - - - - - - 0 - True - True - - - - - 0 - True - True - - - - - - True - True - - - 0 - False - False - - - - - - - - gmixvm - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 570 - 235 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - - - 2 - True - False - 2 - - - - True - - - - True - _File - True - - - - True - - - - True - Load a MIX file - _Load... - True - - - - - - - - True - Edit a MIXAL source file - _Edit... - True - - - - - - - - True - Compile a MIXAL source file - _Compile... - True - - - - - - - - True - - - - - - True - Exit application - E_xit - True - - - - - - - - - - - - True - _View - True - - - - True - - - - True - _MIX - True - False - - - - - - - True - MI_XAL - True - False - - - - - - - True - _Devices - True - False - - - - - - - True - _Toolbars - True - False - - - - - - - True - - - - - - True - One _window - True - - - - - - - - - - - True - D_ebug - True - - - - True - - - - True - Run program - _Run - True - - - - - - - - True - Execute next instruction - _Next - True - - - - - - - - True - Clear all set breakpoints - _Clear breakpoints - True - - - - - - - - True - Show the symbol table - _Symbols... - True - - - - - - - - - - - - True - _Settings - True - - - - True - - - - True - Change colors of MIXAL - _Colors... - True - - - - - - - True - Change _font - True - - - - True - - - - True - _MIX - True - - - - - - - True - MI_XAL - True - - - - - - - True - Command _prompt - True - - - - - - - True - Command l_og - True - - - - - - - True - De_vices - True - - - - - - - - - - - True - Change format of binary devices output - _Device output... - True - - - - - - - True - De_vices dir... - True - - - - - - - True - E_xternal programs... - True - - - - - - - True - - - - - - True - Save current settings - _Save - True - - - - - - - True - Toogle save settings on exit - Save on _exit - True - True - - - - - - - - - - - True - _Help - True + + + True + True + True + gtk-ok + True + GTK_RELIEF_NORMAL + True + + + - + True - - - - True - _About... - True - - - + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + - - 0 - False - True - - - - - - True - True - 0 False @@ -2436,354 +965,350 @@ - + + 5 True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_ICONS - True - True - - - - True - Load MIX program - Load - True - gtk-open - True - True - False - - - - False - True - - - - - - True - Compile MIXAL source - Build - True - gtk-execute - True - True - False - - - - False - True - - - - - - True - Edit MIXAL source - Edit - True - gtk-justify-fill - True - True - False - - - - False - True - - - - - - True - True - True - False - - - - True - - - - - False - False - - - - - - True - True - True - True - - - False - False - - - + + 0 + 0 True - Run - Run - True - gtk-go-forward - True - True - False - + True + True + GDK_KEY_PRESS_MASK + True + True + 0 + 0 + True + * + False + 28 + - False - True + 88 + 64 - + + 0 + 0 True - Next - Step - True - gtk-goto-last - True - True - False - + True + GDK_KEY_PRESS_MASK + True + True + 2 + 0 + True + * + False + 3 + - False - True + 144 + 32 - + + 0 + 0 True - Clear breakpoints - Clear - True - gtk-clear - True - True - False - + True + GDK_BUTTON_PRESS_MASK + True + True + 2 + 0 + True + * + False + 3 + - False - True + 176 + 32 - + + 0 + 0 True - Symbol table - Symbols - True - gtk-index - True - True - False - + True + GDK_KEY_PRESS_MASK + True + True + 2 + 0 + True + * + False + 3 + - False - True + 208 + 32 - + + 0 + 0 True - True - True - True + True + GDK_KEY_PRESS_MASK + True + True + 2 + 0 + True + * + False + 3 + - False - False + 238 + 32 - + + 0 + 0 True - Command log font - Font - True - gtk-select-color - True - True - False - + True + GDK_KEY_PRESS_MASK + True + True + 2 + 0 + True + * + False + 3 + - False - True + 112 + 32 - + + 0 + 0 True - Command prompt font - Font - True - gtk-home - True - True - False - + True + GDK_KEY_PRESS_MASK + True + True + 1 + + + True + * + False + 2 + - False - True + 88 + 32 - + + 0 + 0 True - External programs - Extern - True - gtk-convert - True - True - False - + Decimal + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 - False - True + 14 + 68 - + + 0 + 0 True - True - True - True + Bytes + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 - False - False + 15 + 36 - + + 0 + 0 True - One window - One window - True - onew.xpm - True - True - False - + Enter value + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 - False - True + 112 + 8 0 - False - False + True + True + + + + + + MDK + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_CENTER + True + 250 + 150 + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_NORMAL + GDK_GRAVITY_NORTH_WEST + + + + + + + True + 250 + 150 + 0 0 250 0 209.7 233 + 0 0 150 0 111.6 124 - + + 0 + 0 True - False - 0 - - - - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + GNU MIX Development Kit + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 56 + 24 + + - - - True - False - False - True - GTK_JUSTIFY_LEFT - GTK_WRAP_WORD - True - 0 - 0 - 0 - 0 - 0 - 0 - - - - - - 0 - True - True - - + + + 52 + 16 + True + label223 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 96 + 48 + + - - - True - Enter MIXVM command here - True - True - True - True - 0 - - True - * - False - - - - 0 - False - False - - + + + 0 + 0 + True + Copyright (C) 2001, 2002, 2003 , 2004 +Free Software Foundation, Inc. + False + False + GTK_JUSTIFY_CENTER + True + False + 0.5 + 0.5 + 0 + 0 - 0 - True - True + 24 + 88 - - Enter value + + Go to memory cell GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True - False + True False True False @@ -2791,42 +1316,42 @@ GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True - + - + True False 0 - + True GTK_BUTTONBOX_END - + True GTK_BUTTONBOX_DEFAULT_STYLE - 10 + 30 - + True True True - gtk-clear + gtk-cancel True GTK_RELIEF_NORMAL True - + - + True True True @@ -2834,20 +1359,7 @@ True GTK_RELIEF_NORMAL True - - - - - - - True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - + @@ -2856,184 +1368,237 @@ 0 False - False + True GTK_PACK_END - - 5 + + 12 True + False + 0 - - 0 - 0 + True - True - True - GDK_KEY_PRESS_MASK - True - True - 0 - 0 - True - * - False - 28 - + Go to address: + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 - 88 - 64 + 0 + True + True - - 0 - 0 + True True - GDK_KEY_PRESS_MASK + True True True - 2 - 0 + 0 + True * False - 3 - + - 144 - 32 + 10 + False + False + + + 0 + False + False + + + + + - - - 0 - 0 - True - True - GDK_BUTTON_PRESS_MASK - True - True - 2 - 0 - True - * - False - 3 - - - - 176 - 32 - - + + 4 + Select Font + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + True + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + + + + + + + True + True + True + GTK_RELIEF_NORMAL + True + + + + + + True + True + True + GTK_RELIEF_NORMAL + True + + + + + + True + True + True + GTK_RELIEF_NORMAL + True + + + + + + 4 + True + abcdefghijk ABCDEFGHIJK + + + 0 + True + True + + + + + + Device output format + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + True + 320 + 140 + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + True + + + + + + + True + False + 0 + + + + True + GTK_BUTTONBOX_END - - 0 - 0 + True + True True - GDK_KEY_PRESS_MASK - True - True - 2 - 0 - True - * - False - 3 - + gtk-cancel + True + GTK_RELIEF_NORMAL + True + -6 - - 208 - 32 - - - 0 - 0 + True + True True - GDK_KEY_PRESS_MASK - True - True - 2 - 0 - True - * - False - 3 - + gtk-apply + True + GTK_RELIEF_NORMAL + True + -10 - - 238 - 32 - - - 0 - 0 + True + True True - GDK_KEY_PRESS_MASK - True - True - 2 - 0 - True - * - False - 3 - + gtk-ok + True + GTK_RELIEF_NORMAL + True + -5 - - 112 - 32 - + + + 0 + False + True + GTK_PACK_END + + + + + + True - + 0 0 True + Set all devices to current format True - GDK_KEY_PRESS_MASK - True - True - 1 - + - True - * - False - 2 - + S_et all + True + GTK_RELIEF_NORMAL + True + - 88 - 32 + 233 + 31 - + 0 0 True - Decimal + Device False False GTK_JUSTIFY_CENTER @@ -3045,17 +1610,17 @@ 0 - 14 - 68 + 24 + 10 - + 0 0 True - Bytes + Format False False GTK_JUSTIFY_CENTER @@ -3067,141 +1632,97 @@ 0 - 15 - 36 + 24 + 38 - - 0 - 0 + + 183 + 25 True - Enter value - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 + tape0 +tape1 +tape2 +tape3 +tape4 +tape5 +tape6 +tape7 +disk0 +disk1 +disk2 +disk3 +disk4 +disk5 +disk6 +disk7 + - 112 - 8 + 90 + 2 - - - 0 - True - True - - - - - - - - MDK - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_CENTER - True - 250 - 150 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - - - - - True - 250 - 150 - 0 0 250 0 209.7 233 - 0 0 150 0 111.6 124 - - - - 0 - 0 - True - GNU MIX Development Kit - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 56 - 24 - - - - - - 52 - 16 - True - label223 - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 96 - 48 - - - - - 0 - 0 - True - Copyright (C) 2001, 2002, 2003 , 2004 -Free Software Foundation, Inc. - False - False - GTK_JUSTIFY_CENTER - True - False - 0.5 - 0.5 - 0 - 0 + + + 0 + 0 + True + Show output as MIX words + True + Word + True + GTK_RELIEF_NORMAL + True + False + False + True + + + 89 + 34 + + + + + + 0 + 0 + True + Show output as decimal numbers + True + Decimal + True + GTK_RELIEF_NORMAL + True + False + False + True + wordradio + + + + 154 + 34 + + - 24 - 88 + 0 + True + False + GTK_PACK_END - - Go to memory cell + + External programs GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE True @@ -3213,29 +1734,29 @@ Free Software Foundation, Inc. GDK_WINDOW_TYPE_HINT_DIALOG GDK_GRAVITY_NORTH_WEST True - + - + True False 0 - + True GTK_BUTTONBOX_END - + True - GTK_BUTTONBOX_DEFAULT_STYLE - 30 + GTK_BUTTONBOX_SPREAD + 10 - + True True True @@ -3243,12 +1764,12 @@ Free Software Foundation, Inc. True GTK_RELIEF_NORMAL True - + - + True True True @@ -3256,7 +1777,238 @@ Free Software Foundation, Inc. True GTK_RELIEF_NORMAL True - + + + + + + + + 0 + False + True + GTK_PACK_END + + + + + + True + True + 0 + + + + True + + + + 0 + 0 + True + True + True + True + 0 + xterm -e vi %s + True + * + False + + + 256 + 12 + + + + + + 0 + 0 + True + Editor command (e.g xterm -e vi %s) + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 8 + 15 + + + + + 0 + True + True + + + + + + True + + + + 0 + 0 + True + True + True + True + 0 + mixasm -g %s + True + * + False + + + 255 + 4 + + + + + + 0 + 0 + True + MIX sssembler command (e.g. mixasm -g %s) + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 8 + 8 + + + + + 0 + True + True + + + + + 0 + True + True + + + + + + + + Symbol table + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + False + 245 + 265 + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_DIALOG + GDK_GRAVITY_NORTH_WEST + True + + + + + + + True + False + 0 + + + + True + GTK_BUTTONBOX_END + + + + True + True + GTK_RELIEF_NORMAL + True + 0 + + + + + True + 0.5 + 0.5 + 0 + 0 + 0 + 0 + 0 + 0 + + + + True + False + 2 + + + + True + gtk-close + 4 + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + + + True + _Close + True + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + + + @@ -3271,358 +2023,325 @@ Free Software Foundation, Inc. - - 12 + True - False - 0 - - - - True - Go to address: - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 - - - 0 - True - True - - + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT - + True True - True - True - True - 0 - - True - * - False - + False + True + True + True - - 10 - False - False - 0 - False - False + True + True - - 4 - Select Font - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - True - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_DIALOG - GDK_GRAVITY_NORTH_WEST - - - - - - - True - True - True - GTK_RELIEF_NORMAL - True - - - - - - True - True - True - GTK_RELIEF_NORMAL - True - - - - - - True - True - True - GTK_RELIEF_NORMAL - True - - - - - - 4 - True - abcdefghijk ABCDEFGHIJK - - - 0 - True - True - - - - - - Device output format + + MIXAL source GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE - True - 320 - 140 + False + 570 + 225 True False True False False - GDK_WINDOW_TYPE_HINT_DIALOG + GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST - True - - - - - + + True False 0 - - + + + 2 True - GTK_BUTTONBOX_END + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_ICONS + True + True - + True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - -6 + Run + Run + True + gtk-go-forward + True + True + False + + + False + True + - + True - True - True - gtk-apply - True - GTK_RELIEF_NORMAL - True - -10 + Next + Step + True + gtk-goto-last + True + True + False + + + False + True + - + True - True - True - gtk-ok - True - GTK_RELIEF_NORMAL - True - -5 + Clear breakpoints + Clear + True + gtk-clear + True + True + False + + + False + True + - - - 0 - False - True - GTK_PACK_END - - - - - - True - - 0 - 0 + True - Set all devices to current format - True - S_et all + Symbol table + Symbols True - GTK_RELIEF_NORMAL - True - + gtk-index + True + True + False + - 233 - 31 + False + True - - 0 - 0 + True - Device - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 + True + True + True - 24 - 10 + False + False - - 0 - 0 + True - Format - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 + Source code font + Font + True + gtk-select-font + True + True + False + - 24 - 38 + False + True + + + 0 + False + False + + + + + + True + False + 0 - - 183 - 25 + + + + + 0 + True + True + + + + + + True + True + + + 0 + False + False + + + + + + + + Devices + GTK_WINDOW_TOPLEVEL + GTK_WIN_POS_NONE + False + 550 + 250 + True + False + True + False + False + GDK_WINDOW_TYPE_HINT_NORMAL + GDK_GRAVITY_NORTH_WEST + + + + + + + True + False + 0 + + + + 2 + True + GTK_ORIENTATION_HORIZONTAL + GTK_TOOLBAR_ICONS + True + True + + + True - tape0 -tape1 -tape2 -tape3 -tape4 -tape5 -tape6 -tape7 -disk0 -disk1 -disk2 -disk3 -disk4 -disk5 -disk6 -disk7 - + Device directory + Directory + True + gtk-home + True + True + True + - 90 - 2 + False + True - - 0 - 0 + True - Show output as MIX words - True - Word + Output format + Output True - GTK_RELIEF_NORMAL - True - False - False - True + gtk-zoom-100 + True + True + False + - 89 - 34 + False + True - - 0 - 0 + True - Show output as decimal numbers - True - Decimal + Output font + Font True - GTK_RELIEF_NORMAL - True - False - False - True - wordradio - + gtk-select-font + True + True + False + - 154 - 34 + False + True 0 - True + False False - GTK_PACK_END + + + + + + True + False + 0 + + + + + + + 0 + True + True - - External programs + + Devices directory GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE - True + False True False True @@ -3636,109 +2355,91 @@ disk7 - + True False 0 - + True GTK_BUTTONBOX_END - + + True + True + True + gtk-cancel + True + GTK_RELIEF_NORMAL + True + -6 + + + + + + True - GTK_BUTTONBOX_SPREAD - 10 - - - - True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - - - - - - - True - True - True - gtk-ok - True - GTK_RELIEF_NORMAL - True - - - + True + True + gtk-ok + True + GTK_RELIEF_NORMAL + True + -5 + 0 False - True + False GTK_PACK_END - + + 25 True - True - 0 + False + 11 - + True + Directory + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + - - - 0 - 0 - True - True - True - True - 0 - xterm -e vi %s - True - * - False - - - 256 - 12 - - - - - - 0 - 0 - True - Editor command (e.g xterm -e vi %s) - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 8 - 15 - - + + + True + True + False + True + 0 + + True + * + False 0 @@ -3748,61 +2449,25 @@ disk7 - + True - - - - 0 - 0 - True - True - True - True - 0 - mixasm -g %s - True - * - False - - - 255 - 4 - - - - - - 0 - 0 - True - MIX sssembler command (e.g. mixasm -g %s) - False - False - GTK_JUSTIFY_LEFT - False - False - 0.5 - 0.5 - 0 - 0 - - - 8 - 8 - - + True + gtk-open + True + GTK_RELIEF_NORMAL + True + 0 - True - True + False + False 0 - True + False True @@ -3810,87 +2475,302 @@ disk7 - - Symbol table + + Virtual machine GTK_WINDOW_TOPLEVEL GTK_WIN_POS_NONE False - 245 - 265 + 640 + 290 True False True False False - GDK_WINDOW_TYPE_HINT_DIALOG + GDK_WINDOW_TYPE_HINT_NORMAL GDK_GRAVITY_NORTH_WEST - True - - - - - - True - False - 0 + + + 5 + True + 0 + 0.5 + GTK_SHADOW_ETCHED_IN + + + + True + False + 0 + + + + 1 + True + False + 1 + + + + 2 + True + 0 + 0.5 + GTK_SHADOW_ETCHED_IN + + + + 8 + True + 3 + 6 + False + 6 + 11 + + + + 0 + 0 + True + A + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + 1 + 0 + 1 + fill + + + + + + + 0 + 0 + True + I1 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 2 + 3 + 0 + 1 + fill + + + + + + + 0 + 0 + True + I2 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 2 + 3 + 1 + 2 + fill + + + + + + + 0 + 0 + True + False + True + 0 + + True + * + False + 19 + + + + 1 + 2 + 0 + 1 + + + + - - - True - GTK_BUTTONBOX_END + + + 0 + 0 + True + True + False + True + 0 + + True + * + False + 9 + + + + 3 + 4 + 1 + 2 + + + + - - - True - True - GTK_RELIEF_NORMAL - True - 0 - + + + 0 + 0 + True + True + False + True + 0 + + 00 00 + True + * + False + 9 + + + + 3 + 4 + 0 + 1 + + + + - - - True - 0.5 - 0.5 - 0 - 0 - 0 - 0 - 0 - 0 + + + 0 + 0 + True + X + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + 1 + 1 + 2 + fill + + + - - - True - False - 2 + + + 16 + 16 + True + I3 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 2 + 3 + 2 + 3 + fill + + + - + + 0 + 0 True - gtk-close - 4 + I4 + False + False + GTK_JUSTIFY_CENTER + False + False 0.5 0.5 0 0 - 0 - False - False + 4 + 5 + 0 + 1 + fill + - + + 16 + 16 True - _Close - True + I5 + False False - GTK_JUSTIFY_LEFT + GTK_JUSTIFY_CENTER False False 0.5 @@ -3899,548 +2779,775 @@ disk7 0 - 0 - False - False + 4 + 5 + 1 + 2 + fill + - - - - - - - - - 0 - False - True - GTK_PACK_END - - - - - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + + + 16 + 16 + True + I6 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 4 + 5 + 2 + 3 + fill + + + - - - True - True - False - True - True - True - - - - - 0 - True - True - - - - - + + + 0 + 0 + True + J + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + 1 + 2 + 3 + fill + + + - - MIXAL source - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 570 - 225 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - - + + + 0 + 0 + True + True + False + True + 0 + + 00 00 00 00 00 + True + * + False + 19 + + + + 1 + 2 + 1 + 2 + + + + + + + + 0 + 0 + True + True + False + True + 0 + + True + * + False + 9 + + + + 5 + 6 + 0 + 1 + + + + + + + + 0 + 0 + True + True + False + True + 0 + + True + * + False + 9 + + + + 5 + 6 + 1 + 2 + + + + + + + + 0 + 0 + True + True + False + True + 0 + + True + * + False + 9 + + + + 5 + 6 + 2 + 3 + + + + - - - True - False - 0 + + + 0 + 0 + True + True + False + True + 0 + + True + * + False + 9 + + + + 3 + 4 + 2 + 3 + + + + - - - 2 - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_ICONS - True - True + + + True + False + 0 - - - True - True - True - False + + + 0 + 0 + True + True + False + True + 0 + + True + * + False + 9 + + + + 0 + False + False + + - - - True + + + + + + 1 + 2 + 2 + 3 + fill + fill + + + + + + + + True + Registers + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 2 + 0 + + + label_item + + + + 5 + False + True + - - - False - False - - - - - True - Run - Run - True - gtk-go-forward - True - True - False - - - - False - True - - + + + True + False + 0 - - - True - Next - Step - True - gtk-goto-last - True - True - False - - - - False - True - - + + + 2 + True + 0 + 0.5 + GTK_SHADOW_ETCHED_IN - - - True - Clear breakpoints - Clear - True - gtk-clear - True - True - False - - - - False - True - - + + + 1 + True + False + 5 - - - True - Symbol table - Symbols - True - gtk-index - True - True - False - - - - False - True - - + + + 2 + 0 + 0 + True + Greater + True + G + True + GTK_RELIEF_NORMAL + True + False + False + True + + + + 0 + False + False + + - - - True - True - True - True - - - False - False - - + + + 2 + 0 + 0 + True + Equal + True + E + True + GTK_RELIEF_NORMAL + True + False + False + True + greater_radio + + + + 0 + False + False + + - - - True - Source code font - Font - True - gtk-select-font - True - True - False - - - - False - True - - - - - 0 - False - False - - + + + 2 + 0 + 0 + True + Lesser + True + L + True + GTK_RELIEF_NORMAL + True + False + False + True + greater_radio + + + + 0 + False + False + + - - - True - GTK_POLICY_ALWAYS - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - GTK_CORNER_TOP_LEFT + + + 7 + True + + + 0 + False + False + + - - - True - Click to toggle breakpoint - True - GDK_POINTER_MOTION_MASK - True - False - False - True - - - - - - - - 0 - True - True - - + + + True + True + Overflow + True + GTK_RELIEF_NORMAL + True + False + False + True + + + + 0 + False + False + + + + - - - True - True - - - 0 - False - False - - - - - + + + True + Flags + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 2 + 0 + + + label_item + + + + + 0 + False + False + + - - Devices - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 550 - 250 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - + + + - - - True - False - 0 + + + 2 + True + 0 + 0.5 + GTK_SHADOW_ETCHED_IN - - - 2 - True - GTK_ORIENTATION_HORIZONTAL - GTK_TOOLBAR_ICONS - True - True + + + 4 + True + False + 1 - - - True - Device directory - Directory - True - gtk-home - True - True - True - - - - False - True - - + + + 0 + 0 + True + True + False + True + 4 + 0 + True + * + False + 6 + + + 5 + False + False + + - - - True - Output format - Output - True - gtk-find-and-replace - True - True - False - - - - False - True - - + + + True + View loc address + True + GTK_RELIEF_NORMAL + True + - - - True - Output font - Font - True - gtk-select-font - True - True - False - - - - False - True - - - - - 0 - False - False - - + + + True + gtk-jump-to + 4 + 0.5 + 0.5 + 0 + 0 + + + + + 1 + False + False + + + + - - - True - True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT + + + True + Location + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 2 + 0 + + + label_item + + + + + 0 + False + False + GTK_PACK_END + + + + + 5 + False + True + + - - - - - - 0 - True - True - - - - - + + + 2 + True + 0 + 0.5 + GTK_SHADOW_ETCHED_IN - - Devices directory - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_DIALOG - GDK_GRAVITY_NORTH_WEST - True - - - + + + 5 + True + True + 5 - - - True - False - 0 + + + 0 + 0 + True + Uptime: + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 0 + False + False + + - - - True - GTK_BUTTONBOX_END + + + 0 + 0 + True + 00000000 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 5 + 0 + + + 0 + False + False + + - - - True - True - True - gtk-cancel - True - GTK_RELIEF_NORMAL - True - -6 - - - + + + 0 + 0 + True + Elapsed: + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 3 + False + False + + - - - True - True - True - gtk-ok - True - GTK_RELIEF_NORMAL - True - -5 - - - - - - 0 - False - False - GTK_PACK_END - - + + + 0 + 0 + True + 000000 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 5 + 0 + + + 0 + False + False + + - - - 25 - True - False - 11 + + + 0 + 0 + True + Program: + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 0 + 0 + + + 2 + False + False + + - - - True - Directory - False - False - GTK_JUSTIFY_CENTER - False - False - 0.5 - 0.5 - 0 - 0 + + + 0 + 0 + True + 000000 + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 5 + 0 + + + 0 + False + False + + + + + + + + True + Times + False + False + GTK_JUSTIFY_CENTER + False + False + 0.5 + 0.5 + 2 + 0 + + + label_item + + + + + 5 + False + True + + - 0 + 2 False False - + + 7 True - True - False - True - 0 - - True - * - False + 0 + 0.5 + GTK_SHADOW_ETCHED_IN + + + + 5 + True + True + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC + GTK_SHADOW_IN + GTK_CORNER_TOP_LEFT + + + + True + True + GDK_BUTTON_PRESS_MASK + True + True + False + True + + + + + + + + True + Memory + False + False + GTK_JUSTIFY_LEFT + False + False + 0.5 + 0.5 + 2 + 0 + + + label_item + + - 0 + 3 True True - - - - - - True - True - gtk-open - True - GTK_RELIEF_NORMAL - True - - - - 0 - False - False + GTK_PACK_END - - 0 - False - True - - - - - - - - Virtual machine - GTK_WINDOW_TOPLEVEL - GTK_WIN_POS_NONE - False - 640 - 290 - True - False - True - False - False - GDK_WINDOW_TYPE_HINT_NORMAL - GDK_GRAVITY_NORTH_WEST - - - - - - - - 5 - True - 0 - 0.5 - GTK_SHADOW_ETCHED_IN - - - -- cgit v1.2.3