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 SourceView.

Returns:

the position of the right margin.