gnome-terminal imitates xterm sufficiently in this area that it treats shifted mouse-events differently from unshifted. (Perhaps gnome-terminal's users would find a dialog selection simpler than pressing the shift-key).
-- Thomas E. Dickey <dic...@invisible-island.net> http://invisible-island.net ftp://invisible-island.net
signature.asc
Description: Digital signature
