diff man/widget.texi @ 33988:f1fefcb74da7

(Fsignal): Reset handling_signal.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 29 Nov 2000 12:20:25 +0000
parents 3def5b3d0255
children b45dd6332475
line wrap: on
line diff