##// END OF EJS Templates
Make the time before activating a tooltip configurable...
Make the time before activating a tooltip configurable add a section in the left pannel of the notebook to make the time before triggering a tooltip when pressign "(" configurable. Negative values will disable the tooltip (comparaison at each keypress for now, but can be improved) The syle of the <input> field should be a little improve, why not a slider with jquerry
Matthias BUSSONNIER -
r5400:d388be14
Show More
Name Size Modified Last Commit Author
/ IPython / testing
plugin
tests
__init__.py Loading ...
_paramtestpy2.py Loading ...
_paramtestpy3.py Loading ...
decorators.py Loading ...
globalipapp.py Loading ...
iptest.py Loading ...
ipunittest.py Loading ...
mkdoctests.py Loading ...
nosepatch.py Loading ...
skipdoctest.py Loading ...
tools.py Loading ...