| Index: lib/dartdoc/client-live-nav.dart
|
| diff --git a/lib/dartdoc/client-live-nav.dart b/lib/dartdoc/client-live-nav.dart
|
| index 008220ce3140b8ac5776c8aa9f810617483e00eb..5b9fdabd147bc0005ea612ddec6d7833cb30f509 100644
|
| --- a/lib/dartdoc/client-live-nav.dart
|
| +++ b/lib/dartdoc/client-live-nav.dart
|
| @@ -30,7 +30,7 @@ main() {
|
| enableCodeBlocks();
|
|
|
| // Request the navigation data so we can build the HTML for it.
|
| - new XMLHttpRequest.getTEMPNAME('${prefix}nav.json', (request) {
|
| + new XMLHttpRequest.get('${prefix}nav.json', (request) {
|
| buildNavigation(JSON.parse(request.responseText));
|
| });
|
| }
|
|
|