indent_lines


Description:

public void indent_lines (TextIter start, TextIter end)

Inserts one indentation level at the beginning of the specified lines.

The empty lines are not indented.

Parameters:

this

a View.

start

TextIter of the first line to indent

end

TextIter of the last line to indent