diff configure1.in @ 9730:a7d3e357a3f3

(keys_of_frame): Bind the new events to 'ignore, since the window manager has already done the work.
author Karl Heuer <kwzh@gnu.org>
date Thu, 27 Oct 1994 21:15:50 +0000
parents c1e70445780e
children
line wrap: on
line diff