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 | e7115c96e7c621fe44dd3ae552110d9d9e5180f0 (patch) | |
| tree | 1e98e6649cc055fe8ababaab4d00fa79d306e15c | |
| parent | 602973bb59cb685d2709441a25e45a1db22ab62c (diff) | |
| download | mdk-e7115c96e7c621fe44dd3ae552110d9d9e5180f0.tar.gz mdk-e7115c96e7c621fe44dd3ae552110d9d9e5180f0.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. |