version 0.3.3

1 files changed, 63 insertions, 12 deletions

diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi
index da60e26..a96459f 100644
--- a/doc/mdk_gmixvm.texi
+++ b/doc/mdk_gmixvm.texi
@@ -6,7 +6,7 @@
 
 @node gmixvm, mixasm, mixvm, Top
 @comment  node-name,  next,  previous,  up
-@chapter gmixvm
+@chapter @code{gmixvm}, the GTK virtual machine
 @cindex @code{gmixvm}
 @cindex GUI
 @cindex GTK+
@@ -81,10 +81,10 @@ the same functionality as its @acronym{CLI} counterpart, @code{mixvm}
 machine. Please, refer to @xref{mixvm}, for a description of these
 commands, and to @xref{Getting started}, for a tutorial on using the MIX
 virtual machine. The command prompt offers command line completion for
-partially typed commands using the @kbd{RET} key; e.g., if you type
+partially typed commands using the @kbd{TAB} key; e.g., if you type
 
 @example
-lo @kbd{RET}
+lo @kbd{TAB}
 @end example
 @noindent
 the command is automatically completed to @code{load}. If multiple
@@ -92,7 +92,7 @@ completions are available, they will be shown in the echo area. Thus,
 typing
 
 @example
-p @kbd{RET}
+p @kbd{TAB}
 @end example
 @noindent
 will produce the following output on the echo area:
@@ -103,7 +103,9 @@ pc     psym     preg     pflags     pall
 pmem  
 @end example
 @noindent
-which lists all the available commands starting with @code{p}.
+which lists all the available commands starting with @code{p}. In
+addition, the command prompt maintains a history of typed commands,
+which can be recovered using the arrow up and down keys.
 
 You can change the font used to display the issued commands and the
 messages in the echo area using the @w{Settings->Change font->Command
@@ -196,11 +198,17 @@ program.
 @image{img/ss_devices, 400pt}
 @end ifnotinfo
 
-Input device contents is read from files located in the
-@file{~/.gmivm} directory, and the output is also written in files
-at the same location. Note that device tabs will appear as they are used
-by the program being run, and that loading a new MIX program will close
-all previously open devices.
+Input device contents is read from files located in the @file{~/.gmivm}
+directory, and the output is also written in files at the same
+location. Note that device tabs will appear as they are used by the MIX
+program being run, and that loading a new MIX program will close all
+previously open devices.
+
+The input/output for binary block devices (tapes and disks) shall be a
+list of MIX words, which can be displayed either in decimal or word
+format (e.g. @w{- 67} or @w{- 00 00 00 01 03}. The format used by
+@code{gmixvm} can be configured using the @w{Settings->Device output}
+menu command for each binary device.
 
 You can change the font used to display the devices content
 using the @w{Settings->Change font->Devices} menu command.
@@ -217,6 +225,20 @@ in the virtual machine's memory. It is equivalent to the @code{mixvm}'s
 @code{load} command (@pxref{File commands}).
 @end deffn
 
+@deffn File Edit...
+Opens a file dialog that lets your specify a MIXAL source file to be
+edited. It is equivalent to the @code{mixvm}'s @code{edit} command
+(@pxref{File commands}). The program used for editing can be specified
+using the menu entry @code{@w{Settings->External programs}}.
+@end deffn
+
+@deffn File Compile...
+Opens a file dialog that lets your specify a MIXAL source file to be
+compiled. It is equivalent to the @code{mixvm}'s @code{compile} command
+(@pxref{File commands}). The command used for compiling can be specified
+using the menu entry @code{@w{Settings->External programs}}.
+@end deffn
+
 @deffn File Exit
 Exits the application.
 @end deffn
@@ -232,7 +254,7 @@ Executes the next MIX instruction. It is equivalent to the
 @code{mixvm}'s @code{next} command (@pxref{Debug commands}).
 @end deffn
 
-@deffn Debug Clear breakpoints
+@deffn Debug @w{Clear breakpoints}
 Clears all currently set breakpoints. It is equivalent to the
 @code{mixvm}'s @code{cabp} command.
 @end deffn
@@ -242,11 +264,40 @@ Lets you change the colors used to mark the current and breakpoint lines
 in the MIXAL tab, as well as the colors used for plain source lines.
 @end deffn
 
-@deffn Settings Change font
+@deffn Settings @w{Change font}
 Lets you change the font used in the various @code{gmixv} widgets
 (i.e. commad prompt, command log, MIX, MIXAL and devices).
 @end deffn
 
+@deffn Settings @w{Device output...}
+Opens a dialog that lets you specify which format shall be used to show
+the contents of MIX binary block devices.
+
+@ifnotinfo
+@image{img/ss_devform}
+@end ifnotinfo
+
+The available formats are decimal (e.g. @w{-1234}) and MIX word
+(e.g. @w{- 00 00 00 19 18}).
+@end deffn
+
+
+@deffn Settings @{External programs...}
+This menu command opens a dialog that lets you specify the commands used
+for editing and compiling MIXAL source files.
+
+@ifnotinfo
+@image{img/ss_extprog}
+@end ifnotinfo
+
+The commands are specified as template strings, where the control
+substring @code{%s} will be substituted by the actual file name. Thus,
+if you want to edit programs using @code{vi} running in an @code{xterm},
+you must enter the command template @code{@w{xterm -e vi %s}} in the
+corresponding dialog entry.
+@end deffn
+
+
 @deffn Settings Save
 Saves the current settings (colors and fonts).
 @end deffn