From 413078a493f34c94ce4cc56597c4d65079dd4dad Mon Sep 17 00:00:00 2001
From: Ben Ogle <ogle.ben@gmail.com>
Date: Tue, 26 Nov 2013 15:35:47 -0800
Subject: [PATCH] Add hideTooltip function to hide the tip right now.

---
 src/space-pen-extensions.coffee | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/space-pen-extensions.coffee b/src/space-pen-extensions.coffee
index 3d086f736..2a7edd6be 100644
--- a/src/space-pen-extensions.coffee
+++ b/src/space-pen-extensions.coffee
@@ -76,6 +76,12 @@ jQuery.fn.setTooltip = (tooltipOptions, {command, commandElement}={}) ->
 
   this.tooltip(jQuery.extend({}, tooltipDefaults, tooltipOptions))
 
+jQuery.fn.hideTooltip = ->
+  tip = @data('bs.tooltip')
+  if tip
+    tip.leave(currentTarget: this)
+    tip.hide()
+
 jQuery.fn.setTooltip.getKeystroke = getKeystroke
 jQuery.fn.setTooltip.replaceModifiers = replaceModifiers