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.
