Index: utils/dartdoc/client-live-nav.dart |
diff --git a/utils/dartdoc/client-live-nav.dart b/utils/dartdoc/client-live-nav.dart |
index 78e59ab09e68839acfe85d8b74d31025ac7037a7..6395d426d0568e79f4a605f759e784fcebe4884f 100644 |
--- a/utils/dartdoc/client-live-nav.dart |
+++ b/utils/dartdoc/client-live-nav.dart |
@@ -51,13 +51,12 @@ buildNavigation(libraries) { |
final html = new StringBuffer(); |
for (final libraryName in libraryNames) { |
- final saneLibrary = sanitize(libraryName); |
html.add('<h2><div class="icon-library"></div>'); |
if (currentLibrary == libraryName && currentType == null) { |
- html.add('<strong>$saneLibrary</strong>'); |
+ html.add('<strong>${md.escapeHtml(libraryName)}</strong>'); |
} else { |
- final url = '$prefix$saneLibrary.html'; |
- html.add('<a href="$url">$saneLibrary</a>'); |
+ final url = '$prefix${sanitize(libraryName)}.html'; |
+ html.add('<a href="$url">${md.escapeHtml(libraryName)}</a>'); |
} |
html.add('</h2>'); |