trying to space windows buttons , they are too cramped ... since 2018!

take 3 - same, but Windows only

Author: andrus

modeler/cayenne-modeler/src/main/java/org/apache/cayenne/modeler/platform/win/WinUIInitializer.java

@@ -25,6 +25,7 @@
 import org.slf4j.LoggerFactory;
 
 import javax.swing.*;
+import javax.swing.plaf.InsetsUIResource;
 import java.awt.*;
 
 public class WinUIInitializer implements UIInitializer {
@@ -74,5 +75,6 @@ private void overrideUIDefaults() {
         UIManager.put("CheckBoxMenuItem.opaque", Boolean.TRUE);
         UIManager.put("RadioButtonMenuItem.opaque", Boolean.TRUE);
         UIManager.put("Button.border", BorderFactory.createEmptyBorder());
+        UIManager.put("Button.margin", new InsetsUIResource(4, 4, 4, 4));
     }
 }

modeler/cayenne-modeler/src/main/java/org/apache/cayenne/modeler/toolkit/AppAction.java

@@ -31,7 +31,6 @@
 import org.slf4j.LoggerFactory;
 
 import javax.swing.*;
-import java.awt.Insets;
 import java.awt.event.ActionEvent;
 
 /**
@@ -228,7 +227,6 @@ private void initView(int position) {
             setDisabledIcon(IconFactory.disabledIcon(getIcon()));
             setFocusPainted(false);
             setFocusable(false);
-            setMargin(new Insets(4, 4, 4, 4));
             putClientProperty("JButton.buttonType", "segmentedTextured");
             putClientProperty("JButton.segmentPosition", POSITIONS[position]);
         }