ninja-ide/ninja-ide — pull request #573 by diegosarmentero (2012-06-09 12:55:47+00:00)
Title: Fixing highlighter

Fixing highlighter