* window.c (Fdelete_window_internal): Invalidate the mouse highlight.
commit95986d5276c475c84e8de8b8a31296bd2800ea94
authorChong Yidong <cyd@gnu.org>
Sun, 12 Feb 2012 04:29:50 +0000 (12 12:29 +0800)
committerChong Yidong <cyd@gnu.org>
Sun, 12 Feb 2012 04:29:50 +0000 (12 12:29 +0800)
treea8881d5f146bbdf6381ee9ac2e98a9774bc3b82f
parentbd7da63eec720259e9c45216d3db169a610c9726
* window.c (Fdelete_window_internal): Invalidate the mouse highlight.

Fixes: debbugs:9904
src/ChangeLog
src/window.c