bug#10304: 24.0.92: display bug

[Eli Zaretskii]

> From: Lars Magne Ingebrigtsen <larsi@gnus.org>
> Cc: 10304@debbugs.gnu.org
> Date: Sat, 05 Jan 2013 10:17:51 +0100
> 
> By the way, perhaps the trace log should have timestamping on the lines
> to be able to match it up more easily to user actions?

What would you compare those time stamps with, to find out what trace
corresponds to which user action?