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
in
out	Fix assertion when replacing with empty strings	2017-07-14 13:08:29 +09:00
state