huitseeker/scala-ide — pull request #2 by dragos (2013-11-22 13:21:55+00:00)
Title: Make PC reloads start with quiescence (reloaded)

This supersedes PR #562.

I added one fix to keep implicit highlighting working, the rest is Francoi's PR.