From 65c7db386ad751f8795ba8883c267e27d783d6dd Mon Sep 17 00:00:00 2001 From: nightwing Date: Fri, 17 Nov 2017 22:13:37 +0000 Subject: [PATCH] close tab tooltip after closing tabs --- plugins/c9.ide.editors/pane.js | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/c9.ide.editors/pane.js b/plugins/c9.ide.editors/pane.js index d9e06380..9cc286a2 100644 --- a/plugins/c9.ide.editors/pane.js +++ b/plugins/c9.ide.editors/pane.js @@ -297,6 +297,7 @@ define(function(require, module, exports) { tooltip = null; } }); + plugin.on("afterSwitch", hide); } function createEditor(type, callback) {