added mousewheel support to the raspberry pi port