diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-26 16:02:33 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-26 16:02:33 +0200 |
| commit | 3d74d1197419cde195be31de2b2d798abb171291 (patch) | |
| tree | 55ebc64efe3dd14632cfc178f3a3cfa039bf6d07 /src/jrummikub/view/IView.java | |
| parent | cff3180460c8f0bfcb0cacac9f49f58d47bd19b1 (diff) | |
| download | JRummikub-3d74d1197419cde195be31de2b2d798abb171291.tar JRummikub-3d74d1197419cde195be31de2b2d798abb171291.zip | |
Remove player labels at the table edges
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@283 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/view/IView.java')
| -rw-r--r-- | src/jrummikub/view/IView.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/jrummikub/view/IView.java b/src/jrummikub/view/IView.java index ec154be..67e0885 100644 --- a/src/jrummikub/view/IView.java +++ b/src/jrummikub/view/IView.java @@ -87,4 +87,11 @@ public interface IView { * @return the event */ IEvent getNewRoundEvent(); + + /** + * Shows or hides the game settings panel + * + * @param show specifies if the panel shall be shown or hidden + */ + void showSettingsPanel(boolean show); } |