chiark / gitweb /
Tweak to the promptness of error highlighting display.
authorSimon Tatham <anakin@pobox.com>
Sat, 12 Sep 2009 12:54:49 +0000 (12:54 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 12 Sep 2009 12:54:49 +0000 (12:54 +0000)
commite2522c2897326b97439e091d11bbf47e4fc0ea76
tree019bb43723a377448e3b802e0efb8326c4566d46
parent1b927c77b7ca357bb3360a242d1f9423fb6ee303
Tweak to the promptness of error highlighting display.

[originally from svn r8645]
tents.c