

def activate_javascript(txt):
    fileref = DOM.createElement('script')
    fileref.text = txt
    fileref.type = 'text/javascript'
    fileref.language = 'javascript'
    fileref = fileref.cloneNode(True)
    doc().getElementsByTagName('head').item(0).appendChild(fileref)

dataset/ETHPy150Open anandology/pyjamas/library/dynamic.py activate_javascript/original