svoid setHorizontalMarginForAllButtons(int margin, Component c) {
  for (btn : allButtons(c))
    setHorizontalMargin(btn, margin);
}