| Index: utils/dartdoc/dartdoc.dart
|
| diff --git a/utils/dartdoc/dartdoc.dart b/utils/dartdoc/dartdoc.dart
|
| index 47a19b2799b02a1e743994787e89cab4fb29fa78..417234949756f9bc645b8045a65965ef773379be 100644
|
| --- a/utils/dartdoc/dartdoc.dart
|
| +++ b/utils/dartdoc/dartdoc.dart
|
| @@ -188,6 +188,7 @@ class Dartdoc {
|
| world.getOrAddLibrary('dart:core');
|
| world.getOrAddLibrary('dart:coreimpl');
|
| world.getOrAddLibrary('dart:json');
|
| + world.getOrAddLibrary('dart:isolate');
|
| world.process();
|
| break;
|
|
|
| @@ -196,6 +197,7 @@ class Dartdoc {
|
| world.getOrAddLibrary('dart:coreimpl');
|
| world.getOrAddLibrary('dart:json');
|
| world.getOrAddLibrary('dart:dom');
|
| + world.getOrAddLibrary('dart:isolate');
|
| world.process();
|
| break;
|
|
|
| @@ -205,6 +207,7 @@ class Dartdoc {
|
| world.getOrAddLibrary('dart:json');
|
| world.getOrAddLibrary('dart:dom');
|
| world.getOrAddLibrary('dart:html');
|
| + world.getOrAddLibrary('dart:isolate');
|
| world.process();
|
| break;
|
|
|
|
|