diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-01 19:02:21 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-01 19:02:21 +0200 |
| commit | 5436407515a14ed6a53276c26f0b8403ec27020f (patch) | |
| tree | b180da1f7fbaa2a5e0a5f018c1ad968cf62dc03f /src/jrummikub/view/impl/CustomBorder.java | |
| parent | 4ef731cd6448a66c18abddf1d99c01145897f53b (diff) | |
| download | JRummikub-5436407515a14ed6a53276c26f0b8403ec27020f.tar JRummikub-5436407515a14ed6a53276c26f0b8403ec27020f.zip | |
Make player panel behave better with different window sizes
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@51 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/view/impl/CustomBorder.java')
0 files changed, 0 insertions, 0 deletions