FindReplaceOverlay: avoid inconsistent borders #2194#2477
Merged
HeikoKlare merged 1 commit intoeclipse-platform:masterfrom Nov 3, 2024
Merged
FindReplaceOverlay: avoid inconsistent borders #2194#2477HeikoKlare merged 1 commit intoeclipse-platform:masterfrom
HeikoKlare merged 1 commit intoeclipse-platform:masterfrom