A technique for improving text editing on touchscreen devices. (August 2018)