scala-ide/scala-worksheet — pull request #190 by huitseeker (2014-07-25 13:21:58+00:00)
Title: Switches to new ScalaProject API

See https://github.com/scala-ide/scala-ide/pull/747