small highlighting correction...

This commit is contained in:
Marco Ciampa 2002-09-23 12:07:09 +00:00
parent bf96375842
commit 525b682c8c

View File

@ -2465,7 +2465,8 @@ strokes you want to be executed. Press
.B Ctrl-R
again when finished. You can then assign the macro to any key you
like by pressing that key. The macro is executed when you press
.B Ctrl-A and then the assigned key. The macro is also executed if
.B Ctrl-A
and then the assigned key. The macro is also executed if
you press Meta, Ctrl, or Esc and the assigned key, provided that the
key is not used for any other function. Once defined, the macro
commands go into the file