Index: dart/site/try/src/interaction_manager.dart |
diff --git a/dart/site/try/src/interaction_manager.dart b/dart/site/try/src/interaction_manager.dart |
index 1fb8eccf174746332576acc5e92e1b3c9621d57e..ecd7663b1ab51ba60c2eb35568dcb34f33c394c9 100644 |
--- a/dart/site/try/src/interaction_manager.dart |
+++ b/dart/site/try/src/interaction_manager.dart |
@@ -666,11 +666,6 @@ class InitialState extends InteractionState { |
} |
} |
- /// Called when an exception occurs in an iframe. |
- void onErrorMessage(ErrorMessage message) { |
- outputDiv.appendText('$message\n'); |
ahe
2014/07/03 14:44:50
Bad merge, was renamed to onIframeError.
|
- } |
- |
/// Called when an iframe is modified. |
void onScrollHeightMessage(int scrollHeight) { |
window.console.log('scrollHeight = $scrollHeight'); |
@@ -709,6 +704,7 @@ class InitialState extends InteractionState { |
} |
void onCompilationFailed() { |
+ consolePrintLine('Compilation failed.'); |
} |
void onCompilationDone() { |
@@ -1204,7 +1200,7 @@ void normalizeMutationRecord(MutationRecord record, |
if (!record.removedNodes.isEmpty) { |
var first = record.removedNodes.first; |
var line = findLine(record.target); |
- |
+ |
if (first is Text && first.data=="\n" && line.nextNode != null) { |
normalizedNodes.add(line.nextNode); |
} |