ninja-ide/ninja-ide — pull request #577 by diegosarmentero (2012-06-11 00:48:21+00:00)
Title: improves in error line highlighting

improves in error line highlighting