Fix new + checkbox

Normand Briere

2019-08-18 480ad70047e54b2b92f974e6c2ac5a6c0bdc5a5c

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