Skip to content

I20230718-1800

I20230718-1800: Use equinox preferences APIs in UserStringMappings #497
@zelenyhleb zelenyhleb tagged this 18 Jul 09:02 
Replacing deprecated Preferences API usage with modern Equinox
Preferences API.

Partially fixes
https://github.com/eclipse-platform/eclipse.platform/issues/497
Assets 2
Loading