find/replace overlay: clean up PreferenceChangeListener#1948
Merged
iloveeclipse merged 1 commit intoeclipse-platform:masterfrom Wittmaxi:MW_resource_leakJun 10, 2024
+7-6
Commits
Commits on Jun 10, 2024
authored andMaximilian WittmercommittedMaximilian Wittmer