[PATCH 01/22] Initial TUI mouse support

[Tom Tromey]

>> One question I have here is that, right now, the mouse wheel already
>> works to scroll for me.
>> 
>> I assume this won't change.  But I wonder why new code is needed.
>> Maybe it's the case that if you enable mouse events, curses turns off
>> automatic translation of scroll wheel to scrolling?

Hannes> I was not aware of that, and have never seen this behavior.
Hannes> How does that work, how is the mouse wheel currently translated to
Hannes> window scrolling?

I debugged today, and tui_dispatch_ctrl_char gets a KEY_UP key when I
use the scroll wheel.  So, I think it's just a feature built in to
ncurses.

Tom