From 2bf1362a087bc4043d838264657d5ac7755d74bc Mon Sep 17 00:00:00 2001
From: hut <hut@lepus.uberspace.de>
Date: Sun, 20 Sep 2015 04:46:20 +0200
Subject: doc/tools/print_keys.py: print mouse events too

---
 doc/tools/print_keys.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/doc/tools/print_keys.py b/doc/tools/print_keys.py
index 17d2513b..fecd6fb9 100755
--- a/doc/tools/print_keys.py
+++ b/doc/tools/print_keys.py
@@ -9,6 +9,12 @@ sep = '; '
 
 @wrapper
 def main(w):
+    mousemask(ALL_MOUSE_EVENTS)
+    mouseinterval(0)
     while True:
-        w.addstr(str(w.getch()) + sep)
+        ch = w.getch()
+        if ch == KEY_MOUSE:
+            w.addstr(repr(getmouse()) + sep)
+        else:
+            w.addstr(str(ch) + sep)
 
-- 
cgit 1.4.1-2-gfad0