diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-31 05:00:22 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-05-31 05:00:22 +0200 |
| commit | 0e9bf5c52d9542208bd8f23e57901b1d3844dd68 (patch) | |
| tree | b4115613bc9fbc5d50359a81b10ecf7e8f75b6a7 /src/jrummikub/view/impl/StonePainter.java | |
| parent | 061e7ab305cd6eb16b8ea35987b30a838386ddee (diff) | |
| download | JRummikub-0e9bf5c52d9542208bd8f23e57901b1d3844dd68.tar JRummikub-0e9bf5c52d9542208bd8f23e57901b1d3844dd68.zip | |
Remove color toggle button margins
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@347 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub/view/impl/StonePainter.java')
| -rw-r--r-- | src/jrummikub/view/impl/StonePainter.java | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/jrummikub/view/impl/StonePainter.java b/src/jrummikub/view/impl/StonePainter.java index 6b7e402..09b6dcc 100644 --- a/src/jrummikub/view/impl/StonePainter.java +++ b/src/jrummikub/view/impl/StonePainter.java @@ -159,8 +159,8 @@ class StonePainter { return img; } - private BufferedImage getStoneImage(StoneColor color, int value, boolean selected, - boolean hovered) { + private BufferedImage getStoneImage(StoneColor color, int value, + boolean selected, boolean hovered) { Map<StoneColor, Map<Integer, BufferedImage>> stoneMap; if (selected) { @@ -311,7 +311,8 @@ class StonePainter { g.setFont(new Font("SansSerif", Font.BOLD, r.height / 4)); FontMetrics fm = g.getFontMetrics(); - String value = (v > 0) ? Integer.toString(v) : Character.toString((char)(-v)); + String value = (v > 0) ? Integer.toString(v) : Character + .toString((char) (-v)); Rectangle2D stringRect = fm.getStringBounds(value, g); if (scale > 1) { @@ -359,10 +360,12 @@ class StonePainter { int x = Math.round(p.getX() * width), y = Math.round(p.getY() * height); if (stone.isJoker()) { - g.drawImage(getStoneImage(stone.getColor(), 0, selected, hovered), x, y, null); - } else { - g.drawImage(getStoneImage(stone.getColor(), stone.getValue(), selected, hovered), x, y, + g.drawImage(getStoneImage(stone.getColor(), 0, selected, hovered), x, y, null); + } else { + g.drawImage( + getStoneImage(stone.getColor(), stone.getValue(), selected, hovered), + x, y, null); } } } |