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