Community
Participate
Working Groups
According to Bug 403190 the plug-in org.eclipse.e4.ui.model.workbench.edit is not used anymore. I suggest to delete it. It will still be accessible via the Git history.
An example why he should remove this bundle, is that Tony (who provide new icons for the platfrom) redraw also the gif as svg for this plug-in. This is a waste of resources we should avoid.
https://git.eclipse.org/r/21283
Paul, I think you asked me about this plug-in in IRC. I think it can be deleted.
I going to delete this today, if the Gerrit change builds fine. David I added you, just in case this has a side effect but AFAIK this plug-in is outdated.
Fixed with https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=2ce422edf938b3ae7040a725c2a131d4895d1250
.
*** Bug 429412 has been marked as a duplicate of this bug. ***
Verified in Git repo