diff etc/DEBUG @ 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 b98604865ea0
children 107ccd98fa12 f55f9811f5d7
line wrap: on
line diff