Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[cross-project-issues-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
(https://bugs.eclipse.org/bugs/show_bug.cgi?id=255325#c10)

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



Back to the top