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 class _HTMLPreElementWrappingImplementation extends _HTMLElementWrappingImplemen
tation implements HTMLPreElement { | |
8 _HTMLPreElementWrappingImplementation() : super() {} | |
9 | |
10 static create__HTMLPreElementWrappingImplementation() native { | |
11 return new _HTMLPreElementWrappingImplementation(); | |
12 } | |
13 | |
14 int get width() { return _get_width(this); } | |
15 static int _get_width(var _this) native; | |
16 | |
17 void set width(int value) { _set_width(this, value); } | |
18 static void _set_width(var _this, int value) native; | |
19 | |
20 bool get wrap() { return _get_wrap(this); } | |
21 static bool _get_wrap(var _this) native; | |
22 | |
23 void set wrap(bool value) { _set_wrap(this, value); } | |
24 static void _set_wrap(var _this, bool value) native; | |
25 | |
26 String get typeName() { return "HTMLPreElement"; } | |
27 } | |
OLD | NEW |