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 |