ninja-ide/ninja-ide — pull request #951 by shuhaowu (2012-10-29 22:41:45+00:00)
Title: Fixed selected words not highlighted (issue #948)

The selected word is not being highlighted globally. This patch fixes
that.