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.