def button_pile(buttons):
width = 14
for button in buttons:
width = max(widget_width(button), width)
return _Padding(Pile(buttons),
min_width=width,
width=width,
align='center')
def button_pile(buttons):
max_label = 10
for button in buttons:
button = button.base_widget
if not isinstance(button, Button):
raise RuntimeError("button_pile takes a list of buttons, not %s", button)
max_label = max(len(button.label), max_label)
width = max_label + 4
return _Padding(Pile(buttons), min_width=width, width=width, align='center')
