From 49c8aca09c7c32804281056829f06ef7cd17fb83 Mon Sep 17 00:00:00 2001
From: Adam Barth <abarth@chromium.org>
Date: Mon, 21 Sep 2015 16:41:54 -0700
Subject: [PATCH] Remove EventDisposition

All the use cases for EventDisposition are now addressed by the gesture
detection system.
---
 engine/src/flutter/examples/mine_digger/lib/main.dart | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/engine/src/flutter/examples/mine_digger/lib/main.dart b/engine/src/flutter/examples/mine_digger/lib/main.dart
index ec88919a85..103ed85432 100644
--- a/engine/src/flutter/examples/mine_digger/lib/main.dart
+++ b/engine/src/flutter/examples/mine_digger/lib/main.dart
@@ -190,11 +190,10 @@ class MineDiggerApp extends App {
     );
   }
 
-  EventDisposition handleToolbarPointerDown(sky.PointerEvent event) {
+  void handleToolbarPointerDown(sky.PointerEvent event) {
     setState(() {
       resetGame();
     });
-    return EventDisposition.processed;
   }
 
   // User action. The user uncovers the cell which can cause losing the game.