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 |
new file mode 100644 |
index 0000000000000000000000000000000000000000..3d8d0ffae12b52afca005034f7b35390090da8b8 |
--- /dev/null |
+++ b/client/html/generated/html/dartium/HTMLOptionsCollection.dart |
@@ -0,0 +1,17 @@ |
+ |
+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; |
+ } |
+} |