Antonio Scandurra e46d1549d6 Retain selection's head (as opposed to its end) on insertion ... This makes a difference when an edit spans two excerpts and the selection start won't necessarily be the same as the selection end after the edit.		2023-06-06 10:12:15 +02:00
..
src	Retain selection's head (as opposed to its end) on insertion	2023-06-06 10:12:15 +02:00
Cargo.toml	WIP	2023-05-22 23:11:27 -06:00