diff options
Diffstat (limited to 'doc/mdk_gmixvm.texi')
-rw-r--r-- | doc/mdk_gmixvm.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi index d866cc7..6b8f3e5 100644 --- a/doc/mdk_gmixvm.texi +++ b/doc/mdk_gmixvm.texi @@ -325,7 +325,7 @@ page. @deffn Settings @w{Change font} Lets you change the font used in the various @code{gmixv} widgets -(i.e. commad prompt, command log, Virtual machine, Source, Devices and +(i.e. command prompt, command log, Virtual machine, Source, Devices and Symbol list). There is also an entry (@code{All}) to change all fonts at once. @end deffn |