diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-10 12:15:44 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2001-06-10 12:15:44 +0000 |
| commit | 749e853b58aef25aafdf34de89ced7d04fcc0409 (patch) | |
| tree | 1bb5e236508cf34798156e71e0f43a8fc1214687 /doc | |
| parent | 3f09bd30e4ecee5770be0aebea0719b75e155de9 (diff) | |
| download | mdk-749e853b58aef25aafdf34de89ced7d04fcc0409.tar.gz mdk-749e853b58aef25aafdf34de89ced7d04fcc0409.tar.bz2 | |
minor changes
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mdk_gmixvm.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/mdk_gmixvm.texi b/doc/mdk_gmixvm.texi index a96459f..75e4397 100644 --- a/doc/mdk_gmixvm.texi +++ b/doc/mdk_gmixvm.texi @@ -299,12 +299,12 @@ corresponding dialog entry. @deffn Settings Save -Saves the current settings (colors and fonts). +Saves the current settings. @end deffn -@deffn Settins Save on exit +@deffn Settins @w{Save on exit} Mark this checkbox if you want @code{gmixvm} to save its settings -(colors and fonts) every time you quit the program. +every time you quit the program. @end deffn @deffn Help About... |