|Re: [embed-cdt-dev] Renaming features without breaking compatibility?|
IIRC the extension id will be the plugin name followed by the ID in plugin.xml if it has no dot, so the way to do it is add fully qualified name into plugin.xml.
However I think this depends on the extension point implementation so it is a convention, not enforced.
On Tue., Nov. 3, 2020, 06:05 Liviu Ionescu, <ilg@xxxxxxxxxx> wrote:
Marc & team,
I started to rename the plug-ins, and apparently things are fine, just that I would like to define extension point with the old IDs.
Do you know if there is any trick to do it without having to bring back minimalistic plug-ins with the old IDs only to define the extension point?
In other words, is it possible to define extension points with IDs that do not match the current plugin ID?
embed-cdt-dev mailing list
To unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/embed-cdt-dev
_______________________________________________ embed-cdt-dev mailing list embed-cdt-dev@xxxxxxxxxxx To unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/embed-cdt-dev
Back to the top