diff etc/TUTORIAL @ 81901:7e6412eabecf

(xterm-turn-on-modify-other-keys) (xterm-turn-off-modify-other-keys): New functions. (terminal-init-xterm): Enable the modifyOtherKeys feature if the terminal supports it.
author Dan Nicolaescu <dann@ics.uci.edu>
date Mon, 16 Jul 2007 04:05:08 +0000
parents 141ede4e3871
children 713172dcf518 dd7c098af727
line wrap: on
line diff