Maxime Coste 370d10ccc7 Always select inserted text after piping ... Relying on general selection update code is error prone due to diffing. Fixes #2394		2019-01-23 20:14:08 +11:00
..
cmd	Fix assertion when replacing with empty strings	2017-07-14 13:08:29 +09:00
in	Fix assertion when replacing with empty strings	2017-07-14 13:08:29 +09:00
out	Fix assertion when replacing with empty strings	2017-07-14 13:08:29 +09:00
state	Always select inserted text after piping	2019-01-23 20:14:08 +11:00