Index: sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart |
diff --git a/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart b/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart |
index ca0ff810d478ebeb9c8c84335e1b4dc0356b7657..05798b363c4acb50845019697105f7c2c0037439 100644 |
--- a/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart |
+++ b/sdk/lib/_internal/dartdoc/lib/src/client/dropdown.dart |
@@ -2,7 +2,12 @@ |
// 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. |
-part of client; |
+library dropdown; |
+ |
+import 'dart:html'; |
+import 'search.dart'; |
+import 'client-shared.dart'; |
+import '../dartdoc/nav.dart'; |
List libraryList; |
InputElement searchInput; |
@@ -59,7 +64,7 @@ updateDropDown(Event event) { |
if (results.isEmpty) { |
var row = table.insertRow(0); |
- row.innerHTML = "<tr><td>No matches found for '$text'.</td></tr>"; |
+ row.innerHtml = "<tr><td>No matches found for '$text'.</td></tr>"; |
} else { |
results.sort(resultComparator); |
@@ -72,11 +77,11 @@ updateDropDown(Event event) { |
} |
if (results.length >= 10) { |
var row = table.insertRow(table.rows.length); |
- row.innerHTML = '<tr><td>+ ${results.length-10} more.</td></tr>'; |
+ row.innerHtml = '<tr><td>+ ${results.length-10} more.</td></tr>'; |
results = results.getRange(0, 10); |
} |
} |
- dropdown.elements = elements; |
+ dropdown.children = elements; |
updateResults(text, results); |
showDropDown(); |
} |