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