neocturne/JRummikub
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove color toggle button margins

Browse source 
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@347 72836036-5685-4462-b002-a69064685172
This commit is contained in:
Matthias Schiffer 2011-05-31 05:00:22 +02:00
parent 061e7ab305
commit 0e9bf5c52d
2 changed files with 10 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/jrummikub/view/impl/SettingsPanel.java
View file

@ -330,6 +330,7 @@ class SettingsPanel extends JPanel implements ISettingsPanel {
private void createColorButton(final StoneColor color) {
JToggleButton button = new JToggleButton(ImageUtil.createColorIcon(
StonePainter.getColor(color), 12, 1));
button.setMargin(new Insets(0, 0, 0, 0));
button.addChangeListener(new ChangeListener() {
@Override

15
src/jrummikub/view/impl/StonePainter.java
View file

@ -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);
}
}
}