##// 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

File last commit:

r3408:261328d5
r5400:d388be14
Show More
__init__.py
4 lines | 72 B | text/x-python | PythonLexer
try:
from Itpl import *
except ImportError:
from _Itpl import *