set_show_right_margin

Description:

public void set_show_right_margin (bool show)

If true a right margin is displayed.

Parameters:

this

a SourceView.
show

whether to show a right margin.