Do not unhide find/replace overlay of other editors when resizing #2059#2062

Merged

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

Jul 9, 2024

+16-17

Commits on Jul 9, 2024

Do not unhide find/replace overlay of other editors when resizing eclipse-platform#2059
HeikoKlare
committed