diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-21 20:27:21 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-21 20:27:21 +0000 |
| commit | e60db7b9fbe24f47f6ffe414143e6229c2310c56 (patch) | |
| tree | d4edbe1f7561c4f90f80fbac0e5ec9dfff6aae11 /doc/mdk_gmixvm.texi | |
| parent | b082610faf62df3df7c146fa92cf55cb45bdc26f (diff) | |
| download | mdk-e60db7b9fbe24f47f6ffe414143e6229c2310c56.tar.gz mdk-e60db7b9fbe24f47f6ffe414143e6229c2310c56.tar.bz2 | |
release 0.3.5
Diffstat (limited to 'doc/mdk_gmixvm.texi')
| -rw-r--r-- | doc/mdk_gmixvm.texi | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi index 19beadd..f850384 100644 --- a/doc/mdk_gmixvm.texi +++ b/doc/mdk_gmixvm.texi @@ -259,6 +259,17 @@ Clears all currently set breakpoints. It is equivalent to the @code{mixvm}'s @code{cabp} command. @end deffn +@deffn Debug Symbols... +Opens a dialog showing the list of symbols defined in the currently +loaded MIX program. + +@ifnotinfo +@image{img/ss_symbols} +@end ifnotinfo + +@end deffn + + @deffn Settings Colors... 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. @@ -312,4 +323,6 @@ Shows information about @code{gmixvm}'s version and copyright. @end deffn On the other hand, the status bar displays the name of the last loaded -MIX file. +MIX file. In addition, when the mouse pointer is over a MIXAL source +file line that contains symbols, a list of these symbols with their +values will appear in the status bar. |