I20240610-1800
tagged this
10 Jun 17:28
The PreferenceChangeListener now starts listening when an Overlay was created and stops listening once the Overlay is disposed of. Fixes a previous resource leak. fixes jdt#1444