Community
Participate
Working Groups
Bug 303517 has been committed to HEAD. Next we would like to make the following API change in 3.7M7. Promote the preference String for this to public API. Currently the String is in RefreshManager, but would like to move it to ResourcesPlugin#PREF_LIGHTWEIGHT_AUTO_REFRESH next to PREF_AUTO_REFRESH.
I sent a request for approval to eclipse-pmc.
According to new rules, we need to wait two days before PMC voting is finished. Unless there are -1, we can release the change on Friday. No -1's so far.
James, could you release the fix please?
Fixed in HEAD.