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 TextView

right margin in pixels