From 2db80f506b5b471fb69ed57b87ca5209bc1595d5 Mon Sep 17 00:00:00 2001
From: Myrd <myrd@cardforge.org>
Date: Mon, 8 Dec 2014 06:18:11 +0000
Subject: [PATCH] - When an effect mills cards, pop up a dialog to show which
 cards got milled.

---
 forge-game/src/main/java/forge/game/player/Player.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/forge-game/src/main/java/forge/game/player/Player.java b/forge-game/src/main/java/forge/game/player/Player.java
index 1d47aef7790..40c11d18e63 100644
--- a/forge-game/src/main/java/forge/game/player/Player.java
+++ b/forge-game/src/main/java/forge/game/player/Player.java
@@ -1339,6 +1339,9 @@ public class Player extends GameEntity implements Comparable<Player> {
                 milled.add(game.getAction().moveTo(destination, lib.getFirst()));
             }
         }
+        // Reveal the milled cards, so players don't have to manually inspect the
+        // graveyard to figure out which ones were milled.
+        game.getAction().reveal(milled, this, false);
         return milled;
     }