ninja-ide/ninja-ide — pull request #284 by diegosarmentero (2012-02-23 01:18:28+00:00)
Title: Fixing performance issue

I changed the highlight of the current word to have at least 3 characters, because this highlighting persist during the movement of the cursor and when you say (maybe by mistake) to highlight for example 1 characters in particular, the editor need to highlight the occurrence of that char in the whole document and that is unnecessary slow, highlighting just one char doesn't have any sense.