ninja-ide/ninja-ide — pull request #1181 by perrito666 (2013-03-31 00:42:18+00:00)
Title: Tries to fix #888

This is a rather subjective bug :p since it is there, but i am not sure what can be considered a fix of it, there is my first try.