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 | 9a0a2bdf190b1e03869313a0c34ec7610a614c89 (patch) | |
| tree | 989623eb3e8f3df8a7971c4ea24cb649ac7d639c | |
| parent | 61de64f162907cc9f6628dd7d8665507e8a72484 (diff) | |
| download | mdk-9a0a2bdf190b1e03869313a0c34ec7610a614c89.tar.gz mdk-9a0a2bdf190b1e03869313a0c34ec7610a614c89.tar.bz2 | |
minor changes
| -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... |