diff etc/cs-survival.tex @ 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 e8a3fb527b77
children e0ff6232bcd8 d04d8ccb3c41 c5406394f567
line wrap: on
line diff