Rename GtkWidget padding to margin
3 files changed