diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-06-14 20:10:15 +0200 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-06-14 20:10:15 +0200 |
| commit | 25acc644932fc8629941a8d9d96d253e15b393a2 (patch) | |
| tree | 725a1a569596be73bb6d2c47a4476cf5d663666b /src/experiment-player.h | |
| parent | a202984cc9fdedb6ced326653b6790890211ae60 (diff) | |
| download | experiment-player-25acc644932fc8629941a8d9d96d253e15b393a2.tar.gz | |
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
Diffstat (limited to 'src/experiment-player.h')
| -rw-r--r-- | src/experiment-player.h | 16 |
1 files changed, 16 insertions, 0 deletions
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 |