The proper way to edit a string is to pass the K_EDIT mode flag to console.getstr(), e.g.
`var msgSubject = console.getstr(console.screen_columns - console.strlen(subjPromptText) - 1, K_LINE | K_EDIT);`
... as seen in numerous examples through-out exec/*.js.
This method of key-stuffing using ungetstr() shouldn't be necessary.
From Eric Oulashin to GitLab note in main/sbbs on Thursday, March 02, 2023 12:47:24