Proto version slider.

Normand Briere

2019-08-26 6266c8a4b2485b29a7d5bcb217460d7aad3e1c4a

 cButton.java
..
..
@@ -12,7 +12,7 @@
12
12
     {
13
13
         super(name);
14
14
         
15
-        setMargin(new java.awt.Insets(1, 1, 1, 1));
15
+        setMargin(new java.awt.Insets(1, -1, 1, -1));
16
16
         
17
17
         if (border)
18
18
                 setBorder(new javax.swing.border.EtchedBorder());
..
..
@@ -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 );