Add a gtk_widget_set_margin_all method for setting all margins at once
I often use the same margins for my widgets and find using the available methods rather repetitive. To reduce redundant code I'd like to have a method gtk_widget_set_margin_all()
that sets all margins at once.
This would reduce this code:
int margin = 10;
gtk_widget_set_margin_bottom(widget, margin);
gtk_widget_set_margin_end(widget, margin);
gtk_widget_set_margin_start(widget, margin);
gtk_widget_set_margin_top(widget, margin);
to just one line:
gtk_widget_set_margin_all(widget, 10);
Of course I could just implement my own function for this but I think this could be useful for others, too.