scala-ide/scala-ide — pull request #103 by dragos (2012-05-08 15:26:16+00:00)
Title: Move Semantic highlighting to a background job.

Fixed #1001016.