[polari] entryArea: Disable type-ahead for insensitive entries

[Florian Müllner <fmuellner src gnome org>]

commit 4e1dd827c787fb0ebad67223fb208726c28efbbb
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Nov 28 16:19:55 2014 +0000

    entryArea: Disable type-ahead for insensitive entries
    
    The entry is not supposed to be focusable while the entry area is
    disabled (usually because the room is currently not connected),
    so don't let type-ahead handling bypass that.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=741756

 src/entryArea.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/entryArea.js b/src/entryArea.js
index 63e4875..fccbc6f 100644
--- a/src/entryArea.js
+++ b/src/entryArea.js
@@ -109,6 +109,9 @@ const EntryArea = new Lang.Class({
         if (!this._entry.get_mapped())
             return Gdk.EVENT_PROPAGATE;
 
+        if (!this.widget.sensitive)
+            return Gdk.EVENT_PROPAGATE;
+
         if (this._entry.has_focus)
             return Gdk.EVENT_PROPAGATE;