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 db5b57a8c5e2d904496556f71793dfd4c3b12465..4769542950989c0487be00a94eea1a97057681b8 100644
--- a/sdk/lib/html/dartium/html_dartium.dart
+++ b/sdk/lib/html/dartium/html_dartium.dart
@@ -21456,16 +21456,14 @@ 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();
-    // TODO(floitsch): find better way to create a read-only list view.
-    return options.take(options.length);
+    return new UnmodifiableListView<OptionElement>(options);
   }
 
   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();
-      // TODO(floitsch): find better way to create a read-only list view.
-      return options.take(options.length);
+      return new UnmodifiableListView<OptionElement>(options);
     } else {
       return [this.options[this.selectedIndex]];
     }