Latest commit 067ad56 Oct 2, 2013 brucestephens Idle-timer highlighting, using pulse (from cedet)