scala-ide/scala-ide — pull request #827 by dragos (2014-10-08 17:48:42+00:00)
Title: Fix syntax color preference page

See commits.