# HG changeset patch # User Chong Yidong # Date 1164208194 0 # Node ID 0769cd6b8ca7d89f5892dfc7b2dd5c4836af77ee # Parent a3dab26e5f0ec8e6f329e3e5ff76fb476cd0bcf0 * window.c (set_window_buffer): Clear mouse highlight if it is in this window. diff -r a3dab26e5f0e -r 0769cd6b8ca7 src/ChangeLog --- a/src/ChangeLog Wed Nov 22 14:19:35 2006 +0000 +++ b/src/ChangeLog Wed Nov 22 15:09:54 2006 +0000 @@ -1,3 +1,8 @@ +2006-11-22 Chong Yidong + + * window.c (set_window_buffer): Clear mouse highlight if it is in + this window. + 2006-11-21 Chong Yidong * xfaces.c (realize_default_face): Check if the default font name