##// END OF EJS Templates
edit text cells on double-click instead of single-click...
edit text cells on double-click instead of single-click Single-click to edit gets in the way of using interactive elements (e.g. non-flash videos), and select/copy of the rendered HTML. Switching to double-click makes the edit action more intentional.

File last commit:

r4053:b45902e3
r5832:bcd0fff5
Show More
__init__.py
4 lines | 82 B | text/x-python | PythonLexer
Thomas Spura
Unbundle of all external modules....
r3408 try:
from decorator import *
except ImportError:
from _decorator import *