def set_margin_all(widget, m):
    widget.set_margin_start(m)
    widget.set_margin_top(m)
    widget.set_margin_end(m)
    widget.set_margin_bottom(m)