ninja-ide/ninja-ide — pull request #303 by diegosarmentero (2012-02-26 21:55:11+00:00)
Title: Fixing minimap slider scrolling.

Fixing minimap slider scrolling.