(try_window_reusing_current_matrix, try_window_id):
authorGerd Moellmann <gerd@gnu.org>
Wed, 12 Jul 2000 15:09:01 +0000 (15:09 +0000)
committerGerd Moellmann <gerd@gnu.org>
Wed, 12 Jul 2000 15:09:01 +0000 (15:09 +0000)
commit64d1e7d383238c27e47143892370b5a7f4c14520
treed2703cd82b4fdf3ea028ff26f912a09f33af1916
parent7fce7efba210165607ce631f6b31ee99eab1cfd4
(try_window_reusing_current_matrix, try_window_id):
Before scrolling, turn off a mouse-highlight in the window
being scrolled.
src/xdisp.c