From 527772f18ff8e41c8b7f4f4f08b179ce990e58fc Mon Sep 17 00:00:00 2001
From: Hans Muller <hansmuller@chromium.org>
Date: Mon, 31 Aug 2015 11:37:25 -0700
Subject: [PATCH] Update mixed_viewport example to new Key API

---
 examples/widgets/mixed_viewport.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/widgets/mixed_viewport.dart b/examples/widgets/mixed_viewport.dart
index d774d0528d2..9818fe46783 100644
--- a/examples/widgets/mixed_viewport.dart
+++ b/examples/widgets/mixed_viewport.dart
@@ -107,7 +107,7 @@ class MixedViewportApp extends App {
     if (index >= lengths.length)
       return null;
     return new GestureDetector(
-      key: new Key.stringify(lengths[index]),
+      key: new ValueKey<double>(lengths[index]),
       onTap: () => removeBox(index),
       child: new Container(
         decoration: new BoxDecoration(