scala-ide/scala-worksheet — pull request #142 by dotta (2013-06-05 20:33:38+00:00)
Title: Scanner classes no longer need a `colorManager`

Updated codebase to comply with
scala-ide/scala-ide@SHA: 7d846dfdb40a0dd5c5f9ab6376931d1322ef0130

(Let's try again, maybe the build kitty won't get lost this time)