Edit panel pin state.

Normand Briere

2019-06-26 89b25e7cc97f6fe221dfd41c4d463500f8a31bc1

 cButton.java
..
..
@@ -12,9 +12,34 @@
12
12
     {
13
13
         super(name);
14
14
         
15
+        setMargin(new java.awt.Insets(1, -8, 1, -8));
16
+        
15
17
         if (border)
16
18
                 setBorder(new javax.swing.border.EtchedBorder());
17
19
         else
18
-                setBorder(new javax.swing.border.EmptyBorder(0,0,0,0));
20
+        {
21
+                //setBorder(null); //new javax.swing.border.EmptyBorder(0,0,0,0));
22
+        }
23
+    }
24
+    
25
+    cButton(javax.swing.ImageIcon icon, boolean border)
26
+    {
27
+        super(icon);
28
+        
29
+        setMargin(new java.awt.Insets(-1, -8, -1, -8));
30
+        
31
+//result = new JButton( icon );
32
+//result.setBorderPainted( false );
33
+//result.setContentAreaFilled( false );
34
+//
35
+//width = icon.getIconWidth();
36
+//height = icon.getIconHeight();
37
+//result.setPreferredSize( new Dimension( width, height ) );
38
+        if (border)
39
+                setBorder(new javax.swing.border.EtchedBorder());
40
+        else
41
+        {
42
+                //setBorder(null); //new javax.swing.border.EmptyBorder(0,0,0,0));
43
+        }
19
44
     }
20
45
 }