]> Pileus Git - ~andy/gtk/search
Replace gtk_misc_set_padding() with GtkWidget:margin properties