Allow highlighting editor rows from multiple sources concurrently (#9153)

41dc5fc412Kirill Bulatov committed on 3/11/2024, 12:17:32 AM· committed by GitHubparentf4a86e6
9 files changedLine totals unavailable