scala-ide/scala-worksheet — pull request #200 by skyluc (2014-09-26 09:50:23+00:00)
Title: Updates for new Syntax API

Use the common syntax highlighting preference page.
Use the API.

Needs scala-ide/scala-ide#811 to build.