def indentBlock(block):
            cursor = cursorAtSpaceEnd(block)
            cursor.insertText(' ' if withSpace else self.text())
def __init__(self, leaf):
		self.leaf = leaf
		self.lchild = None
		self.rchild = None