Added option to highlight edited times

Resolves #1732.