Gets the width of the specified border window.
See set_border_window_size.
a TextView
window to return size from
width of window