ninja-ide/ninja-ide — pull request #301 by diegosarmentero (2012-02-26 12:37:06+00:00)
Title: Several improves to the MiniMap.

Several improves to the MiniMap.