diff src/xmenu.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 2bfd43d89c8e
children 3ff463c78c10
line wrap: on
line diff