diff src/.gdbinit @ 100074:621a2ff9faff

* keyboard.c (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:22 +0000
parents e9980210e4ed
children b99ba7437dec
line wrap: on
line diff