while-no-input-ignore-events manual clarification

* doc/lispref/commands.texi (Event Input Misc): Be slightly
clearer about what while-no-input-ignore-events is.
This commit is contained in:
Lars Ingebrigtsen 2019-10-20 13:52:03 +02:00
parent 23b3032702
commit db1907233c

View file

@ -2959,7 +2959,7 @@ like this:
@defvar while-no-input-ignore-events
This variable allow setting which special events @code{while-no-input}
should ignore. It is a list of symbols.
should ignore. It is a list of event symbols (@pxref{Event Examples}).
@end defvar