diff etc/JOKES @ 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 23a1cea22d13
children 02e2382f5e8a
line wrap: on
line diff