Index: client/html/generated/html/dartium/HTMLOptionsCollection.dart |
diff --git a/client/html/generated/html/dartium/HTMLOptionsCollection.dart b/client/html/generated/html/dartium/HTMLOptionsCollection.dart |
deleted file mode 100644 |
index 3d8d0ffae12b52afca005034f7b35390090da8b8..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/HTMLOptionsCollection.dart |
+++ /dev/null |
@@ -1,17 +0,0 @@ |
- |
-class _HTMLOptionsCollectionImpl extends _HTMLCollectionImpl implements HTMLOptionsCollection { |
- _HTMLOptionsCollectionImpl._wrap(ptr) : super._wrap(ptr); |
- |
- int get length() => _wrap(_ptr.length); |
- |
- void set length(int value) { _ptr.length = _unwrap(value); } |
- |
- int get selectedIndex() => _wrap(_ptr.selectedIndex); |
- |
- void set selectedIndex(int value) { _ptr.selectedIndex = _unwrap(value); } |
- |
- void remove(int index) { |
- _ptr.remove(_unwrap(index)); |
- return; |
- } |
-} |