Don't scroll mini-maps with mouse wheel. Fixes #434.
Merge pull request #490 from ahinz/fix/434/dont-scroll-mini-map

Don't scroll mini-maps with mouse wheel. Fixes #434.