diff options
author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-29 21:19:20 +0200 |
---|---|---|
committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-29 21:19:20 +0200 |
commit | d6b8b23c6de5d9fbe65b49c784dd698e83b0ca79 (patch) | |
tree | 27acff80b4bff4b635ada20be0a608e149aaf0f5 /src/jrummikub/model/GameState.java | |
parent | e4a1246f01c2a017042a2a80cc2e9a1e6b4bbd51 (diff) | |
download | JRummikub-d6b8b23c6de5d9fbe65b49c784dd698e83b0ca79.tar JRummikub-d6b8b23c6de5d9fbe65b49c784dd698e83b0ca79.zip |
Disable player panel while settings panel is shown
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@313 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/model/GameState.java')
0 files changed, 0 insertions, 0 deletions