Hi all, I've suggested https://github.com/eclipse-platform/eclipse.platform.ui/pull/219 which is expected to facilitate addition of extra events in the e4 workbench. It's only a change in API contract (no actual payload/breaking change at runtime). The impact would be that some people would then see some API Tools error is they do implement the interface; but this change is backward compatible. Please add your concerns or approval to this issue. If there is no concern, I'll probablu merge it by the end of this week or next week.
Cheers, -- Mickael Istria Eclipse IDE <https://www.eclipse.org/eclipseide> developer, for Red Hat Developers <https://developers.redhat.com/>
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
