| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
| 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. | |
| 4 | |
| 5 // WARNING: Do not edit - generated code. | |
| 6 | |
| 7 /** | |
| 8 * @fileoverview Dart externs for DOM runtime. | |
| 9 * @externs | |
| 10 */ | |
| 11 | |
| 12 if (false) { | |
| 13 | |
| 14 var dart_dom_externs = function(){}; | |
| 15 | |
| 16 // Fields placed on DOM objects and JavaScript constructor functions. | |
| 17 dart_dom_externs.prototype._dart; | |
| 18 dart_dom_externs.prototype._dart_class; | |
| 19 dart_dom_externs.prototype._dart_localStorage; | |
| 20 | |
| 21 // Fields placed on Dart objects by native code. | |
| 22 dart_dom_externs.prototype.$dom; | |
| 23 | |
| 24 // Externs missing from JavaScript back-end. | |
| 25 Window.prototype.AudioContext; | |
| 26 Window.prototype.webkitAudioContext; | |
| 27 Window.prototype.webkitRequestAnimationFrame; | |
| 28 Window.prototype.webkitCancelRequestAnimationFrame; | |
| 29 Window.prototype.webkitConvertPointFromPageToNode; | |
| 30 Window.prototype.webkitConvertPointFromNodeToPage; | |
| 31 | |
| 32 // Externs for DOM objects. | |
| 33 var $NAMESPACE = function(){}; | |
| 34 | |
| 35 $!PROPS | |
| 36 | |
| 37 } | |
| OLD | NEW |