scala-ide/scala-ide — pull request #223 by skyluc (2012-11-02 14:41:24+00:00)
Title: Replaced actor pulling by pushing

Quick and mostly clean update to fix possible freeze when calling `ScalaDebugTarget.getThreads()` or `ScalaThread.getStackFrames()`.

No tests (yet)

Fix #1001308

cc @dragos