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 pipe logic in the case where the selections were accessed in the cmdline	2017-11-08 00:02:49 +08:00
in	Fix pipe logic in the case where the selections were accessed in the cmdline	2017-11-08 00:02:49 +08:00
out	Fix pipe logic in the case where the selections were accessed in the cmdline	2017-11-08 00:02:49 +08:00
selections	Always select inserted text after piping	2019-01-23 20:14:08 +11:00