jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #1036 from ajaxorg/worker-api-compatibility

Browse source 
[Trivial] Update worker API compatibility
This commit is contained in:
Mostafa Eweda 2012-10-15 10:01:49 -07:00
commit 2a41a7e929
2 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
lib/ace/worker/worker.js
View file

@ -1,8 +1,13 @@
"no use strict"; "no use strict";
var console = { var console = {
log: function(msgs) { log: function() {
postMessage({type: "log", data: arguments.join(" ")}); var msgs = Array.prototype.slice.call(arguments, 0);
postMessage({type: "log", data: msgs});
},
error: function() {
var msgs = Array.prototype.slice.call(arguments, 0);
postMessage({type: "log", data: msgs});
} }
}; };
var window = { var window = {

2
lib/ace/worker/worker_client.js
View file

@ -84,7 +84,7 @@ var WorkerClient = function(topLevelNamespaces, mod, classname) {
var msg = e.data; var msg = e.data;
switch(msg.type) { switch(msg.type) {
case "log": case "log":
window.console && console.log && console.log(msg.data); window.console && console.log && console.log.apply(console, msg.data);
break; break;
case "event": case "event":