process properties: use proper format for "CPU time" property

it should be the same as in "CPU time" column of process table now

adapted from
https://git.gnome.org/browse/gnome-system-monitor/commit/?id=3c1f17877f95fcac7f5d437739305e245af7ba8b

1 files changed, 2 insertions, 0 deletions

diff --git a/src/util.h b/src/util.h
index aae8482..3d6ef47 100644
--- a/src/util.h
+++ b/src/util.h
@@ -85,6 +85,8 @@ inline void unref_map_values(Map &map)
 
 namespace procman
 {
+    gchar* format_duration_for_display(unsigned centiseconds);
+
     void size_cell_data_func(GtkTreeViewColumn *col, GtkCellRenderer *renderer,
                              GtkTreeModel *model, GtkTreeIter *iter,
                              gpointer user_data);