search

eclipse-platform / eclipse.platform.resources

Eclipse Public License 2.0
3 stars 18 forks source link

Inconsitent listener registration in ResourcesPlugin #65

Closed laeubi closed 2 years ago

laeubi commented 2 years ago

In the start method, the listener is registered here PI_RESOURCES: https://github.com/eclipse-platform/eclipse.platform.resources/blob/9f4a8a1ff184c776e19312f147326c25731706fc/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java#L487

but on stop unregistered here with PREF_MISSING_NATURE_MARKER_SEVERITY: https://github.com/eclipse-platform/eclipse.platform.resources/blob/9f4a8a1ff184c776e19312f147326c25731706fc/bundles/org.eclipse.core.resources/src/org/eclipse/core/resources/ResourcesPlugin.java#L451

the later seems wrong here as this is a preference but not a node.