diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-24 16:56:23 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-24 16:56:23 +0000 |
| commit | a80cca4d47a5195575a1309d11065d596abd781d (patch) | |
| tree | 67aa357e9300c5201703c45eb56ace11f9540b8b | |
| parent | 1e61640d3758919f992bee1a6da28bd18ff3d269 (diff) | |
| download | mdk-a80cca4d47a5195575a1309d11065d596abd781d.tar.gz mdk-a80cca4d47a5195575a1309d11065d596abd781d.tar.bz2 | |
display file in title
| -rw-r--r-- | NEWS | 18 |
1 files changed, 15 insertions, 3 deletions
@@ -6,7 +6,19 @@ See the end for copying conditions. Please send mdk bug reports to bug-mdk@gnu.org. --------------------------------------------------------------------------- -* Version 0.3.5 +* Version 0.3.6 + +** Split mode: gmixvm can now be run with the MIXVM, MIXAL and Devices + windows detached (instead of arranged in a notebook). + +** When running in split mode, the MIXVM, MIXAL and Devices windows + can be hidden. + +** The gmixvm main window displays the path to the current MIX file in + its title bar. + +--------------------------------------------------------------------------- +* Version 0.3.5 (23/06/01) ** In gmixvm, when the mouse pointer is over a MIXAL source line, the status bar shows the value of the variables appearing in this line. @@ -79,7 +91,7 @@ Please send mdk bug reports to bug-mdk@gnu.org. ** The fonts used used in the different gmixvm widgets are now customizable. -** Input/ouput for all MIX block devices is shown in gmixvm. +** Input/output for all MIX block devices is shown in gmixvm. ** All gmixvm customizations are stored in a configuration file (inside ~/.gmixvm directory). @@ -116,7 +128,7 @@ Please send mdk bug reports to bug-mdk@gnu.org. ** New GTK+ interface for the virtual machine (gmixvm). -** New mixvm-Emacs/GNUD interface via mixvm.el (Philip King). +** New mixvm-Emacs/GUD interface via mixvm.el (Philip King). ** Readline and history support for mixvm are now optional features. |