GtkSource.View.get_right_margin_position – gtksourceview-5 Reference Manual
get_right_margin_position
Description:
public
uint
get_right_margin_position
()
Gets the position of the right margin in the given
this
.
Parameters:
this
a
View
.
Returns:
the position of the right margin.
2022 vala-language.org