diff options
| author | SimonIT <simonit.orig@gmail.com> | 2019-12-18 10:40:52 +0100 |
|---|---|---|
| committer | SimonIT <simonit.orig@gmail.com> | 2019-12-18 10:40:52 +0100 |
| commit | a1ff3c6277af20b47908c7e8ebc1fd9bc8864130 (patch) | |
| tree | c7ff6bd996b0cc115c6909eb94e3c06c2872eb10 /core | |
| parent | 9b8ee4ab68fe676dd9752907b950f3514332a520 (diff) | |
| download | gdx-boardgame-a1ff3c6277af20b47908c7e8ebc1fd9bc8864130.zip gdx-boardgame-a1ff3c6277af20b47908c7e8ebc1fd9bc8864130.tar.gz | |
taint on changing the font
Diffstat (limited to 'core')
| -rw-r--r-- | core/src/ch/asynk/gdx/boardgame/ui/Label.java | 1 |
1 files changed, 1 insertions, 0 deletions
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() |