Community
Participate
Working Groups
Jonas noticed that the Spring Tools Suite still do not refresh resources on access. That is silly, most EPP have set it to true via their default and we also do this. As this is active for some time now, I suggest we active it.
New Gerrit change created: https://git.eclipse.org/r/118404
New Gerrit change created: https://git.eclipse.org/r/118405
Please push it for M6. This hasn't caused any issues and we should not punish downstreams like that.
Gerrit change https://git.eclipse.org/r/118404 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.resources.git/commit/?id=dae493ac944108bfe58e66e2a00ccd4f2c3ad128
Gerrit change https://git.eclipse.org/r/118405 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.git/commit/?id=87762a1ffaab0de6b8ac11ec638735a573ee9490
This should end the pain for so many Eclipse users. I actually assumed this solved long time ago and was shocked to learn that Spring Tools Suite users are still suffering from this silliness.
Sorry Mickael for the override, looks like we edited at the same time the properties.
New Gerrit change created: https://git.eclipse.org/r/118453
Gerrit change https://git.eclipse.org/r/118453 was merged to [master]. Commit: http://git.eclipse.org/c/www.eclipse.org/eclipse/news.git/commit/?id=82e4dde17db61f93f24a5bea625d5726f66f73d0