Recheck font metrics when font is changed
Add a metadata mapping to every line in the display
Show line timestamps in hover message
Retain window size, as well as position, across restarts