diff src/commands.h @ 2032:20cc6c34421c

(Info-summary): Handle any event when flushing the display.
author Richard M. Stallman <rms@gnu.org>
date Sat, 06 Mar 1993 06:15:39 +0000
parents 04fb1d3d6992
children 92f6b47e3e8d
line wrap: on
line diff