get_indent_width

Description:

public int get_indent_width ()

Returns the number of spaces to use for each step of indent.

See set_indent_width for details.

Parameters:

this

a SourceView.

Returns:

indent width.