Community
Participate
Working Groups
org.eclipse.ui.images was recently reported as "still requiring a version below Java 1.7", so to avoid confusion we should update it to latest and greatest. Note for people listening to this bug: this plug-in does not contain any code.
See https://bugs.eclipse.org/bugs/show_bug.cgi?id=466775#c1
New Gerrit change created: https://git.eclipse.org/r/47481
I'm not sure *who* uses this plugin and if it is shipped with eclipse, what is the value of it? Even if this plugin contains no code but is shipped and somebody downstream depends on it, I don't see the value of breaking that one "just for fun".
(In reply to Andrey Loskutov from comment #3) > I'm not sure *who* uses this plugin and if it is shipped with eclipse, what > is the value of it? Thanks for expressing your concern, it should a great sense of quality. Don't worry, this plug-in is used to collect the svg graphics Tony is creating, it is not shipped.
Gerrit change https://git.eclipse.org/r/47481 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=c0ab1987945edb21a6b0771547ba8bf0652e61fa
.