GtkButtonBox::set_child_size
set_child_size() sets the minimum size for any child in the GtkButtonBox widget, in pixels.
The default setting is (85, 27).
Note that this method is deprecated, and that minimum sizing will be set internally in future versions of GTK+.
忘却曲線を使ってこの知識を確実に記憶に残す
