diff etc/grep.txt @ 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 0259a1711394
children 4d0b3e35d8f4
line wrap: on
line diff