patch 8.2.3993: when recording a change in Select mode char appears twice
Problem: When recording a change in Select mode the first typed character
appears twice.
Solution: When putting the character back into typeahead remove it from
recorded characters. (closes #9462)
diff --git a/src/proto/getchar.pro b/src/proto/getchar.pro
index 0b357a2..9745ddf 100644
--- a/src/proto/getchar.pro
+++ b/src/proto/getchar.pro
@@ -24,11 +24,12 @@
void stop_redo_ins(void);
int noremap_keys(void);
int ins_typebuf(char_u *str, int noremap, int offset, int nottyped, int silent);
-void ins_char_typebuf(int c, int modifier);
+int ins_char_typebuf(int c, int modifier);
int typebuf_changed(int tb_change_cnt);
int typebuf_typed(void);
int typebuf_maplen(void);
void del_typebuf(int len, int offset);
+void ungetchars(int len);
int save_typebuf(void);
void save_typeahead(tasave_T *tp);
void restore_typeahead(tasave_T *tp, int overwrite);