Added support for high-resolution mouse wheel Reviewed-by: dav, son
NIO usage needs to be robust against Thread.interrupt() Reviewed-by: tdv