Try display properties for time stamps #304
Description
Might work better than text properties to avoid moving into them, and be faster than overlays …
{{ message }}
Might work better than text properties to avoid moving into them, and be faster than overlays …