From e01663579225232b5ab1386dee8e2df1818ce495 Mon Sep 17 00:00:00 2001
From: Hixie <github.com@spam.hixie.ch>
Date: Fri, 28 Aug 2015 10:52:23 -0700
Subject: [PATCH] Rationalise the Key API.

Add a way of having keys based on numeric types or DateTimes by having a ValueKey<T> class.
Remove the redundant ways of declaring things, except for leaving one shorthand -- you can say `new Key(s)` instead of `new ValueKey<String>(s)`.
---
 engine/src/flutter/examples/mine_digger/lib/main.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/engine/src/flutter/examples/mine_digger/lib/main.dart b/engine/src/flutter/examples/mine_digger/lib/main.dart
index 3b8e561f66c..1384732aacd 100644
--- a/engine/src/flutter/examples/mine_digger/lib/main.dart
+++ b/engine/src/flutter/examples/mine_digger/lib/main.dart
@@ -142,7 +142,7 @@ class MineDiggerApp extends App {
         new Row(
           row,
           justifyContent: FlexJustifyContent.center,
-          key: new Key.stringify(iy)
+          key: new ValueKey<int>(iy)
         )
       );
     }