From f395905d4e5fdd231c2f73c39e0fb10a58d6227b Mon Sep 17 00:00:00 2001
From: Ben Ogle <ogle.ben@gmail.com>
Date: Tue, 26 Nov 2013 15:46:01 -0800
Subject: [PATCH] Add destroyTooltip()

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

diff --git a/src/space-pen-extensions.coffee b/src/space-pen-extensions.coffee
index 2a7edd6be..1daf0aab6 100644
--- a/src/space-pen-extensions.coffee
+++ b/src/space-pen-extensions.coffee
@@ -82,6 +82,10 @@ jQuery.fn.hideTooltip = ->
     tip.leave(currentTarget: this)
     tip.hide()
 
+jQuery.fn.destroyTooltip = ->
+  @hideTooltip()
+  @tooltip('destroy')
+
 jQuery.fn.setTooltip.getKeystroke = getKeystroke
 jQuery.fn.setTooltip.replaceModifiers = replaceModifiers