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

r2058:7e8fc59a
r5832:bcd0fff5
Show More
pycolor
6 lines | 183 B | text/plain | TextLexer
#!/usr/bin/env python
# -*- coding: utf-8 -*-
"""Simple wrapper around PyColorize, which colorizes python sources."""
import IPython.utils.PyColorize
IPython.utils.PyColorize.main()