| Index: pkg/dartdoc/lib/src/client/client-live-nav.dart
|
| diff --git a/pkg/dartdoc/lib/src/client/client-live-nav.dart b/pkg/dartdoc/lib/src/client/client-live-nav.dart
|
| index 9ef05731019e4cde33dab2d1e383b08c0659c800..b3f405c9eabb1df2a7cf58264cbc31349a969258 100644
|
| --- a/pkg/dartdoc/lib/src/client/client-live-nav.dart
|
| +++ b/pkg/dartdoc/lib/src/client/client-live-nav.dart
|
| @@ -19,9 +19,7 @@
|
| #source('client-shared.dart');
|
|
|
| main() {
|
| - setupLocation();
|
| -
|
| - enableCodeBlocks();
|
| + setup();
|
|
|
| // Request the navigation data so we can build the HTML for it.
|
| new HttpRequest.get('${prefix}nav.json', (request) {
|
|
|