fix(terminal): fix duplicate recording with mouse click (#28103)

This commit is contained in:
zeertzjq
2024-03-29 22:29:10 +08:00
committed by GitHub
parent 5a5d26b4ab
commit 74776dfb2a
2 changed files with 10 additions and 1 deletions

View File

@@ -1631,7 +1631,10 @@ end:
return false;
}
ins_char_typebuf(vgetc_char, vgetc_mod_mask);
int len = ins_char_typebuf(vgetc_char, vgetc_mod_mask);
if (KeyTyped) {
ungetchars(len);
}
return true;
}