ninja-ide/ninja-ide — pull request #909 by malderete (2012-10-10 19:42:35+00:00)
Title: Small Minimap problem

Fixed. The minimap did not appear until the first time you "save" the file, even, with existing file