diff src/w32gui.h @ 38393:2f9707a444e4

(get_next_display_element): Use CHAR_STRING_NO_SIGNAL instead of CHAR_STRING which can signal an error.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 13 Jul 2001 09:30:21 +0000
parents 22afed8d7e3f
children d943962e1b24
line wrap: on
line diff