diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-07 03:21:31 +0200 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-07 03:21:31 +0200 |
commit | aa2c8400473335936c40ef04603f9e5980372d9a (patch) | |
tree | d9d284933467911b54f77a746fd4dcb1c20edd39 /src/main.c | |
parent | 65da91482b50e158712cbb9e39f3e44068d9274a (diff) | |
download | experiment-player-aa2c8400473335936c40ef04603f9e5980372d9a.tar.gz |
redesigned video player controls
totem-like play/stop buttons, but in one HBox
* also added a volume button
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -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 |