From f578b837556d2d025a30a97de6294054dc97d0b5 Mon Sep 17 00:00:00 2001 From: "kasperl@google.com" Date: Wed, 23 May 2012 13:09:38 +0000 Subject: [PATCH] Change the default Dart-to-JavaScript compiler in the editor to be dart2js. R=ahe@google.com,devoncarew@google.com BUG= TEST= Review URL: https://chromiumcodereview.appspot.com//10414077 git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@7905 260f80e4-7a28-3924-810f-c04153c831b5 --- client/dart.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/client/dart.js b/client/dart.js index 989fb5fc4fc..061d78c96d2 100644 --- a/client/dart.js +++ b/client/dart.js @@ -19,10 +19,10 @@ if (navigator.webkitStartDart) { // // // If the script tag has a 'data-compiler' attribute set to - // dart2js then we use the dart2js generated file rather than the - // one produced by frog: + // frog then we use the frog generated file rather than the + // one produced by dart2js: // - // + // // var scripts = document.getElementsByTagName("script"); var length = scripts.length; @@ -33,7 +33,7 @@ if (navigator.webkitStartDart) { if (scripts[i].src && scripts[i].src != '') { var script = document.createElement('script'); var compiler = scripts[i].getAttribute('data-compiler'); - if (compiler == "dart2js") { + if (compiler == "frog") { script.src = scripts[i].src + '.js_'; } else { script.src = scripts[i].src + '.js';