[platform-dev] Request review for new extension point

[Mickael Istria <mistria@xxxxxxxxxx>]

Hi folks,

I'm willing to introduce a new extension point to customize quick-access (currently only adding new content). I've submitted a set of patches to Gerrit, and before I merge them, I'd appreciate if someone can review the extension point and API proposal.

To do so, you can look at https://git.eclipse.org/r/#/c/139738/ which shows the extension point and https://git.eclipse.org/r/#/c/139756/ which is a client of this extension point and API.

https://git.eclipse.org/r/#/c/139736/ focuses on the 3 classes (2 actually) that are moved to API and should be used by extenders.

In case I see no negative review by Friday, I'll merge the patches.

Thanks in advance,

--

Mickael Istria

Eclipse IDE developer, for Red Hat Developers