| Index: utils/dartdoc/dartdoc.dart
|
| diff --git a/utils/dartdoc/dartdoc.dart b/utils/dartdoc/dartdoc.dart
|
| index d9c8b9d09c1318e42d1229c22100af94d7a8f43d..7910b2eb365b018ba3c05b68b3050e4360043c93 100644
|
| --- a/utils/dartdoc/dartdoc.dart
|
| +++ b/utils/dartdoc/dartdoc.dart
|
| @@ -186,6 +186,7 @@ class Dartdoc {
|
| world.getOrAddLibrary('dart:core');
|
| world.getOrAddLibrary('dart:coreimpl');
|
| world.getOrAddLibrary('dart:json');
|
| + world.getOrAddLibrary('dart:isolate');
|
| world.process();
|
| break;
|
|
|
| @@ -194,6 +195,7 @@ class Dartdoc {
|
| world.getOrAddLibrary('dart:coreimpl');
|
| world.getOrAddLibrary('dart:json');
|
| world.getOrAddLibrary('dart:dom');
|
| + world.getOrAddLibrary('dart:isolate');
|
| world.process();
|
| break;
|
|
|
| @@ -203,6 +205,7 @@ class Dartdoc {
|
| world.getOrAddLibrary('dart:json');
|
| world.getOrAddLibrary('dart:dom');
|
| world.getOrAddLibrary('dart:html');
|
| + world.getOrAddLibrary('dart:isolate');
|
| world.process();
|
| break;
|
|
|
|
|