ninja-ide/ninja-ide — pull request #69 by diegosarmentero (2011-11-21 12:01:09+00:00)
Title: Adding a service to the explorer in the plugin api to retrieve some treeItem with the path and then change the icon.

Adding a service to the explorer in the plugin api to retrieve some treeItem with the path and then change the icon.