diff options
| author | Ida Massow <massow@informatik.uni-luebeck.de> | 2011-05-31 15:29:37 +0200 |
|---|---|---|
| committer | Ida Massow <massow@informatik.uni-luebeck.de> | 2011-05-31 15:29:37 +0200 |
| commit | c3b4eef14ceee77b66c7231879778df3d29a6e05 (patch) | |
| tree | 29ee7e4337873d27577bff4031f6d5ea830d7dd1 /src/jrummikub/view/impl/WinPanel.java | |
| parent | f1abd1b564a64b79c9f6eff25c95df6c6bd142d8 (diff) | |
| download | JRummikub-c3b4eef14ceee77b66c7231879778df3d29a6e05.tar JRummikub-c3b4eef14ceee77b66c7231879778df3d29a6e05.zip | |
Fixed all warnings (comments) but one, one TODO important
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@351 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/view/impl/WinPanel.java')
| -rw-r--r-- | src/jrummikub/view/impl/WinPanel.java | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/jrummikub/view/impl/WinPanel.java b/src/jrummikub/view/impl/WinPanel.java index ff52d0e..ff6f68a 100644 --- a/src/jrummikub/view/impl/WinPanel.java +++ b/src/jrummikub/view/impl/WinPanel.java @@ -20,6 +20,7 @@ import jrummikub.util.IEvent; class WinPanel extends JPanel { private final static int PANEL_INSET = 15; private final static int PANEL_SEPARATOR = 10; + @SuppressWarnings("unused") private final static float PANEL_FIRST_LINE_HEIGHT = 0.375f; private final static int PANEL_MAX_WIDTH = 180; private final static float MAX_BUTTON_FONT_SIZE = 12; @@ -100,7 +101,8 @@ class WinPanel extends JPanel { private void rescale() { Insets insets = getInsets(); int x = insets.left, y = insets.top, width = getWidth() - insets.left - - insets.right, height = getHeight() - insets.top - insets.bottom; + - insets.right, height = getHeight() - insets.top + - insets.bottom; if (width > PANEL_MAX_WIDTH) { x += (width - PANEL_MAX_WIDTH) / 4; @@ -116,13 +118,14 @@ class WinPanel extends JPanel { newRoundButton.setBounds(x, y, buttonWidth, buttonHeight); newRoundButton.setFont(newRoundButton.getFont().deriveFont(fontSize)); - newGameButton.setBounds(x + buttonWidth + PANEL_SEPARATOR, y, buttonWidth, - buttonHeight); + newGameButton.setBounds(x + buttonWidth + PANEL_SEPARATOR, y, + buttonWidth, buttonHeight); newGameButton.setFont(newGameButton.getFont().deriveFont(fontSize)); endProgramButton.setBounds(x + 2 * (buttonWidth + PANEL_SEPARATOR), y, buttonWidth, buttonHeight); - endProgramButton.setFont(endProgramButton.getFont().deriveFont(fontSize)); + endProgramButton.setFont(endProgramButton.getFont() + .deriveFont(fontSize)); } } |