scala-ide/scala-ide — pull request #562 by huitseeker (2013-10-09 13:51:34+00:00)
Title: Make PC reloads start with quiescence

This is a rebase of scala-ide/scala-ide#494 for early
adopters/testers. It will need the previous merge of #481 and rework
on top of it.