moved dump_key_buffer() from display to utils

2022-12-17 19:29:20 +01:00
parent 4c11fbe410
commit d15a98a7d1
2 changed files with 11 additions and 10 deletions
--- a/lib/utils.sh
+++ b/lib/utils.sh
@@ -57,4 +57,15 @@ trim()
 }
 export -f trim

+# ------------------------------------------------------------------------------
+# Dump the keyboard's buffer
+dump_key_buffer()
+{
+    while read -r -t 0.001; do
+        :
+    done
+}
+export -f dump_key_buffer
+
+
 # EOF