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

r1334:049617d6
r5832:bcd0fff5
Show More
iptest.py
18 lines | 474 B | text/x-python | PythonLexer
#!/usr/bin/env python
"""Nose-based test runner.
"""
from nose.core import main
from nose.plugins.builtin import plugins
from nose.plugins.doctests import Doctest
import ipdoctest
from ipdoctest import IPDocTestRunner
if __name__ == '__main__':
print 'WARNING: this code is incomplete!'
print
pp = [x() for x in plugins] # activate all builtin plugins first
main(testRunner=IPDocTestRunner(),
plugins=pp+[ipdoctest.IPythonDoctest(),Doctest()])