https://help.eclipse.org/latest/nftopic/org.eclipse.platform.doc.isv/reference/api/org/eclipse/ui/internal/PlatformUIPreferenceListener.html
PlatformUIPreferenceListener (Eclipse Platform API Specification)
declaration: package: org.eclipse.ui.internal, class: PlatformUIPreferenceListener
platform apieclipsespecification