From d3e946d31116ab487ab279e1d6f2d4c57d5d0bec 2012-05-31 20:08:26
From: Matthias BUSSONNIER <bussonniermatthias@gmail.com>
Date: 2012-05-31 20:08:26
Subject: [PATCH] make sticky time configurable

---

diff --git a/IPython/frontend/html/notebook/static/js/tooltip.js b/IPython/frontend/html/notebook/static/js/tooltip.js
index 20f49dc..eb19047 100644
--- a/IPython/frontend/html/notebook/static/js/tooltip.js
+++ b/IPython/frontend/html/notebook/static/js/tooltip.js
@@ -292,15 +292,16 @@ var IPython = (function (IPython) {
     // it won't be removed by remove_and_cancell() unless you called with
     // the first parameter set to true.
     // remove_and_cancell_tooltip(true)
-    Tooltip.prototype.stick = function()
+    Tooltip.prototype.stick = function(time)
     {
+        time = (time != undefined ) ? time:10;
         var that = this;
         this._sticky = true;
         this._clocklink.show('slow');
         this._stick_timeout = setTimeout( function(){
             that._sticky = false;
             that._clocklink.hide('slow');
-            }, 10*1000
+            }, time*1000
         );
     }