From aa2c8400473335936c40ef04603f9e5980372d9a Mon Sep 17 00:00:00 2001 From: Robin Haberkorn Date: Mon, 7 May 2012 03:21:31 +0200 Subject: redesigned video player controls totem-like play/stop buttons, but in one HBox * also added a volume button --- src/default.ui | 80 ++++++++++++++++++++++++++++++++++++++++++---------------- src/main.c | 12 ++++++--- 2 files changed, 66 insertions(+), 26 deletions(-) (limited to 'src') diff --git a/src/default.ui b/src/default.ui index ac000e6..7424059 100644 --- a/src/default.ui +++ b/src/default.ui @@ -8,7 +8,7 @@ 400 300 - + True @@ -120,31 +120,22 @@ - + True - False - True - False - - - False - False - 2 - - - - - True - 6 - start - gtk-media-play True True True - True + none + + + True + gtk-media-play + 2 + + False @@ -154,12 +145,18 @@ - gtk-media-stop True True True - True + none + + + True + gtk-media-stop + 2 + + False @@ -167,11 +164,50 @@ 1 + + + True + False + True + False + + + 2 + + + + + True + True + True + True + none + False + vertical + 1 + audio-volume-muted +audio-volume-high +audio-volume-low +audio-volume-medium + + + True + audio-volume-high + 2 + + + + + False + False + 3 + + False False - 3 + 2 diff --git a/src/main.c b/src/main.c index 49042ff..3d8ea03 100644 --- a/src/main.c +++ b/src/main.c @@ -21,10 +21,14 @@ static GtkWidget *window, void playpause_button_clicked_cb(GtkWidget *widget, gpointer data) { - gtk_button_set_label(GTK_BUTTON(data), - gtk_vlc_player_toggle(GTK_VLC_PLAYER(widget)) - ? "gtk-media-play" - : "gtk-media-pause"); + GtkWidget *image = gtk_bin_get_child(GTK_BIN(data)); + gboolean is_playing; + + is_playing = gtk_vlc_player_toggle(GTK_VLC_PLAYER(widget)); + gtk_image_set_from_stock(GTK_IMAGE(image), + is_playing ? "gtk-media-play" + : "gtk-media-pause", + GTK_ICON_SIZE_SMALL_TOOLBAR); } void -- cgit v1.2.3