| Index: sdk/lib/html/dart2js/html_dart2js.dart
|
| diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
|
| index 86dfb925f1cc805ce358aacb61b9aa6614af3886..406cb2a31010e1bf7bf8826a773d1c83a481078d 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -19643,16 +19643,14 @@ class SelectElement extends Element native "*HTMLSelectElement" {
|
| // 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]];
|
| }
|
|
|