diff etc/SERVICE @ 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 5a8fd913621c
children e6fdae9180d4 ef719132ddfa
line wrap: on
line diff