diff options
Diffstat (limited to 'src/jrummikub/view/ISettingsPanel.java')
| -rw-r--r-- | src/jrummikub/view/ISettingsPanel.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/jrummikub/view/ISettingsPanel.java b/src/jrummikub/view/ISettingsPanel.java index c52d72c..f84e21b 100644 --- a/src/jrummikub/view/ISettingsPanel.java +++ b/src/jrummikub/view/ISettingsPanel.java @@ -245,6 +245,8 @@ public interface ISettingsPanel { */ public void setPlayerColors(Set<Color> colors); + public IEvent1<Boolean> getChangeSeeHandSize(); + /** * Specifies the different kinds of settings errors that can be displayed */ |