diff man/widget.texi @ 27668:be97ea826e95

(bind_polling_period): Stop all timers except poll_timer.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 12 Feb 2000 13:11:29 +0000
parents c1bde47f6b18
children 983e65f12610
line wrap: on
line diff