(read_char): Use it to make sure we only skip redisplay when we can't keep up with the repeat rate.
Attach a file by drag & drop or click to upload