ninja-ide/ninja-ide — pull request #556 by diegosarmentero (2012-05-29 11:48:19+00:00)
Title: Fixing tab size in minimap

Fixing tab size in minimap