scala-ide/scala-worksheet — pull request #141 by dotta (2013-06-05 15:52:10+00:00)
Title: Scanner classes no longer need a `colorManager`

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