diff etc/edt-user.doc @ 58519:8e7e32dcc9e2

(command_loop_1): Print a message describing the key the user just pressed when this key has no binding.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 25 Nov 2004 22:17:49 +0000
parents 23a1cea22d13
children 23a17af379b1 d7ddb3e565de
line wrap: on
line diff