diff man/ses.texi @ 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 11b616eddda4
children 3d45362f1d38 e6bf73e43cf4
line wrap: on
line diff