Community
Participate
Working Groups
During the transition from gifs to png we left a view gifs as the opened views would persists them. I suggest to remove them now, its been a few years and continuing to carry this "garbage" is not good for our users in general as they unnecessary increase download size.
Matthias, what you you think?
Also, I think we can clean the eclipse.platform.image master from gifs.
(In reply to Lars Vogel from comment #2) > Also, I think we can clean the eclipse.platform.image master from gifs. I already did this. See https://git.eclipse.org/r/#/c/145105/
No objections for the normal repo?
(In reply to Lars Vogel from comment #4) > No objections for the normal repo? I am not sure about this. Is the persisteted path to the GIFs (I think in workbench.xmi) updated once you open that view? If this is the case we can assume that all (most) users have opened these views in old workspaces. If not then these path remain as long as the workspace lives.
(In reply to Matthias Becker from comment #5) > (In reply to Lars Vogel from comment #4) > > No objections for the normal repo? > > I am not sure about this. Is the persisteted path to the GIFs (I think in > workbench.xmi) updated once you open that view? If this is the case we can > assume that all (most) users have opened these views in old workspaces. If > not then these path remain as long as the workspace lives. The can simply close the view and open it again. We can add a section to the N&N so that it is easier to find for the user.
New Gerrit change created: https://git.eclipse.org/r/149411
I postphone this for another release.
Plan to do this early 4.17
New Gerrit change created: https://git.eclipse.org/r/163429
New Gerrit change created: https://git.eclipse.org/r/163430
Gerrit change https://git.eclipse.org/r/163430 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ua.git/commit/?id=4f930563e77818bbc00b4417fb29eca3631dacc1
Gerrit change https://git.eclipse.org/r/149411 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=30a3908271366b21ec15e2f5de4b77a91e33089d
Gerrit change https://git.eclipse.org/r/163429 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ua.git/commit/?id=c094c33c077db74c27fe0256912225f80145ae09
New Gerrit change created: https://git.eclipse.org/r/164756
New Gerrit change created: https://git.eclipse.org/r/164759
New Gerrit change created: https://git.eclipse.org/r/164760
New Gerrit change created: https://git.eclipse.org/r/164762
New Gerrit change created: https://git.eclipse.org/r/164763
New Gerrit change created: https://git.eclipse.org/r/164764
New Gerrit change created: https://git.eclipse.org/r/164765
New Gerrit change created: https://git.eclipse.org/r/164766
New Gerrit change created: https://git.eclipse.org/r/164768
New Gerrit change created: https://git.eclipse.org/r/164769
New Gerrit change created: https://git.eclipse.org/r/164770
Gerrit change https://git.eclipse.org/r/164756 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse/news.git/commit/?id=9c72cafe2fc460bc5bda838106492df9d5fa2525
New Gerrit change created: https://git.eclipse.org/r/164772
New Gerrit change created: https://git.eclipse.org/r/164773
New Gerrit change created: https://git.eclipse.org/r/164774
Gerrit change https://git.eclipse.org/r/164762 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ua.git/commit/?id=6e35310599ab5daebc2a0c981137478b720e9c8a
Gerrit change https://git.eclipse.org/r/164769 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.debug.git/commit/?id=cc1977f7a7fb462f2f4d8c9708201e5f4625ee50
Gerrit change https://git.eclipse.org/r/164760 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=36551d00f0626337d2f2c12629e3e892591a1d02
Gerrit change https://git.eclipse.org/r/164764 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=4fbf902102ed5ce3b0a325f24793352d338f1ffd
Gerrit change https://git.eclipse.org/r/164763 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.team.git/commit/?id=494ada4f81a713f73c0b3e5dd2d71e572af6e21a
Gerrit change https://git.eclipse.org/r/164759 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.debug.git/commit/?id=9f4636a908b8d4b6b82f1681125faa3ed6b32e55
Gerrit change https://git.eclipse.org/r/164765 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=6d3245f2058201dba1f926e3a982dbfbc1ce4b6a
Gerrit change https://git.eclipse.org/r/164766 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=a82101c1903905d37d90d9413b4f74816b3677fd
Gerrit change https://git.eclipse.org/r/164772 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=189a63aa70053cd60226639335d17eba84fc6396
Gerrit change https://git.eclipse.org/r/164768 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=dcfa044502b13c30c56a41b0d4fcca8ea0608dc6
Gerrit change https://git.eclipse.org/r/164773 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=18247716387ebb8b908b6c5f2507f5f8ce78d55e
Gerrit change https://git.eclipse.org/r/164774 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=9f1f6553f4b490c3590e4cb549317c9056fd4fdb
Gerrit change https://git.eclipse.org/r/164770 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=6edf4dba6c88668b945ee57d3df82e08c40edb20
I think we are done here.
(In reply to Lars Vogel from comment #43) > I think we are done here. This caused a regression, see bug 574805. "Workaround" from comment 6 isn't working, the same broken icon is shown after restart.
