comparison make-dist @ 74121:fd56562ea7ba

(set_window_buffer): Clear mouse highlight if it is in this window.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 22 Nov 2006 15:10:06 +0000
parents e68d05a41cab
children ddcbd2c1b70d 02cf29720f31
comparison
equal deleted inserted replaced
74120:0769cd6b8ca7 74121:fd56562ea7ba