diff configure @ 74120:0769cd6b8ca7

* window.c (set_window_buffer): Clear mouse highlight if it is in this window.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 22 Nov 2006 15:09:54 +0000
parents 13efda9a9909
children bc1e81a3e86d dbe3f29e61d6
line wrap: on
line diff