scala-ide/scala-ide — pull request #586 by dragos (2013-11-22 13:23:39+00:00)
Title: Make PC reloads start with quiescence (reloaded)

This supersedes #562.

I added a commit to hook back implicit highlighting.