Gtk.SourceView.right_margin_position – gtksourceview-3.0 Reference Manual
right_margin_position
Description:
public
uint
right_margin_position
{
get
;
set
; }
Position of the right margin.
2022 vala-language.org