1 files changed, 17 insertions, 0 deletions
diff --git a/src/gui/gui-keyboard.c b/src/gui/gui-keyboard.c
index b0e6784b2..d32acb99e 100644
--- a/src/gui/gui-keyboard.c
+++ b/src/gui/gui-keyboard.c
@@ -714,7 +714,9 @@ void
 gui_keyboard_free_all ()
 {
     while (gui_keys)
+    {
         gui_keyboard_free (gui_keys);
+    }
 }
 
 /*
@@ -827,3 +829,18 @@ gui_keyboard_paste_cancel ()
     gui_keyboard_buffer_reset ();
     gui_keyboard_paste_pending = 0;
 }
+
+/*
+ * gui_keyboard_end: end keyboard (free some data) 
+ */
+
+void
+gui_keyboard_end ()
+{
+    /* free keyboard buffer */
+    if (gui_keyboard_buffer)
+        free (gui_keyboard_buffer);
+    
+    /* free all keys */
+    gui_keyboard_free_all ();
+}