set_border_window_size


Description:

public void set_border_window_size (TextWindowType type, int size)

Sets the width of gtk_text_window_left or gtk_text_window_right, or the height of gtk_text_window_top or gtk_text_window_bottom.

Automatically destroys the corresponding window if the size is set to 0, and creates the window if the size is set to non-zero. This function can only be used for the “border windows”, and it won’t work with gtk_text_window_widget, gtk_text_window_text, or gtk_text_window_private.

Parameters:

this

a TextView

type

window to affect

size

width or height of the window




2022 vala-language.org