Full refresh when highlighting text is quite annoying, I fixed it by using 'ui' refresh type. And this patch also fixed a bug that after cleaning temporary highlights the screen is not refreshed.