TextView.getBorderWindowSize
int getBorderWindowSize(gtk.types.TextWindowType type)Gets the width of the specified border window. See [gtk.text_view.TextView.setBorderWindowSize].
Parameters
type | window to return size from |
Returns
width of window
int getBorderWindowSize(gtk.types.TextWindowType type)Gets the width of the specified border window. See [gtk.text_view.TextView.setBorderWindowSize].
type | window to return size from |