Index: sdk/lib/core/print.dart |
diff --git a/sdk/lib/core/print.dart b/sdk/lib/core/print.dart |
index 17ef81707af8bf2a0ba8e923ccda447acbb4e0ff..dd85d1bd86980f66e653642e060a3ac73213fd0d 100644 |
--- a/sdk/lib/core/print.dart |
+++ b/sdk/lib/core/print.dart |
@@ -4,4 +4,11 @@ |
part of dart.core; |
-external void print(Object object); |
+void print(Object object) { |
+ String line = object.toString(); |
+ if (printToZone != null) { |
+ printToZone(line); |
Lasse Reichstein Nielsen
2013/10/15 14:12:02
Switch the two cases?
I find it slightly easier t
floitsch
2013/10/15 15:56:20
done.
|
+ } else { |
+ printToConsole(line); |
+ } |
+} |