--- a/demo_input.py	Wed Jan 30 19:44:01 2013 +0100
+++ b/demo_input.py	Wed Jan 30 20:21:08 2013 +0100
@@ -21,6 +21,7 @@
         editbox.add_handler('mouseup', self.on_any_input)
         editbox.add_handler('mousewheel', self.on_any_input)
         editbox.add_handler('mousemove', self.on_any_input)
+        editbox.add_handler('mousehover', self.on_any_input)
 
     def on_any_input(self, ev):
         if ev.event_name == 'keypress' and ev.char == 'q':