* Speed up mousewheel scrolling proportionally.

  Thanks to @artem++ for the suggestion.