(note_mouse_highlight): Change the cursor shape
commite371a7810f50e2053cf46d485f7f87ca6ac74c3e
authorGerd Moellmann <gerd@gnu.org>
Tue, 28 Nov 2000 13:45:56 +0000 (28 13:45 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 28 Nov 2000 13:45:56 +0000 (28 13:45 +0000)
tree5162432c0c480ea6c4e3cdc53611a906ea93f302
parent1cb794ba1fa15fe8b315aaf46fbc5c41ca69bddc
(note_mouse_highlight): Change the cursor shape
on the vertical border between windows.
src/xterm.c