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

Re-add small margins

Browse source 
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@349 72836036-5685-4462-b002-a69064685172
This commit is contained in:
Matthias Schiffer 2011-05-31 05:06:28 +02:00
parent 4913a5b5fb
commit c1651e5317
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -330,7 +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.setMargin(new Insets(3, 3, 3, 3));
button.addChangeListener(new ChangeListener() {
@Override