| Index: dart/lib/dartdoc/client-live-nav.dart
|
| diff --git a/dart/lib/dartdoc/client-live-nav.dart b/dart/lib/dartdoc/client-live-nav.dart
|
| index 5b5ded7fc542c646268c00e0ac59e770f9b7b35b..008220ce3140b8ac5776c8aa9f810617483e00eb 100644
|
| --- a/dart/lib/dartdoc/client-live-nav.dart
|
| +++ b/dart/lib/dartdoc/client-live-nav.dart
|
| @@ -21,19 +21,17 @@ String currentType = null;
|
| String prefix = '';
|
|
|
| main() {
|
| - window.on.contentLoaded.add((e) {
|
| - // Figure out where we are.
|
| - final body = document.query('body');
|
| - currentLibrary = body.dataAttributes['library'];
|
| - currentType = body.dataAttributes['type'];
|
| - prefix = (currentType != null) ? '../' : '';
|
| -
|
| - enableCodeBlocks();
|
| -
|
| - // Request the navigation data so we can build the HTML for it.
|
| - new XMLHttpRequest.getTEMPNAME('${prefix}nav.json', (request) {
|
| - buildNavigation(JSON.parse(request.responseText));
|
| - });
|
| + // Figure out where we are.
|
| + final body = document.query('body');
|
| + currentLibrary = body.dataAttributes['library'];
|
| + currentType = body.dataAttributes['type'];
|
| + prefix = (currentType != null) ? '../' : '';
|
| +
|
| + enableCodeBlocks();
|
| +
|
| + // Request the navigation data so we can build the HTML for it.
|
| + new XMLHttpRequest.getTEMPNAME('${prefix}nav.json', (request) {
|
| + buildNavigation(JSON.parse(request.responseText));
|
| });
|
| }
|
|
|
|
|