From 255b2a27414b85a7b0d3aac95a1c3d6f9c63c72f Mon Sep 17 00:00:00 2001
From: Thomas Wienecke <wienecke.t@gmail.com>
Date: Thu, 10 Apr 2014 19:08:11 +0200
Subject: Remove unused function push_raw_key.

---
 src/ui.c | 6 ------
 src/ui.h | 1 -
 2 files changed, 7 deletions(-)

(limited to 'src')

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);
-- 
cgit