Community
Participate
Working Groups
As discussed on the e4 mailing list, it might be useful to add @Deprecated to existing elements which currently only use the @deprecated Javadoc annotation. Gerrit review https://git.eclipse.org/r/14611 I used Source -> Clean Up... to generate the @Deprecated annotations.
Fixed a while ago with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=e79addb8cf6629df2725d86bc4084b9775ffea09
(In reply to Lars Vogel from comment #1) > Fixed a while ago with > https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/ > ?id=e79addb8cf6629df2725d86bc4084b9775ffea09 OK, so marking as FIXED then ;-).
Verified (visually) in 4.4.0.I20140528-2000.