editor: Don't merge adjacent selections (#44811)

Closes #24748

Release Notes:

- Adjacent selections are not merged anymore

---------

Signed-off-by: Marco Mihai Condrache <52580954+marcocondrache@users.noreply.github.com>
Signed-off-by: Marco Mihai Condrache
34122aeb21Marco Mihai Condrache committed on 12/15/2025, 4:32:54 PM· committed by GitHubparent6401ac0
3 files changedLine totals unavailable