# HG changeset patch
# User Chong Yidong <cyd@stupidchicken.com>
# Date 1228066402 0
# Node ID 621a2ff9faffcea9ff22482585ca520a182b98f4
# Parent  199583e12fd23036506d449db63c46cc99266d4a
* keyboard.c (timer_check): After a timer runs, ensure that the
selected window's buffer is current.

diff -r 199583e12fd2 -r 621a2ff9faff src/ChangeLog
--- a/src/ChangeLog	Sun Nov 30 16:21:20 2008 +0000
+++ b/src/ChangeLog	Sun Nov 30 17:33:22 2008 +0000
@@ -1,3 +1,8 @@
+2008-11-30  Chong Yidong  <cyd@stupidchicken.com>
+
+	* keyboard.c (timer_check): After a timer runs, ensure that the
+	selected window's buffer is current.
+
 2008-11-30  Juanma Barranquero  <lekktu@gmail.com>
 
 	* makefile.w32-in ($(BLD)/abbrev.$(O)): Remove.