From e256073f22d28e15e503d6271acd057e1c634391 Mon Sep 17 00:00:00 2001
From: Sol <zenchristo@gmail.com>
Date: Sun, 12 Feb 2012 16:55:23 +0000
Subject: [PATCH] - Updating Label observers after a ChangeZone

---
 src/main/java/forge/GameAction.java | 9 +++++++++
 src/main/java/forge/Player.java     | 4 ++++
 2 files changed, 13 insertions(+)

diff --git a/src/main/java/forge/GameAction.java b/src/main/java/forge/GameAction.java
index 8e897ac4cae..2f616b1c2d0 100644
--- a/src/main/java/forge/GameAction.java
+++ b/src/main/java/forge/GameAction.java
@@ -111,6 +111,10 @@ public class GameAction {
     public static Card changeZone(final PlayerZone prev, final PlayerZone zone, final Card c) {
         if ((prev == null) && !c.isToken()) {
             zone.add(c);
+            Player p = zone.getPlayer();
+            if (p != null){
+                p.updateLabelObservers();
+            }
             return c;
         }
 
@@ -190,6 +194,11 @@ public class GameAction {
 
             prev.remove(c);
         }
+        
+        Player p = zone.getPlayer();
+        if (p != null){
+            p.updateLabelObservers();
+        }
 
         final HashMap<String, Object> runParams = new HashMap<String, Object>();
         runParams.put("Card", lastKnownInfo);
diff --git a/src/main/java/forge/Player.java b/src/main/java/forge/Player.java
index 22dadbcc824..87d8db80292 100644
--- a/src/main/java/forge/Player.java
+++ b/src/main/java/forge/Player.java
@@ -2733,6 +2733,10 @@ public abstract class Player extends GameEntity {
     public final Object getMustAttackEntity() {
         return this.mustAttackEntity;
     }
+    
+    public final void updateLabelObservers() {
+        this.getZone(Zone.Hand).updateObservers();
+    }
 
     // //////////////////////////////
     //