Properly update find/replace overlay size and displayed widgets #2006#2030

Merged

HeikoKlare merged 1 commit intoeclipse-platform:masterfrom HeikoKlare:issue-2006

Jul 6, 2024

+40-27

Commits on Jul 6, 2024

Properly update find/replace overlay size and displayed widgets eclipse-platform#2006
HeikoKlare
committed