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.