set_gutter


Description:

public void set_gutter (TextWindowType win, Widget? widget)

Places widget into the gutter specified by win.

win must be one of gtk_text_window_left, gtk_text_window_right , gtk_text_window_top, or gtk_text_window_bottom.

Parameters:

this

a `GtkTextView`

win

a `GtkTextWindowType`

widget

a `GtkWidget`




2022 vala-language.org