better intraline highlighting when using undo