scala-ide/scala-ide — pull request #358 by dotta (2013-03-22 16:14:45+00:00)
Title: Fixed PC race condition in semantic highlighting

Fixes #1001623