sdk/lib/html/dartium/html_dartium.dart

Index: sdk/lib/html/dartium/html_dartium.dart
diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart
index 5420f09f43681b1fc1d77397208af0faa65eb114..5314723c3dd07ccdd6cd2f3224e8f1ea0d4d9ef2 100644
--- a/sdk/lib/html/dartium/html_dartium.dart
+++ b/sdk/lib/html/dartium/html_dartium.dart
@@ -2,7 +2,6 @@ library html;
 
 import 'dart:async';
 import 'dart:collection';
-import 'dart:collection-dev';
 import 'dart:html_common';
 import 'dart:indexed_db';
 import 'dart:isolate';
@@ -20530,14 +20529,16 @@ class SelectElement extends _Element_Merged {
   // does not operate as a List.
   List<OptionElement> get options {
     var options = this.children.where((e) => e is OptionElement).toList();
-    return new ListView(options, 0, options.length);
+    // TODO(floitsch): find better way to create a read-only list view.
+    return options.take(options.length);
   }
 
   List<OptionElement> get selectedOptions {
     // IE does not change the selected flag for single-selection items.
     if (this.multiple) {
       var options = this.options.where((o) => o.selected).toList();
-      return new ListView(options, 0, options.length);
+      // TODO(floitsch): find better way to create a read-only list view.
+      return options.take(options.length);
     } else {
       return [this.options[this.selectedIndex]];
     }