static JPanel withSideAndTopMargin(int w default defaultMargin(), Component c) { ret swing(-> { JPanel p = marginPanel(); p.setBorder(BorderFactory.createEmptyBorder(w, w, 0, w)); p.add(c); ret p; }); }