| Index: site/try/src/run.dart
|
| diff --git a/site/try/src/run.dart b/site/try/src/run.dart
|
| deleted file mode 100644
|
| index e453a7015bccf9bdeb3f965dd7cb4299f0932392..0000000000000000000000000000000000000000
|
| --- a/site/try/src/run.dart
|
| +++ /dev/null
|
| @@ -1,71 +0,0 @@
|
| -// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -library trydart.run;
|
| -
|
| -import 'dart:html' show
|
| - Blob,
|
| - IFrameElement,
|
| - Url;
|
| -
|
| -makeOutputFrame(String scriptUrl) {
|
| - final String outputHtml = '''
|
| -<!DOCTYPE html>
|
| -<html lang="en">
|
| -<head>
|
| -<title>JavaScript output</title>
|
| -<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
|
| -</head>
|
| -<body>
|
| -<script type="application/javascript" src="$outputHelper"></script>
|
| -<script type="application/javascript" src="$scriptUrl"></script>
|
| -</body>
|
| -</html>
|
| -''';
|
| -
|
| - return new IFrameElement()
|
| - ..src = Url.createObjectUrl(new Blob([outputHtml], "text/html"))
|
| - ..style.width = '100%'
|
| - ..style.height = '0px';
|
| -}
|
| -
|
| -final String outputHelper =
|
| - Url.createObjectUrl(new Blob([OUTPUT_HELPER], 'application/javascript'));
|
| -
|
| -const String OUTPUT_HELPER = r'''
|
| -function dartPrint(msg) {
|
| - // Send a message to the main Try Dart window.
|
| - window.parent.postMessage(String(msg), "*");
|
| -}
|
| -
|
| -function dartMainRunner(main) {
|
| - // Store the current height (of an empty document). This implies that the
|
| - // main Try Dart application is only notified if the document is actually
|
| - // changed.
|
| - var previousScrollHeight = document.documentElement.scrollHeight;
|
| -
|
| - function postScrollHeight(mutations, observer) {
|
| - var scrollHeight = document.documentElement.scrollHeight;
|
| - if (scrollHeight !== previousScrollHeight) {
|
| - previousScrollHeight = scrollHeight;
|
| - window.parent.postMessage(["scrollHeight", scrollHeight], "*");
|
| - }
|
| - }
|
| -
|
| - var MutationObserver =
|
| - window.MutationObserver ||
|
| - window.WebKitMutationObserver ||
|
| - window.MozMutationObserver;
|
| -
|
| - // Listen to any changes to the DOM.
|
| - new MutationObserver(postScrollHeight).observe(
|
| - document.documentElement,
|
| - { attributes: true,
|
| - childList: true,
|
| - characterData: true,
|
| - subtree: true });
|
| -
|
| - main();
|
| -}
|
| -''';
|
|
|