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




2022 vala-language.org