TextView.getGutter

gtk.widget.Widget getGutter(gtk.types.TextWindowType win)

Gets a [gtk.widget.Widget] that has previously been set as gutter.

See [gtk.text_view.TextView.setGutter].

win must be one of [gtk.types.TextWindowType.Left], [gtk.types.TextWindowType.Right], [gtk.types.TextWindowType.Top], or [gtk.types.TextWindowType.Bottom].

Parameters

win a [gtk.types.TextWindowType]

Returns

a [gtk.widget.Widget]