Gets the width of the specified border window. See gtk.text_view.TextView.setBorderWindowSize.
window to return size from
width of window
Gets the width of the specified border window. See gtk.text_view.TextView.setBorderWindowSize.