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