From c3a2c0809bed3cb660146924ab31ff5e5159a40a Mon Sep 17 00:00:00 2001
From: melvin <melvinzhang@gmail.com>
Date: Sat, 2 Nov 2013 09:21:39 +0800
Subject: [PATCH] ensure that update to LogBookViewer is performed on EDT

---
 src/magic/ui/GameController.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/magic/ui/GameController.java b/src/magic/ui/GameController.java
index 2134e5df7b..56fd41b017 100644
--- a/src/magic/ui/GameController.java
+++ b/src/magic/ui/GameController.java
@@ -475,7 +475,11 @@ public class GameController implements ILogBookListener {
         } else {
             game.gotoLastUndoPoint();
         }
-        gamePanel.getLogBookViewer().update();
+        SwingUtilities.invokeLater(new Runnable() {
+            public void run() {
+                gamePanel.getLogBookViewer().update();
+            }
+        });
     }
 
     public void haltGame() {