indent_lines
Description:
Inserts one indentation level at the beginning of the specified lines.
The empty lines are not indented.
Parameters:
| this |
a SourceView. |
| start |
TextIter of the first line to indent |
| end |
TextIter of the last line to indent |