ninja-ide/ninja-ide — pull request #26 by diegosarmentero (2011-11-01 20:38:03+00:00)
Title: Improves in Editor performance, current word is only highlighted on mouse press or Ctrl key release.

Improves in Editor performance, current word is only highlighted on mouse press or Ctrl key release.