get_border_window_size

Description:

public int get_border_window_size (TextWindowType type)

Gets the width of the specified border window.

See set_border_window_size.

Parameters:

this

a TextView
type

window to return size from

Returns:

width of window