Remove unused function push_raw_key.

2 files changed, 0 insertions, 7 deletions

diff --git a/src/ui.c b/src/ui.c
index 8ecc63f696..f0c5553e60 100644
--- a/src/ui.c
+++ b/src/ui.c
@@ -353,12 +353,6 @@ void add_to_input_buf_csi(char_u *str, int len)          {
 
 #endif
 
-void push_raw_key(char_u *s, int len)
-{
-  while (len--)
-    inbuf[inbufcount++] = *s++;
-}
-
 #if defined(FEAT_GUI) || defined(FEAT_EVAL) || defined(FEAT_EX_EXTRA) \
   || defined(PROTO)
 /* Remove everything from the input buffer.  Called when ^C is found */
diff --git a/src/ui.h b/src/ui.h
index bc213ada33..f4f70197a6 100644
--- a/src/ui.h
+++ b/src/ui.h
@@ -15,7 +15,6 @@ char_u *get_input_buf(void);
 void set_input_buf(char_u *p);
 void add_to_input_buf(char_u *s, int len);
 void add_to_input_buf_csi(char_u *str, int len);
-void push_raw_key(char_u *s, int len);
 void trash_input_buf(void);
 int read_from_input_buf(char_u *buf, long maxlen);
 void fill_input_buf(int exit_on_error);