get_right_margin

Description:

public int get_right_margin ()

Gets the default right margin for text in this.

Tags in the buffer may override the default.

Parameters:

this

a `GtkTextView`

Returns:

right margin in pixels