Minor tuning

Normand Briere

2019-08-22 6a145f6c81dfcbe0653eda27d042efb48daa7512

 cButton.java
..
..
@@ -26,7 +26,7 @@
26
26
     {
27
27
         super(icon);
28
28
         
29
-        setMargin(new java.awt.Insets(-1, -1, -1, -1));
29
+        setMargin(new java.awt.Insets(1, 10, 1, 10)); // ??
30
30
         
31
31
 //result = new JButton( icon );
32
32
 //result.setBorderPainted( false );