From a1ff3c6277af20b47908c7e8ebc1fd9bc8864130 Mon Sep 17 00:00:00 2001
From: SimonIT <simonit.orig@gmail.com>
Date: Wed, 18 Dec 2019 10:40:52 +0100
Subject: taint on changing the font

---
 core/src/ch/asynk/gdx/boardgame/ui/Label.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/src/ch/asynk/gdx/boardgame/ui/Label.java b/core/src/ch/asynk/gdx/boardgame/ui/Label.java
index 5b1962c..dcae8f0 100644
--- a/core/src/ch/asynk/gdx/boardgame/ui/Label.java
+++ b/core/src/ch/asynk/gdx/boardgame/ui/Label.java
@@ -34,6 +34,7 @@ public class Label extends Element
     public void setFont(BitmapFont font)
     {
         this.font = font;
+        taint();
     }
 
     public String getText()
-- 
cgit v1.1-2-g2b99