A console screen buffer sync problem in kernel32/editline.c