languages/dart-sdk
languages/dart-sdk
1
0
Fork 0
mirror of https://github.com/dart-lang/sdk synced 2024-11-05 18:22:09 +00:00
Code Issues Projects Releases Packages Wiki Activity

Change the default Dart-to-JavaScript compiler in the editor to be dart2js.

Browse source 
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
This commit is contained in:
kasperl@google.com 2012-05-23 13:09:38 +00:00
parent ef3b8d8cba
commit f578b83755
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
client/dart.js
View file

@ -19,10 +19,10 @@ if (navigator.webkitStartDart) {
// <script type="application/dart" src="<file>.dart"></script>
//
// 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:
//
// <script ... data-compiler="dart2js"></script>
// <script ... data-compiler="frog"></script>
//
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';