format_time(): Use the timestamp type in the calculation
tree0cdd89050beb1483690f3ce44ff2cd5a32c88c1d
-rw-r--r-- 703 .gitignore
drwxr-xr-x - CMake
-rw-r--r-- 14050 CMakeLists.txt
-rw-r--r-- 35147 COPYING
-rw-r--r-- 7388 Doxyfile
-rw-r--r-- 3050 HACKING
-rw-r--r-- 1483 INSTALL
-rw-r--r-- 6123 NEWS
-rw-r--r-- 1571 README
drwxr-xr-x - android
-rw-r--r-- 1309 config.h.in
drwxr-xr-x - contrib
drwxr-xr-x - doc
-rw-r--r-- 1044 extdef.h
drwxr-xr-x - icons
-rw-r--r-- 4403 main.cpp
-rw-r--r-- 1204 pulseview.qrc
-rw-r--r-- 58 pulseviewico.rc
drwxr-xr-x - pv
-rw-r--r-- 2299 signalhandler.cpp
-rw-r--r-- 1339 signalhandler.hpp
drwxr-xr-x - test