diff options
| author | Benjamin Otte <otte@gnome.org> | 2007-10-22 11:15:48 +0200 |
|---|---|---|
| committer | Benjamin Otte <otte@gnome.org> | 2007-10-28 18:41:37 +0100 |
| commit | 169c6c68a0636ceae3221f7d24571e6708b6b886 (patch) | |
| tree | 29fa03ec526bfcb0db9f1d9ecccfc59421a84520 /player | |
| parent | 6b7db76dca6e8c3024a24b239b4dab34ab332f08 (diff) | |
set player window non-interactive when paused
We don't want to have lots of mouse events doing weird things
Diffstat (limited to 'player')
| -rw-r--r-- | player/swfdec-window-handlers.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/player/swfdec-window-handlers.c b/player/swfdec-window-handlers.c index 189cb40..44cba4f 100644 --- a/player/swfdec-window-handlers.c +++ b/player/swfdec-window-handlers.c @@ -67,10 +67,14 @@ menu_file_open (GtkAction *action, SwfdecWindow *window) void menu_file_play (GtkToggleAction *action, SwfdecWindow *window) { + GObject *o; + window->settings.playing = gtk_toggle_action_get_active (action); if (window->player) { swfdec_gtk_player_set_playing (SWFDEC_GTK_PLAYER (window->player), window->settings.playing); + o = gtk_builder_get_object (window->builder, "player-widget"); + swfdec_gtk_widget_set_interactive (SWFDEC_GTK_WIDGET (o), window->settings.playing); } } |