scala-ide/scala-ide — pull request #816 by dragos (2014-10-02 12:50:58+00:00)
Title: Scala Hover API and fixes

Based on #812.

- fixed performance of hovers (scaladoc build lazily, and after retrieving errors)
- fixed deadlock in quickfixes (hidden by timeout)
- moved more types to public editor API.