diff src/widget.c @ 28190:aa79cfcecd73

(read_integer): Unread the last char not consumed.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 18 Mar 2000 01:04:28 +0000
parents cf4ab4e4be66
children 09d316feea21
line wrap: on
line diff