Merge pull request #2630 from abarth/rev_engine

Update engine

bin/cache/engine.version

-87de3c265ee01c2747695cd3fd053fd8362967a2
+787e69fc453787089140b3b031ada932d7dad38e

packages/flutter/lib/src/rendering/child_view.dart

@@ -205,7 +205,7 @@ class RenderChildView extends RenderBox {
   void paint(PaintingContext context, Offset offset) {
     assert(needsCompositing);
     if (_layoutInfo != null)
-      context.pushChildScene(offset, _layoutInfo);
+      context.pushChildScene(offset, scale, _layoutInfo);
   }
 
   void debugFillDescription(List<String> description) {

packages/flutter/lib/src/rendering/layer.dart

@@ -108,14 +108,16 @@ class PictureLayer extends Layer {
 }
 
 class ChildSceneLayer extends Layer {
-  ChildSceneLayer({ this.offset, this.layoutInfo });
+  ChildSceneLayer({ this.offset, this.devicePixelRatio, this.layoutInfo });
 
   Offset offset;
+  double devicePixelRatio;
   mojom.ViewLayoutInfo layoutInfo;
 
   void addToScene(ui.SceneBuilder builder, Offset layerOffset) {
     builder.addChildScene(
       offset + layerOffset,
+      devicePixelRatio,
       layoutInfo.size.width,
       layoutInfo.size.height,
       layoutInfo.sceneToken.value

packages/flutter/lib/src/rendering/object.dart

@@ -191,9 +191,9 @@ class PaintingContext {
     ));
   }
 
-  void pushChildScene(Offset offset, mojom.ViewLayoutInfo layoutInfo) {
+  void pushChildScene(Offset offset, double devicePixelRatio, mojom.ViewLayoutInfo layoutInfo) {
     _stopRecordingIfNeeded();
-    _appendLayer(new ChildSceneLayer(offset: offset, layoutInfo: layoutInfo));
+    _appendLayer(new ChildSceneLayer(offset: offset, devicePixelRatio: devicePixelRatio, layoutInfo: layoutInfo));
   }
 
   /// Push a rectangular clip rect.