get_show_right_margin
Description:
Returns whether a right margin is displayed.
Parameters:
| this |
a SourceView. |
Returns:
|
true if the right margin is shown. |
Returns whether a right margin is displayed.
| this |
a SourceView. |
|
true if the right margin is shown. |