comparison etc/orgcard.ps @ 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 2d0114d1e7b4
children edf631bdbb7a
comparison
equal deleted inserted replaced
81900:39d8b226d67f 81901:7e6412eabecf