find/replace overlay: clean up PreferenceChangeListener #1948
Jenkins - Eclipse Platform / Maven
succeeded
Jun 10, 2024 in 0s
No new issues, 1 total
| Total | New | Outstanding | Fixed | Trend |
|---|---|---|---|---|
| 1 | 0 | 1 | 0 | 💤 |
Reference build: eclipse.platform.ui » master #489
Details
Severity distribution of all issues
| Error | Warning High | Warning Normal | Warning Low |
|---|---|---|---|
| 0 | 0 | 1 | 0 |
Loading