scala-ide/scala-ide — pull request #193 by dragos (2012-09-03 15:39:29+00:00)
Title: Switch all askOptions to use responses, and a default timeout value. Thi...

...s should fix

a lot of deadlocks or freezes, including:

Fixed #1001102
Fixed #1000945
Fixed #1001029