-
Also change the display of the timestamps. When the timestamp has millis, for example .500, .100, etc. only the millis are displayed. Considering that they are displayed with a smaller font, it should make more visible the timestamp showing the relevant second. Reviewed-by: Thibault Saunier <tsaunier@gnome.org> Differential Revision: https://phabricator.freedesktop.org/D561
c5e5d11a