comparison make-dist @ 100075:9b936c1c7102

(timer_check): After a timer runs, ensure that the selected window's buffer is current.
author Chong Yidong <cyd@stupidchicken.com>
date Sun, 30 Nov 2008 17:33:36 +0000
parents 9419b837e9c6
children 38e7317321ea
comparison
equal deleted inserted replaced
100074:621a2ff9faff 100075:9b936c1c7102