Unfortunately, setting border-width=0 on the GtkDialog's internal vbox
child is deleted by a round-trip though Glade, so one needs to be
careful with that!