TextView.setBorderWindowSize

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.

class TextView
void
setBorderWindowSize

Parameters

type gtk.types.TextWindowType

window to affect

size int

width or height of the window