set_right_margin_position

Description:

public void set_right_margin_position (uint pos)

Sets the position of the right margin in the given this.

Parameters:

this

a SourceView.
pos

the width in characters where to position the right margin.