comparison admin/revdiff @ 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 3d45362f1d38
children 450fa81c5930 95d0cdf160ea
comparison
equal deleted inserted replaced
81900:39d8b226d67f 81901:7e6412eabecf