ninja-ide/ninja-ide — pull request #557 by diegosarmentero (2012-05-29 11:51:05+00:00)
Title: Setting tabs after initialize minimap

Setting tabs after initialize minimap