ninja-ide/ninja-ide — pull request #300 by diegosarmentero (2012-02-26 10:55:02+00:00)
Title: Fixed a HUGE CRITICAL BUG that cause the IDE to get block on highlighing in some situations.

Fixed a HUGE CRITICAL BUG that cause the IDE to get block on highlighing in some situations.