Fixing SelectElement.options to return a read-only list.

sdk/lib/html/dart2js/html_dart2js.dart

 library html;
 
 import 'dart:async';
 import 'dart:collection';
 import 'dart:html_common';
 import 'dart:indexed_db';
 import 'dart:isolate';
 import 'dart:json' as json;
 import 'dart:math';
 import 'dart:svg' as svg;
@@ skipping 16530 matching lines @@
   /// @domName HTMLSelectElement.namedItem; @docsEditable true
   Node namedItem(String name) native;
 
   /// @domName HTMLSelectElement.setCustomValidity; @docsEditable true
   void setCustomValidity(String error) native;
 
 
   // Override default options, since IE returns SelectElement itself and it
   // does not operate as a List.
   List<OptionElement> get options {
-    return this.children.where((e) => e is OptionElement).toList();
+    var options = this.children.where((e) => e is OptionElement).toList();
+    return new ListView<OptionElement>(options, 0, options.length);
   }
 
   List<OptionElement> get selectedOptions {
     // IE does not change the selected flag for single-selection items.
     if (this.multiple) {
-      return this.options.where((o) => o.selected).toList();
+      var options = this.options.where((o) => o.selected).toList();
+      return new ListView<OptionElement>(options, 0, options.length);
     } else {
       return [this.options[this.selectedIndex]];
     }
   }
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 
@@ skipping 10347 matching lines @@
       _position = nextPosition;
       return true;
     }
     _current = null;
     _position = _array.length;
     return false;
   }
 
   T get current => _current;
 }