comparison src/widget.c @ 17943:15dc805eadee

(substitute-key-definition): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 May 1997 18:05:58 +0000
parents 1c7f93c8670b
children fa9ff387d260
comparison
equal deleted inserted replaced
17942:9c14296387f7 17943:15dc805eadee