Jan Kundrát 2028f8f947 Add mouse wheel scrolling
This is implemented by a callout to the widget's existing handler for
key_up and key_down events, and letting the key_* event propagate into
an appropriate place where it's handled as the user's input. Reusing
that handler makes it possible to work in a generic manner, so the code
has no builtin knowledge of the type or layout of the class it's
operating on. The same code is used for project listing, change listing,
single change history view and a diff view as well.

Change-Id: I14600f9dbdf1c066cf5f497f9afcf4e213f03257
2015-03-16 19:30:18 +01:00
..
2014-05-30 08:44:22 -07:00
2015-03-16 19:30:18 +01:00
2015-03-16 19:30:18 +01:00
2015-03-16 19:30:18 +01:00
2015-03-16 19:30:18 +01:00
2014-08-19 10:01:23 -07:00