basti1302/startexplorer — pull request #56 by fabioz (2014-06-17 16:54:05+00:00)
Title: Providing a way to use elements in the tree which adapt to URI.class.

In PyDev there are some elements which are shown in the tree which are external resources (such as elements from the interpreter), which are not IResources but still map to a file.

This patch adds support for startexplorer for dealing with those elements (which adapt to URI.class).