ninja-ide/ninja-ide — pull request #273 by diegosarmentero (2012-02-20 23:57:01+00:00)
Title: Some minor improves in minimap, and adding the possibility to enable/disable

Some minor improves in minimap, and adding the possibility to enable/disable