Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[eclipse-dev] Request for community comments on a change in IResourceChangeEvent

If you use IResourceChangeListener API from org.eclipse.core.resources,
particularly IResourceChangeEvent#PRE_REFRESH event,
please look at bug 255325 and comment 10

The suggested fix could disturb compatibility and I would like to hear your
comments on it.
Szymon Brandys

Back to the top