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

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

Still needed for a follow-up PR: clean the old editor code and fix the last 2 uses of non-API classes.

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