OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
| 5 var warning = [ |
| 6 'WARNING: This page is using a deprecated dart.js file. ', |
| 7 'Please update this page as described here: ', |
| 8 'http://news.dartlang.org/2013/01/big-breaking-change-dartjs-bootstrap-file-mo
ving-to-pub.html' |
| 9 ].join(''); |
| 10 console.error(warning); |
| 11 |
5 // Bootstrap support for Dart scripts on the page as this script. | 12 // Bootstrap support for Dart scripts on the page as this script. |
6 if (navigator.webkitStartDart) { | 13 if (navigator.webkitStartDart) { |
7 if (!navigator.webkitStartDart()) { | 14 if (!navigator.webkitStartDart()) { |
8 document.body.innerHTML = 'This build has expired. Please download a new Da
rtium at http://www.dartlang.org/dartium/index.html'; | 15 document.body.innerHTML = 'This build has expired. Please download a new Da
rtium at http://www.dartlang.org/dartium/index.html'; |
9 } | 16 } |
10 } else { | 17 } else { |
11 // TODO: | 18 // TODO: |
12 // - Support in-browser compilation. | 19 // - Support in-browser compilation. |
13 // - Handle inline Dart scripts. | 20 // - Handle inline Dart scripts. |
14 window.addEventListener("DOMContentLoaded", function (e) { | 21 window.addEventListener("DOMContentLoaded", function (e) { |
(...skipping 238 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
253 var result = null; | 260 var result = null; |
254 var listener = function (e) { | 261 var listener = function (e) { |
255 result = JSON.parse(getPortSyncEventData(e)); | 262 result = JSON.parse(getPortSyncEventData(e)); |
256 }; | 263 }; |
257 window.addEventListener(source, listener, false); | 264 window.addEventListener(source, listener, false); |
258 dispatchEvent(target, [source, serialized]); | 265 dispatchEvent(target, [source, serialized]); |
259 window.removeEventListener(source, listener, false); | 266 window.removeEventListener(source, listener, false); |
260 return deserialize(result); | 267 return deserialize(result); |
261 } | 268 } |
262 })(); | 269 })(); |
OLD | NEW |