GtkPaned::gutter_size
Access: Read Only
Type: int
gutter_size is an integer describing the width or height (as appropriate) of the gutter which provides the base for the separating handle of a GtkPaned-derived widget.
Please note that in later releases of GTK+ - including that currently used by the PHP-GTK win32 binary - there is no such property. The gutter itself has been deprecated.
忘却曲線を使ってこの知識を確実に記憶に残す
