summaryrefslogtreecommitdiffstats
path: root/src/jrummikub
diff options
context:
space:
mode:
authorMatthias Schiffer <mschiffer@universe-factory.net>2011-05-31 05:06:28 +0200
committerMatthias Schiffer <mschiffer@universe-factory.net>2011-05-31 05:06:28 +0200
commitc1651e531792ad58560393691a9e9bf6d9e1a934 (patch)
tree0badceefe8279c37733f2ab6a8848a7754697f1e /src/jrummikub
parent4913a5b5fba2631ee215350efb1a41d95c50249a (diff)
downloadJRummikub-c1651e531792ad58560393691a9e9bf6d9e1a934.tar
JRummikub-c1651e531792ad58560393691a9e9bf6d9e1a934.zip
Re-add small margins
git-svn-id: svn://sunsvr01.isp.uni-luebeck.de/swproj13/trunk@349 72836036-5685-4462-b002-a69064685172
Diffstat (limited to 'src/jrummikub')
-rw-r--r--src/jrummikub/view/impl/SettingsPanel.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jrummikub/view/impl/SettingsPanel.java b/src/jrummikub/view/impl/SettingsPanel.java
index 4374640..adacd79 100644
--- a/src/jrummikub/view/impl/SettingsPanel.java
+++ b/src/jrummikub/view/impl/SettingsPanel.java
@@ -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