From 25acc644932fc8629941a8d9d96d253e15b393a2 Mon Sep 17 00:00:00 2001
From: Robin Haberkorn <robin.haberkorn@googlemail.com>
Date: Thu, 14 Jun 2012 20:10:15 +0200
Subject: status bar to display current time and video length

 * currently, when video is stopped or paused and time is changed there are no time updates
---
 src/experiment-player.h | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'src/experiment-player.h')

diff --git a/src/experiment-player.h b/src/experiment-player.h
index 7c7a620..5775592 100644
--- a/src/experiment-player.h
+++ b/src/experiment-player.h
@@ -58,6 +58,8 @@ extern GtkWidget *player_widget,
 		 *playpause_button,
 		 *volume_button;
 
+extern GtkWidget *player_window_statusbar;
+
 extern GtkWidget *transcript_table,
 		 *transcript_wizard_widget,
 		 *transcript_proband_widget,
@@ -229,4 +231,18 @@ path_strip_extension(const gchar *filename)
 	return ret;
 }
 
+/** @public */
+static inline const gchar *
+format_timepoint(const gchar *prefix, gint64 timept)
+{
+	static gchar buf[255];
+
+	g_snprintf(buf, sizeof(buf),
+		   "%s%" G_GINT64_FORMAT ":%02" G_GINT64_FORMAT,
+		   prefix != NULL ? prefix : "",
+		   timept / (1000*60), (timept/1000) % 60);
+
+	return buf;
+}
+
 #endif
\ No newline at end of file
-- 
cgit v1.2.3