TextView.setBorderWindowSize

void setBorderWindowSize(gtk.types.TextWindowType type, int size)

Sets the width of [gtk.types.TextWindowType.Left] or [gtk.types.TextWindowType.Right], or the height of [gtk.types.TextWindowType.Top] or [gtk.types.TextWindowType.Bottom]. Automatically destroys the corresponding window if the size is set to 0, and creates the window if the size is set to non-zero. This function can only be used for the “border windows”, and it won’t work with [gtk.types.TextWindowType.Widget], [gtk.types.TextWindowType.Text], or [gtk.types.TextWindowType.Private].

Parameters

`type`	window to affect
`size`	width or height of the window