diff man/widget.texi @ 34660:75866a7ebaec

(wait_reading_process_input): Check for pending input when running timers.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 18 Dec 2000 10:53:51 +0000
parents 3def5b3d0255
children b45dd6332475
line wrap: on
line diff