Tree icons, tabbed pane + credits.

Normand Briere

2019-08-18 66aca73cce89e4b4d7521862760edf4b0888bc38

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