Alessandro Leo

Results 3 comments of Alessandro Leo

If I understood correctly, you want to remove some references to the deprecated class `org.eclipse.core.runtime.Preferences` from the runtime module. This will break all the plugins that use deprecated methods like...

For example, if we remove the method `Plugin.getPluginPreferences()` then all plugins that still use it will not compile anymore. I don't see why we should replace those references, preferences are...

I get it now, I didn't know that `org.eclipse.core.runtime.Preferences` was used by other modules in the project (I had imported only the runtime module and I could only find references...