def show_js(ev): src = editor.getValue() doc["console"].value = javascript.py2js(src, '__main__')
def show_js(): preCode = "from browser import document as doc, window, alert;\nworld=window.world;\nplayerNum=window.playerNum;\n" postCode = "\nwindow.result=getPyPlayersCommands(world,playerNum);" userCode = editor.getValue() src = preCode + "" + userCode + "" + postCode window.newPySrc = javascript.py2js(src, '__main__')
def show_js(ev): src = editor.getValue() doc["console"].value = javascript.py2js(src, '__main__')
def show_js(userCode): src=preCode + "" + userCode + "" + postCode; window.newPySrc = javascript.py2js(src, '__main__')