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

r4767:6c940b74
r5832:bcd0fff5
Show More
ipython_config.py
11 lines | 348 B | text/x-python | PythonLexer
c = get_config()
# If the master config file uses syntax that's invalid in Python 3, we'll skip
# it and just use the factory defaults.
try:
load_subconfig('ipython_config.py', profile='default')
except Exception:
pass
else:
# We reset exec_lines in case they're not compatible with Python 3.
c.InteractiveShellApp.exec_lines = []