From 2f336a64d3201b9baf89a603dd5a95f44a71b447 Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Tue, 2 May 2017 13:30:36 -0700
Subject: [PATCH] Check dock focus using the DOM, not the active pane container
 state

---
 src/workspace.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/workspace.js b/src/workspace.js
index 59f165c45..37ebd7d50 100644
--- a/src/workspace.js
+++ b/src/workspace.js
@@ -471,7 +471,9 @@ module.exports = class Workspace extends Model {
   }
 
   didHideDock (dock) {
-    if (dock === this.activePaneContainer) {
+    const {activeElement} = document
+    const dockElement = dock.getElement()
+    if (dockElement === activeElement || dockElement.contains(activeElement)) {
       this.getCenter().activate()
     }
   }