[gnome-documents/wip/ui-changes] embed: workaround a GTK bug

[Cosimo Cecchi <cosimoc src gnome org>]

commit 5a07b1705c3bbf976c47df8d61d9d637debe9bcb
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Wed Nov 28 18:49:26 2012 -0500

    embed: workaround a GTK bug
    
    Apparently the actions associated with a button also get activated if
    the widget is hidden.
    Work this around by also making it insensitive, until the bug is fixed
    in GTK.

 src/embed.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/embed.js b/src/embed.js
index 50e5706..6084ed5 100644
--- a/src/embed.js
+++ b/src/embed.js
@@ -446,6 +446,7 @@ const Embed = new Lang.Class({
     _onFullscreenChanged: function(controller, fullscreen) {
         Gtk.Settings.get_default().gtk_application_prefer_dark_theme = fullscreen;
         this._toolbar.widget.visible = !fullscreen;
+        this._toolbar.widget.sensitive = !fullscreen;
     },
 
     _onWindowModeChanged: function(object, newMode, oldMode) {