scala-ide/scala-ide — pull request #182 by dotta (2012-08-15 13:56:52+00:00)
Title: New extension point for Source File Providers

* Add a new extension point for source file providers, which allows to reuse the declaration hyperlink logic from other plugins (e.g., the scala-worksheet).