scala-ide/scala-ide — pull request #645 by sschaef (2014-02-25 12:21:51+00:00)
Title: T1001702 highlight dynamic

I created this branch about a year ago, I hope I got it now finally in a state where it can be merged.