search

PythonJS / PythonJS

PythonJS development has moved to Rusthon
https://github.com/rusthon/Rusthon
Other
886 stars 93 forks source link

HTMLDocument undefined #153

Open texcoffier opened 9 years ago

texcoffier commented 9 years ago

For some Internet Explorer version HTMLDocument is undefined.

In pythonjs/runtime/pythonpythonjs.py the following code should be added:

if not __NODEJS__ and not __WEBWORKER__:
        if typeof(HTMLDocument) == 'undefined':
                HTMLDocument = Document