Fix JButton margin on windows.

kanru · Oct 20, 2011 · 293541e · 293541e
1 parent 62a598f
commit 293541e
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/src/org/zeroxlab/aster/ActionDashboard.java b/src/org/zeroxlab/aster/ActionDashboard.java
@@ -23,6 +23,7 @@
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
 import java.awt.GridLayout;
+import java.awt.Insets;
 import javax.swing.JButton;
 import javax.swing.JPanel;
 
@@ -46,6 +47,10 @@ private ActionDashboard () {
         mStep = new JButton("Step");
         mStop = new JButton("Stop");
         setLayout(new GridLayout(1, 3));
+	Insets insets = new Insets(0, 0, 0, 0);
+	mPlay.setMargin(insets);
+	mStep.setMargin(insets);
+	mStop.setMargin(insets);
         add(mPlay);
         add(mStep);
         add(mStop);

diff --git a/src/org/zeroxlab/aster/AsterWorkspace.java b/src/org/zeroxlab/aster/AsterWorkspace.java
@@ -33,6 +33,7 @@
 import java.awt.Graphics;
 import java.awt.image.BufferedImage;
 import java.awt.Image;
+import java.awt.Insets;
 import java.awt.Point;
 import java.awt.Rectangle;
 import java.io.IOException;
@@ -172,7 +173,9 @@ public void actionPerformed(ActionEvent e) {
         sDone.setEnabled(false);
         add(sDone);
 
+        Insets insets = new Insets(0, 0, 0, 0);
         sRotate = new JCheckBox("Rotate");
+        sRotate.setMargin(insets);
         sRotate.setSize(80, 20);
         sRotate.setForeground(Color.WHITE);
         add(sRotate);
@@ -183,14 +186,19 @@ public void actionPerformed(ActionEvent e) {
 
     private JComponent initShortcutButtons() {
         ImageIcon icon;
+        Insets insets = new Insets(0, 4, 0, 4);
         icon    = createScaledIcon("/btn_back.png", MK_WIDTH, MK_HEIGHT);
         sBack   = new JButton(icon);
+        sBack.setMargin(insets);
         icon    = createScaledIcon("/btn_menu.png", MK_WIDTH, MK_HEIGHT);
         sMenu   = new JButton(icon);
+        sMenu.setMargin(insets);
         icon    = createScaledIcon("/btn_home.png", MK_WIDTH, MK_HEIGHT);
         sHome   = new JButton(icon);
+        sHome.setMargin(insets);
         icon    = createScaledIcon("/btn_search.png", MK_WIDTH, MK_HEIGHT);
         sSearch = new JButton(icon);
+        sSearch.setMargin(insets);
 
         MainKeyMonitor monitor = new MainKeyMonitor();
         sBack.addActionListener(monitor);