diff TOOLS/subedit.pl @ 14077:3d3f3cc8494a

use a configurable-size ringbuffer instead of a pipe for buffering key events.
author reimar
date Wed, 01 Dec 2004 12:22:39 +0000
parents cc5aa27a50ff
children 401b440a6d76
line wrap: on
line diff