scala-ide/scala-ide — pull request #132 by dragos (2012-06-26 15:21:16+00:00)
Title: Forward verbose messages from the presentation compiler.

Log verbose messages from the presentation compiler through the Scala IDE log system.