ninja-ide/ninja-ide — pull request #451 by diegosarmentero (2012-04-14 14:45:44+00:00)
Title: Some improves in highlighter.

Some improves in highlighter.