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	Always select inserted text after piping	2019-01-23 20:14:08 +11:00
in	Always select inserted text after piping	2019-01-23 20:14:08 +11:00
out	Always select inserted text after piping	2019-01-23 20:14:08 +11:00
selections	Always select inserted text after piping	2019-01-23 20:14:08 +11:00