scala-ide/scala-worksheet — pull request #201 by dragos (2014-09-26 13:06:19+00:00)
Title: Sync with changes in master

See scala-ide/scala-ide#812