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

r2109:93b5c4cd
r5832:bcd0fff5
Show More
show_refs.py
19 lines | 342 B | text/x-python | PythonLexer
"""Simple script to show reference holding behavior.
This is used by a companion test case.
"""
import gc
class C(object):
def __del__(self):
pass
#print 'deleting object...' # dbg
if __name__ == '__main__':
c = C()
c_refs = gc.get_referrers(c)
ref_ids = map(id,c_refs)
print 'c referrers:',map(type,c_refs)