ninja-ide/ninja-ide — pull request #894 by diegosarmentero (2012-10-06 17:44:10+00:00)
Title:  Making ninja python3 compatible. Adding docstring to highlighter

Making ninja python3 compatible.
Adding docstring to highlighter