| Index: dart/site/try/src/leap.dart
|
| diff --git a/dart/site/try/src/leap.dart b/dart/site/try/src/leap.dart
|
| index 3b6c08f29d37e42fd1e56d0d093c6ac12cdbe94f..f9ef7c4c76f3be6836cfd9b3ba766040a2c28137 100644
|
| --- a/dart/site/try/src/leap.dart
|
| +++ b/dart/site/try/src/leap.dart
|
| @@ -7,7 +7,7 @@ library trydart.main;
|
| import 'dart:html' show
|
| HttpRequest,
|
| LinkElement,
|
| - query,
|
| + querySelector,
|
| window;
|
|
|
| import 'dart:isolate' show
|
| @@ -18,9 +18,6 @@ import 'compilation.dart' show
|
| compilerIsolate,
|
| compilerPort;
|
|
|
| -import 'editor.dart' show
|
| - onMutation;
|
| -
|
| import 'isolate_legacy.dart' show
|
| spawnDomFunction,
|
| spawnFunction;
|
| @@ -30,8 +27,12 @@ import 'samples.dart' show
|
|
|
| import 'ui.dart' show
|
| buildUI,
|
| + interaction,
|
| observer;
|
|
|
| +import 'user_option.dart' show
|
| + UserOption;
|
| +
|
| int count = 0;
|
|
|
| const String HAS_NON_DOM_HTTP_REQUEST = 'spawnFunction supports HttpRequest';
|
| @@ -48,6 +49,7 @@ checkHttpRequest(SendPort replyTo) {
|
| }
|
|
|
| main() {
|
| + UserOption.storage = window.localStorage;
|
| if (window.localStorage['currentSource'] == null) {
|
| window.localStorage['currentSource'] = EXAMPLE_HELLO;
|
| }
|
| @@ -60,7 +62,7 @@ main() {
|
| } else {
|
| port = spawnDomFunction(compilerIsolate);
|
| }
|
| - LinkElement link = query('link[rel="dart-sdk"]');
|
| + LinkElement link = querySelector('link[rel="dart-sdk"]');
|
| String sdk = link.href;
|
| print('Using Dart SDK: $sdk');
|
| int messageCount = 0;
|
| @@ -75,7 +77,7 @@ main() {
|
| case 2:
|
| // Acknowledged Receiving the SDK URI.
|
| compilerPort = sendPort;
|
| - onMutation([], observer);
|
| + interaction.onMutation([], observer);
|
| break;
|
| default:
|
| // TODO(ahe): Close [port]?
|
|
|