On Windows, if keys are pressed while "Waiting for data" is displayed,

call ungetcc_back() rather than WIN32ungetch() to unget them. They should be read by the command processor, not re-read by the keyboard input code.
gwsw · Sep 24, 2023 · 04746ad · 04746ad
1 parent 735f099
commit 04746ad
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/os.c b/os.c
@@ -183,7 +183,7 @@ public int iread(int fd, unsigned char *buf, unsigned int len)
 		c = getch();
 		if (c == '\003')
 			return (READ_INTR);
-		ungetch(c);
+		ungetcc_back(c);
 	}
 #endif
 #endif
@@ -264,7 +264,7 @@ public int iread(int fd, unsigned char *buf, unsigned int len)
 			reading = 0;
 			return (READ_INTR);
 		}
-		WIN32ungetch(c);
+		ungetcc_back(c);
 	}
 #endif
 #endif