string GetLineIndent(int lineNr)
{
var line = document.GetLineByNumber(lineNr);
for (int j = line.Offset; j < line.EndOffset; j++) {
char ch = document.GetCharAt(j);
if (!char.IsWhiteSpace(ch)) {
return document.GetText(line.Offset, j - line.Offset - 1);
}
}
return "";
}