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

r2661:595fc3b9
r5832:bcd0fff5
Show More
__init__.py
19 lines | 541 B | text/x-python | PythonLexer
"""
Package for dealing for process execution in a callback environment, in a
portable way.
killable_process.py is a wrapper of subprocess.Popen that allows the
subprocess and its children to be killed in a reliable way, including
under windows.
winprocess.py is required by killable_process.py to kill processes under
windows.
piped_process.py wraps process execution with callbacks to print output,
in a non-blocking way. It can be used to interact with a subprocess in eg
a GUI event loop.
"""
from pipedprocess import PipedProcess