diff lib-src/getopt1.c @ 84697:efbb243fc83d

(get_terminal): Don't accept integers to represent terminals. (Fterminal_name, Fterminal_parameters, Fterminal_parameter) (Fset_terminal_parameter): Work with dead terminals as well. (Fmodify_terminal_parameters): Remove.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Thu, 20 Sep 2007 21:44:06 +0000
parents 1f2482de3237
children f55f9811f5d7 ef719132ddfa
line wrap: on
line diff