ninja-ide/ninja-ide — pull request #526 by netantho (2012-05-25 16:15:15+00:00)
Title: Fixed issue #524

This is a patch for the issue I reported