diff etc/ps-prin1.ps @ 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 713172dcf518
children 520ca9c99014 f55f9811f5d7
line wrap: on
line diff