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.

this	a `GtkTextView`

right margin in pixels