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/main.c | |
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/main.c')
-rw-r--r-- | src/main.c | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -61,6 +61,8 @@ GtkWidget *player_widget, *playpause_button, *volume_button; +GtkWidget *player_window_statusbar; + GtkWidget *transcript_table, *transcript_wizard_widget, *transcript_proband_widget, @@ -97,6 +99,24 @@ help_menu_about_item_activate_cb(GtkWidget *widget, /** @private */ void +player_widget_length_changed_cb(GtkWidget *widget, gint64 new_length, + gpointer data __attribute__((unused))) +{ + gtk_label_set_text(GTK_LABEL(widget), + format_timepoint("Length: ", new_length)); +} + +/** @private */ +void +player_widget_time_changed_cb(GtkWidget *widget, gint64 new_time, + gpointer data __attribute__((unused))) +{ + gtk_label_set_text(GTK_LABEL(widget), + format_timepoint("Time: ", new_time)); +} + +/** @private */ +void playpause_button_clicked_cb(GtkWidget *widget, gpointer data) { gboolean is_playing = gtk_vlc_player_toggle(GTK_VLC_PLAYER(widget)); @@ -381,6 +401,8 @@ main(int argc, char *argv[]) BUILDER_INIT(builder, playpause_button); BUILDER_INIT(builder, volume_button); + BUILDER_INIT(builder, player_window_statusbar); + BUILDER_INIT(builder, quickopen_menu); BUILDER_INIT(builder, quickopen_menu_empty_item); |