Fix manip window + new icons.

Normand Briere

2019-06-24 914255f70cf047897212839cbf3a6722703f4457

 cButton.java
..
..
@@ -21,4 +21,25 @@
21
21
                 //setBorder(null); //new javax.swing.border.EmptyBorder(0,0,0,0));
22
22
         }
23
23
     }
24
+    
25
+    cButton(javax.swing.ImageIcon icon, boolean border)
26
+    {
27
+        super(icon);
28
+        
29
+        setMargin(new java.awt.Insets(1, 1, 1, 1));
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
+        }
44
+    }
24
45
 }