diff --git a/lib/assets/libs/_browser.js b/lib/assets/libs/_browser.js new file mode 100644 --- /dev/null +++ b/lib/assets/libs/_browser.js @@ -0,0 +1,37 @@ +var $module=(function($B) { + return { + alert:function(message){window.alert($B.builtins.str(message))}, + confirm: $B.JSObject(window.confirm), + console:$B.JSObject(window.console), + document:$B.DOMNode(document), + doc: $B.DOMNode(document), //want to use document instead of doc + DOMEvent:$B.DOMEvent, + DOMNode:$B.DOMNode, + mouseCoords: function(ev){return $B.JSObject($mouseCoords(ev))}, + prompt: function(message, default_value){ + return $B.JSObject(window.prompt(message, default_value||'')) + }, + reload: function(){ + // Try to reload all scripts and all imported modules + var scripts=document.getElementsByTagName('script'),$elts=[] + // Freeze the list of scripts here ; other scripts can be inserted on + // the fly by viruses + for(var i=0;i