def indentBlock(block):
            cursor = cursorAtSpaceEnd(block)
            cursor.insertText(' ' if withSpace else self.text())
def update(self):
        self.size = 1 + size(self.left) + size(self.right)