def indentBlock(block):
            cursor = cursorAtSpaceEnd(block)
            cursor.insertText(' ' if withSpace else self.text())
def __str__(self):
        return "(%s,%s)/%d" % (self.saddr, self.gaddr, self.glen)