Community
Participate
Working Groups
In https://git.eclipse.org/r/#/c/148263/ Christoph Laeubrich added a method in PlatformUI to access the preference store of a plug-in. As this creates new API we should do this is a separate bug.
Christoph, please provide a Gerrit for the change in PlatformUI.
Removed milestone as no one reacted to https://www.eclipse.org/lists/eclipse-dev/msg11217.html.
Fixed via Bug 550372