scala-ide/scala-ide-play2 — pull request #231 by dragos (2014-10-02 12:55:58+00:00)
Title: Adapt hovers

See scala-ide/scala-ide#816