"""Core: JavaScript compatibility layer""" window_width = 1000 window_height = 500 try: [].append(0) import re def match(pattern, text): m = re.match(pattern, text, re.MULTILINE) if m: return m.group(0) == text def join(t, sep='·'): return sep.join(t) def strip(t): return t.strip() def backslash(txt): return txt.replace('\n','\\n').replace('\t','\\t') context = "Python" body = None except: o = Object o.defineProperty(Array.prototype, 'append' , {'enumerable': False,'value': Array.prototype.push}) def match(pattern, text): return text.replace(RegExp(pattern), '') == '' def join(t, sep='·'): return t.join(sep) def strip(t): return t.trim() def str(x): return '' + x def backslash(txt): return txt.replace(RegExp('\n','g'),'\\n' ).replace(RegExp('\t','g'),'\\t') def ord(x): return x.charCodeAt(0) def _array_insert_(index, data): this.splice(index, 0, data) o.defineProperty(Array.prototype, 'insert' , {'enumerable': False,'value': _array_insert_}) ; context = "JavaScript" try: body = document.getElementsByTagName('BODY')[0] window_width = window.innerWidth window_height = window.innerHeight except: body = None